Add example for unsoundness for calloc

goblint · Jul 24, 2022 · a992328 · a992328
1 parent 6f4f80c
commit a992328
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/tests/regression/11-heap/12-calloc.c b/tests/regression/11-heap/12-calloc.c
@@ -0,0 +1,8 @@
+// PARAM: --set ana.malloc.unique_address_count 1
+#include<assert.h>
+#include<stdlib.h>
+int main() {
+  int* arr = calloc(5,sizeof(int));
+  arr[0] = 3;
+  assert(arr[2] == 0); //UNKNOWN
+}