validation/discarded-label-statement.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         return r;
  15 }
  16
  17 /*
  18  * check-name: discarded-label-statement
  19  * check-command: test-linearize $file
  20  *
  21  * check-output-ignore
  22  * check-output-contains: add
  23  * check-output-contains: %arg1
  24  */