]> andersk Git - splint.git/commitdiff
Added test to the repository.
authordrl7x <drl7x>
Thu, 1 Mar 2001 23:53:33 +0000 (23:53 +0000)
committerdrl7x <drl7x>
Thu, 1 Mar 2001 23:53:33 +0000 (23:53 +0000)
test/bufferTest/test4.c [new file with mode: 0644]
test/bufferTest/test6.c [new file with mode: 0644]

diff --git a/test/bufferTest/test4.c b/test/bufferTest/test4.c
new file mode 100644 (file)
index 0000000..fbcfb56
--- /dev/null
@@ -0,0 +1,15 @@
+
+void t()
+{
+  char *g;
+
+  g[100] = 'f';
+  {
+    g++;
+
+    g[0] = '1';  
+    g[67] = g[70];
+    g[98] = g[99];
+    g[90]  = g[3];
+  }
+}
diff --git a/test/bufferTest/test6.c b/test/bufferTest/test6.c
new file mode 100644 (file)
index 0000000..25d8193
--- /dev/null
@@ -0,0 +1,7 @@
+
+void t()
+{
+  char *g;
+   g++;
+  g[0] = g[1];
+}
This page took 0.040679 seconds and 5 git commands to generate.