gcc/testsuite/gcc.dg/tree-ssa/vrp16.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fno-tree-fre -fdump-tree-evrp" } */
   3
   4
   5 extern void abort (void) __attribute__ ((__noreturn__));
   6 struct rtx_def;
   7 typedef struct rtx_def *rtx;
   8 struct rtx_def
   9 {
  10   int code;
  11 };
  12 int
  13 nonlocal_mentioned_p (rtx x)
  14 {
  15   int code = x->code;
  16   if (code == 6 || code == 7)
  17     if (code == 7)
  18       if (code != 7)
  19         abort ();
  20 }
  21
  22 /* { dg-final { scan-tree-dump-times "if" 0 "evrp" } } */
  23