test/loopexec.c

   1 /*
   2 ** Some tests for obvious loop exec
   3 */
   4
   5 void g (/*@out@*/ int x[])
   6 {
   7   int i;
   8
   9   for (i = 0; i < 2; i++)
  10     {
  11       x[i] = i;
  12     }
  13 }
  14
  15 void g1 (/*@out@*/ int x[])
  16 {
  17   int i;
  18
  19   for (i = 0; i <= 2; i++)
  20     {
  21       x[i] = i;
  22     }
  23
  24 }
  25
  26 void g2 (/*@out@*/ int x[])
  27 {
  28   int i;
  29
  30   for (i = 0; i <= 0; i++) /* won't execute */
  31     {
  32       x[i] = i;
  33     }
  34
  35 }