1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1-details" } */
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. */
8 /* { dg-final { scan-tree-dump-times "Threaded" 1 "vrp1" } } */
11 extern void abort (void) __attribute__ ((__nothrow__
, __leaf__
))
12 __attribute__ ((__noreturn__
));