Add problematic example

goblint · Sep 24, 2023 · 2f7c07f · 2f7c07f
1 parent d0a90d8
commit 2f7c07f
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/tests/regression/73-strings/09-malloc.c b/tests/regression/73-strings/09-malloc.c
@@ -0,0 +1,16 @@
+// PARAM: --disable ana.base.limit-string-addresses --enable ana.int.interval --enable ana.base.arrays.nullbytes
+
+#include <goblint.h>
+#include <string.h>
+#include <stdlib.h>
+
+int main () {
+    char* s1 = malloc(50);
+    s1[0] = 'a';
+
+    char s2[50];
+    s2[0] = 'a';
+
+    int len1 = strlen(s1); //WARN
+    int len2 = strlen(s2); //WARN
+}