1/* { dg-do run } */
2/* { dg-options "-fsanitize=undefined -fsanitize-undefined-trap-on-error" } */
3
4unsigned int __attribute__((noinline,noclone))
5foo (unsigned int x)
6{
7  return x <= __INT_MAX__ ? x : -x;
8}
9
10int
11main ()
12{
13  volatile unsigned int tem = foo (-__INT_MAX__ - 1);
14  return 0;
15}
16