gcc/testsuite/gcc.dg/tree-ssa/ssa-thread-16.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp1-details" } */
   3
   4 /* We should thread the if (exp == 2) conditional on the
   5    the path from inside the if (x) THEN arm.  It is the only
   6    jump threading opportunity in this code.  */
   7
   8 /* { dg-final { scan-tree-dump-times "Threaded" 1 "vrp1" } } */
   9
  10
  11 extern void abort (void) __attribute__ ((__nothrow__, __leaf__))
  12   __attribute__ ((__noreturn__));
  13
  14 int x;
  15
  16
  17 int code;
  18 void
  19 do_jump (int exp)
  20 {
  21   switch (code)
  22     {
  23     case 4:
  24       if ((exp) == 1)
  25         goto normal;
  26       if (x)
  27         {
  28           if (exp != 0)
  29             abort ();
  30         }
  31       if ((exp) == 2)
  32         goto normal;
  33     case 3:
  34         abort ();
  35     }
  36   normal:
  37       ;
  38 }