1 /* { dg-do run } */
2 /* { dg-options "-fsanitize=signed-integer-overflow -Wno-unused-variable -fsanitize-undefined-trap-on-error" } */
3 /* { dg-shouldfail "ubsan" } */
4 
5 #define INT_MAX __INT_MAX__
6 #define INT_MIN (-__INT_MAX__ - 1)
7 
8 int
main(void)9 main (void)
10 {
11   volatile int j = INT_MAX;
12   volatile int i = 1;
13   volatile int k = j + i;
14   return 0;
15 }
16