Commit 6be0eb93 authored by Dario Pinto's avatar Dario Pinto

update from Moerman's latest modifications

parent 7e64ca4c
...@@ -21,10 +21,10 @@ GOTO_LABEL: ...@@ -21,10 +21,10 @@ GOTO_LABEL:
printf("%i\n", val); printf("%i\n", val);
} }
val = val * 2u;
if(i == 0) { if(i == 0) {
i++; i++;
val = val * 2;
goto GOTO_LABEL; goto GOTO_LABEL;
} }
} }
......
...@@ -13,12 +13,7 @@ void integer_overflow_cross_file(bool a, bool b) { ...@@ -13,12 +13,7 @@ void integer_overflow_cross_file(bool a, bool b) {
} }
#endif #endif
if (!a && !b) { val = choose_int (INT_MAX / 3 - 1, INT_MAX / 2 - 1, a);
val = choose_int(2, INT_MAX / 2 - 1, 0);
}
else
val = choose_int(2, INT_MAX / 3 - 1, INT_MAX / 2 - 1);
if(b) { if(b) {
val = val * 2; val = val * 2;
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment