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