]> andersk Git - splint.git/blobdiff - test/buffertest1.c
Fixed test suite (temporarily) to run nested test cases
[splint.git] / test / buffertest1.c
similarity index 62%
rename from test/bufferTest/test4.c
rename to test/buffertest1.c
index fbcfb56b87f9764736d0e61bcdb5a640436fb869..ea8e7bc87cf166c5090f8e2dfa867784095ef860 100644 (file)
@@ -1,15 +1,22 @@
-
-void t()
+void t1 (void)
 {
   char *g;
-
+  
   g[100] = 'f';
+
   {
     g++;
-
+    
     g[0] = '1';  
     g[67] = g[70];
     g[98] = g[99];
     g[90]  = g[3];
   }
 }
+
+void t2 (void)
+{
+  char *g;
+  g++;
+  g[0] = g[1];
+}
This page took 1.727068 seconds and 4 git commands to generate.