| /* PR sanitizer/109107 */ | |
| /* { dg-do run { target int32 } } */ | |
| /* { dg-options "-fsanitize=signed-integer-overflow" } */ | |
| #define INT_MIN (-__INT_MAX__ - 1) | |
| int a = INT_MIN; | |
| const int b = 676540; | |
| __attribute__((noipa)) int | |
| foo () | |
| { | |
| int c = a + 1 - (int) (short) b; | |
| return c; | |
| } | |
| int | |
| main () | |
| { | |
| foo (); | |
| return 0; | |
| } | |
| /* { dg-output "signed integer overflow: -2147483647 - 21180 cannot be represented in type 'int'" } */ |