Use do_run_from_file() for test_phiundef

2 files changed, 38 insertions, 0 deletions

diff --git a/tests/core/test_phiundef.in b/tests/core/test_phiundef.in
new file mode 100644
index 00000000..cf4b0f18
--- /dev/null
+++ b/tests/core/test_phiundef.in
@@ -0,0 +1,33 @@
+
+#include <stdlib.h>
+#include <stdio.h>
+
+static int state;
+
+struct my_struct {
+union {
+  struct {
+    unsigned char a;
+    unsigned char b;
+  } c;
+  unsigned int d;
+} e;
+unsigned int f;
+};
+
+int main(int argc, char **argv) {
+  struct my_struct r;
+
+  state = 0;
+
+  for (int i=0;i<argc+10;i++)
+  {
+      if (state % 2 == 0)
+          r.e.c.a = 3;
+      else
+          printf("%d\n", r.e.c.a);
+      state++;
+  }
+  return 0;
+}
+    
\ No newline at end of file
diff --git a/tests/core/test_phiundef.out b/tests/core/test_phiundef.out
new file mode 100644
index 00000000..3b04a039
--- /dev/null
+++ b/tests/core/test_phiundef.out
@@ -0,0 +1,5 @@
+3
+3
+3
+3
+3