1 /* PR tree-optimization/54471 */ 2 /* { dg-do compile } */ 3 /* { dg-options "-O2 -fdump-tree-vrp1" } */ 4 5 #ifdef __SIZEOF_INT128__ 6 #define T __int128 7 #else 8 #define T long long 9 #endif 10 11 void fn1call (void); 12 void fn2call (void); 13 14 void foo(unsigned T x)15foo (unsigned T x) 16 { 17 if (x > (unsigned T) -3) 18 return; 19 unsigned T y = 2 * x; 20 if (y == 42) 21 fn1call (); 22 else 23 fn2call (); 24 } 25 26 /* { dg-final { scan-tree-dump "fn1call" "vrp1"} } */ 27 /* { dg-final { scan-tree-dump "fn2call" "vrp1"} } */ 28