1/* { dg-do run } */
2/* { dg-options "-fsanitize=signed-integer-overflow -Wno-unused-variable -fno-sanitize-recover=signed-integer-overflow" } */
3/* { dg-shouldfail "ubsan" } */
4
5#define INT_MAX __INT_MAX__
6#define INT_MIN (-__INT_MAX__ - 1)
7
8int
9main (void)
10{
11  volatile int j = INT_MAX;
12  volatile int i = 1;
13  volatile int k = j + i;
14  return 0;
15}
16
17/* { dg-output "signed integer overflow: 2147483647 \\+ 1 cannot be represented in type 'int'" } */
18