[Bug tree-optimization/97315] [11 Regression] ICE in choose_value, at gimple-ssa-evrp.c:282 since r11-3690-gebc77ce3a4c70730b4e38d68f88693eadbdc8712

[dcb314 at hotmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97315

--- Comment #6 from David Binderman <dcb314 at hotmail dot com> ---

I get something similar with this test case:

int a;
void b() {
  if (a >= 2147483647)
    c(a + 1);
}