Skip to content

Commit 3b579d7

Browse files
authored
flambda-backend: Fixed ISO C99 warning introduced in #1705 (#1787)
1 parent df927f0 commit 3b579d7

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

runtime/extern.c

+2-1
Original file line numberDiff line numberDiff line change
@@ -1199,7 +1199,6 @@ static void add_to_long_value(value *v, intnat x) {
11991199
undo this addition. */
12001200
intnat reachable_words_once(value root, intnat identifier, value sizes_by_root_id,
12011201
intnat *shared_size) {
1202-
CAMLassert(identifier >= 0);
12031202
struct extern_item * sp;
12041203
intnat size;
12051204
uintnat mark = Invalid, new_mark;
@@ -1209,6 +1208,8 @@ intnat reachable_words_once(value root, intnat identifier, value sizes_by_root_i
12091208
sp = extern_stack;
12101209
size = 0;
12111210

1211+
CAMLassert(identifier >= 0);
1212+
12121213
while (1) {
12131214
if (Is_long(v)) {
12141215
/* Tagged integers contribute 0 to the size, nothing to do */

0 commit comments

Comments
 (0)