1 /* { dg-do run } */
2 /* { dg-options "-fsanitize=shift-exponent -fno-sanitize=shift-base -w -std=c99" } */
3 
4 int
main(void)5 main (void)
6 {
7   int a = -42;
8   int b = -43;
9   volatile int c = 129;
10   int d = 1;
11   b << c;
12   a << 1;
13   a << 1;
14   d <<= 31;
15   b << (c + 1);
16 }
17 /* { dg-output "shift exponent 129 is too large for \[^\n\r]*-bit type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
18 /* { dg-output "\[^\n\r]*shift exponent 130 is too large for \[^\n\r]*-bit type 'int'" } */
19