Update test.c

ihsinme · web-flow · commit d3c6093f37d1 · 2021-05-10T14:16:38.000+03:00
diff --git a/cpp/ql/test/experimental/query-tests/Security/CWE/CWE-1126/semmle/tests/test.c b/cpp/ql/test/experimental/query-tests/Security/CWE/CWE-1126/semmle/tests/test.c
@@ -1,5 +1,6 @@
 void workFunction_0(char *s) {
   int intIndex = 10;
+  int intGuard;
   char buf[80];
   while(intIndex > 2) // GOOD
   {
@@ -14,6 +15,32 @@ void workFunction_0(char *s) {
     intIndex--;
   }
   intIndex = 10;
+  intGuard = 20;
+  while(intIndex < intGuard--) // GOOD
+  {
+    buf[intIndex] = 1;
+    int intIndex;
+    intIndex--;
+  }
+  intIndex = 10;
+  intGuard = 20;
+  while(intIndex < intGuard) // GOOD
+  {
+    buf[intIndex] = 1;
+    int intIndex;
+    intIndex++;
+    intGuard--;
+  }
+  intIndex = 10;
+  intGuard = 20;
+  while(intIndex < intGuard) // GOOD
+  {
+    buf[intIndex] = 1;
+    int intIndex;
+    intIndex--;
+    intGuard -= 4;
+  }
+  intIndex = 10;
   while(intIndex > 2) // GOOD
   {
     buf[intIndex] = 1;
