1 /* PR sanitizer/87837 */
2 /* { dg-do run } */
3 /* { dg-options "-fsanitize=signed-integer-overflow -Wno-unused-variable" } */
4 
5 int
foo(int n)6 foo (int n)
7 {
8   return n + __INT_MAX__ < n;
9 }
10 
11 int
main()12 main ()
13 {
14   volatile int a = foo (1);
15   return 0;
16 }
17 
18 /* { dg-output "signed integer overflow: 1 \\+ 2147483647 cannot be represented in type 'int'" } */
19