tests/while_break.c

   1 int f();
   2
   3 void foo(int N)
   4 {
   5         int i;
   6         int a;
   7
   8 #pragma scop
   9         while (1) {
  10                 a = 5;
  11                 if (N)
  12                         break;
  13                 a = 6;
  14         }
  15         while (1) {
  16                 a = 5;
  17                 if (f())
  18                         break;
  19                 a = 6;
  20         }
  21         while (f()) {
  22                 a = 5;
  23                 if (N)
  24                         break;
  25                 a = 6;
  26         }
  27         while (f()) {
  28                 a = 5;
  29                 if (f())
  30                         break;
  31                 a = 6;
  32         }
  33 #pragma endscop
  34 }