tests/makes_a_loop.cocci

   1 // if the translation of ... doesn't search for the closing brace
   2 // then the for loop in makes_a_loop.c causes an infinite loop in the CTL
   3 // of length the number of nodes in the for loop
   4 // the problem is the witnesses, one witness derived from the break in the
   5 // for loop enters and then leaves and then reenters and then releaves
   6 // the set of witnesses
   7
   8 @r@
   9 identifier I;
  10 identifier retval;
  11 expression E1, E2;
  12 @@
  13
  14         if (retval) {
  15 -               foo();
  16 -               ...
  17         }