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
nonlocal_mentioned_p(rtx x)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 
24