gcc/testsuite/gcc.dg/tree-ssa/isolate-7.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-isolate-paths" } */
   3
   4 extern int oof ();
   5 extern int x;
   6 _Bool
   7 gcd_of_steps_may_divide_p ()
   8 {
   9   long cd = 0, val;
  10   if (x)
  11     cd = oof ();
  12   return val % cd == 0;
  13 }
  14 /* { dg-final { scan-tree-dump-times "__builtin_trap" 1 "isolate-paths"} } */
  15