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
      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"} } */