39/07: Add NOWARN annotation

goblint · Nov 18, 2023 · 8ea9ffa · 8ea9ffa
1 parent ba6726a
commit 8ea9ffa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/39-signed-overflows/07-abs-sqrt.c b/tests/regression/39-signed-overflows/07-abs-sqrt.c
@@ -4,7 +4,7 @@ int main() {
     int data;
     if (data > (-0x7fffffff - 1) && abs(data) < (long)sqrt((double)0x7fffffff))
     {
-        int result = data * data;
+        int result = data * data; //NOWARN
     }
     return 8;
 }