1 // PR tree-optimization/83541
3 // { dg-options "-O3 -std=c++17 -ffast-math -fdump-tree-evrp" }
9 if(x == std::numeric_limits<int>::max())
16 // { dg-final { scan-tree-dump "return 42" evrp } }
17 // { dg-final { scan-tree-dump-not "return _" evrp } }