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)13nonlocal_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