]> andersk Git - splint.git/commitdiff
Added test to repository
authordrl7x <drl7x>
Fri, 2 Mar 2001 04:37:29 +0000 (04:37 +0000)
committerdrl7x <drl7x>
Fri, 2 Mar 2001 04:37:29 +0000 (04:37 +0000)
test/for/.lclintrc [new file with mode: 0644]
test/for/for.c [new file with mode: 0644]

diff --git a/test/for/.lclintrc b/test/for/.lclintrc
new file mode 100644 (file)
index 0000000..dd00d2e
--- /dev/null
@@ -0,0 +1 @@
++fcnconstraint
diff --git a/test/for/for.c b/test/for/for.c
new file mode 100644 (file)
index 0000000..8c1e4fe
--- /dev/null
@@ -0,0 +1,16 @@
+void f()
+{
+int i;
+char s[11];
+char t[11];
+for (i = 0; i <= 10; i++)
+  {
+    s[i] = '\0';
+  }
+
+for (i = 0; i <= 11; i++)
+  {
+    t[i] = '\0';
+  }
+
+}
This page took 0.052788 seconds and 5 git commands to generate.