We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents aa8530c + dd41215 commit c4d12b6Copy full SHA for c4d12b6
src/ravl/ravl.c
@@ -255,7 +255,8 @@ static int ravl_node_rank_difference_parent(struct ravl_node *p,
255
struct ravl_node *n) {
256
int rv = ravl_node_rank(p) - ravl_node_rank(n);
257
// assert to check integer overflow
258
- assert(rv < ravl_node_rank(p));
+ // ravl_node_rank(x) is >= -1
259
+ assert(rv <= ravl_node_rank(p) + 1);
260
return rv;
261
}
262
0 commit comments