validation/linear/label-stmt-dropped.c

   1 /*
   2  * Verify that the statement following an unused label
   3  * is not discarded with the label.
   4  */
   5
   6 static int bad(int a, int b)
   7 {
   8         int r = 0;
   9
  10 start:
  11         r += a;
  12         r += b;
  13
  14         if (!r)
  15                 goto start;
  16         return r;
  17 }
  18
  19 /*
  20  * check-name: label-stmt-dropped
  21  * check-command: test-linearize $file
  22  *
  23  * check-output-ignore
  24  * check-output-contains: add
  25  * check-output-contains: %arg1
  26  */