Use do_run_from_file() for test_corruption_3

1 files changed, 22 insertions, 0 deletions

diff --git a/tests/core/test_corruption_3.in b/tests/core/test_corruption_3.in
new file mode 100644
index 00000000..b951ac6b
--- /dev/null
+++ b/tests/core/test_corruption_3.in
@@ -0,0 +1,22 @@
+
+      #include <stdlib.h>
+      #include <stdio.h>
+      #include <assert.h>
+
+      void bye() {
+        printf("all ok\n");
+      }
+
+      int main(int argc, char **argv) {
+        atexit(bye);
+
+        char *buffer = (char*)malloc(100);
+        for (int i = 0; i < 100; i++) buffer[i] = (i*i)%256;
+        buffer = (char*)realloc(buffer, argc + 50);
+        for (int i = 0; i < argc + 50; i++) {
+          //printf("%d : %d : %d : %d\n", i, (int)(buffer + i), buffer[i], (char)((i*i)%256));
+          assert(buffer[i] == (char)((i*i)%256));
+        }
+        return 1;
+      }
+      
\ No newline at end of file