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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O1 -fdump-tree-optimized-blocks-details" } */
   3
   4 void foo (void)
   5 {
   6 void *p;
   7 p = &&L0;
   8 goto *p;
   9 L0:
  10 return;
  11 }
  12
  13 /* The goto &L0 should have been optimized away during CFG
  14    cleanups.  */
  15 /* { dg-final { scan-tree-dump-not "goto &L0" "optimized" } } */
  16
  17 /* There should not be any abnormal edges as DOM removed the
  18    computed goto.  */
  19
  20 /* { dg-final { scan-tree-dump-not "ABNORMAL" "optimized" } } */
  21
  22 /* And verify that we have fixed the fallthru flag as well.
  23    After DOM we will have two fallthru edges (e->0, 0->1),
  24    but in the dump files we mention the 2->3 two times.  So
  25    scan for 3 instances of "FALLTHRU".  */
  26
  27 /* { dg-final { scan-tree-dump-times "FALLTHRU" 3 "optimized" } } */