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)15 foo (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