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