Improved tracking of state change locations. Added +showdeephistory

[splint.git] / test / for / for.c

diff --git a/test/for/for.c b/test/for/for.c
index 8c1e4feb12806467e04045a9b67a2db093617c07..2de128d424332c8a40fc7644b8f9a237da365e3b 100644 (file)
--- a/test/for/for.c
+++ b/test/for/for.c
@@ -1,11 +1,11 @@
 void f()
 {
-int i;
+int j, i;
 char s[11];
 char t[11];
-for (i = 0; i <= 10; i++)
+for (j = 0; j <= 10; j++)
   {
-    s[i] = '\0';
+    s[j] = '\0';
   }
 
 for (i = 0; i <= 11; i++)