Skip to content

Commit c4d12b6

Browse files
authored
Merge pull request #720 from ldorau/Fix_assert_in_ravl_node_rank_difference_parent
Fix assert in ravl_node_rank_difference_parent()
2 parents aa8530c + dd41215 commit c4d12b6

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/ravl/ravl.c

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -255,7 +255,8 @@ static int ravl_node_rank_difference_parent(struct ravl_node *p,
255255
struct ravl_node *n) {
256256
int rv = ravl_node_rank(p) - ravl_node_rank(n);
257257
// assert to check integer overflow
258-
assert(rv < ravl_node_rank(p));
258+
// ravl_node_rank(x) is >= -1
259+
assert(rv <= ravl_node_rank(p) + 1);
259260
return rv;
260261
}
261262

0 commit comments

Comments
 (0)