[Bug tree-optimization/83541] Missed optimization with int overflow

[glisse at gcc dot gnu.org]

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

--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> ---
int test(void)
{
  int x = __INT_MAX__;
  return x+1;
}

CCP also turns this into INT_MIN, again it could be bolder.