gcc/testsuite/gcc.dg/tree-ssa/useless-1.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O1 -fdump-tree-useless" } */
   3
   4 void
   5 foo (void)
   6 {
   7   int i, a;
   8   for (i = 0; i < 10; i++)
   9     { a = i; }
  10 }
  11
  12 /* There should be three gotos in the dump.  If one was removed
  13    in the loop exit condition, it would be re-introduced during
  14    GIMPLE lowering, at the cost of an extra statement, label,
  15    and basic block.  */
  16 /* { dg-final { scan-tree-dump-times "goto" 3 "useless"} } */
  17 /* { dg-final { cleanup-tree-dump "useless" } } */