Import some very small tests.

git-svn-id: svn://svn.valgrind.org/vex/trunk@3

diff --git a/VEX/tests/test1.c b/VEX/tests/test1.c
new file mode 100644 (file)
index 0000000..cc5d764
--- /dev/null
+++ b/VEX/tests/test1.c
@@ -0,0 +1,8 @@
+
+#include <stdio.h>
+
+int main ( int argc, char** argv )
+{
+  printf("testing, testing\n");
+  return 0;
+}

diff --git a/VEX/tests/test2a.c b/VEX/tests/test2a.c
new file mode 100644 (file)
index 0000000..4027c3c
--- /dev/null
+++ b/VEX/tests/test2a.c
@@ -0,0 +1,14 @@
+
+#include <stdio.h>
+
+extern void test_printer ( int );
+
+int main ( int argc, char** argv )
+{
+  int i;
+  printf("begin ...\n");
+  for (i = 0; i < 4; i++)
+    test_printer(i);
+  printf("end.\n");
+  return 0;
+}

diff --git a/VEX/tests/test2b.c b/VEX/tests/test2b.c
new file mode 100644 (file)
index 0000000..bdbb8a5
--- /dev/null
+++ b/VEX/tests/test2b.c
@@ -0,0 +1,7 @@
+
+#include <stdio.h>
+
+void test_printer ( int x )
+{
+  printf("test_printer: %d\n", x );
+}

diff --git a/VEX/tests/test3.c b/VEX/tests/test3.c
new file mode 100644 (file)
index 0000000..9fb0feb
--- /dev/null
+++ b/VEX/tests/test3.c
@@ -0,0 +1,12 @@
+
+void bar ( void );
+
+int main ( int argc, char** argv )
+{
+  int i;
+  for (i = 0; i < argc; i++) 
+    bar();
+  return 0;
+}
+
+void bar ( void ) { }