Add test case extracted from the git repository

goblint · Oct 2, 2023 · e9060b8 · e9060b8
1 parent 44f156c
commit e9060b8
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/test/small1/builtin6.c b/test/small1/builtin6.c
@@ -0,0 +1,10 @@
+
+// Extracted from the git repository.
+// CIL used to crash with "Error: Length of array is negative".
+
+int main() {
+    const int *a;
+    int *ret;
+    sizeof(*(ret)) + (sizeof(char [1 - 2*!(__builtin_types_compatible_p(__typeof__(*((ret))), __typeof__(*((a)))))]) - 1);
+    return 0;
+}
diff --git a/test/testcil.pl b/test/testcil.pl
@@ -548,6 +548,7 @@ sub addToGroup {
 addTest("testrungcc/builtin_object_size _GNUCC=1 OPTIMIZE=1");
 addTest("testrun/builtin4 ");
 addTest("test/builtin5 ");
+addTest("test/builtin6 ");
 addTest("test/sync-1 _GNUCC=1");
 addTest("test/sync-2 _GNUCC=1");
 addTest("test/sync-3 _GNUCC=1");