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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp1-details" } */
   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   if (x->code == 6 || x->code == 7)
  16     if (x->code == 7)
  17       if (x->code != 7)
  18         abort ();
  19 }
  20
  21 /* { dg-final { scan-tree-dump-times "Folding predicate .*to 0" 1 "vrp1" } } */
  22 /* { dg-final { cleanup-tree-dump "vrp1" } } */
  23