tests/conditional_assignment3.c

   1 int f();
   2
   3 void foo()
   4 {
   5         int t;
   6 #pragma scop
   7         if (f())
   8                 t = 0;
   9         else
  10                 t = 1;
  11 #pragma endscop
  12 }