/* { dg-do run } */
/* { dg-options "-fsanitize=undefined -fsanitize-trap=undefined" } */

unsigned int __attribute__((noinline,noclone))
foo (unsigned int x)
{
  return x <= __INT_MAX__ ? x : -x;
}

int
main ()
{
  volatile unsigned int tem = foo (-__INT_MAX__ - 1);
  return 0;
}