111
|
1 /* { dg-do compile } */
|
|
2 /* { dg-options "-fsanitize=shift -w" } */
|
|
3 /* { dg-shouldfail "ubsan" } */
|
|
4
|
|
5 int
|
|
6 foo (int x)
|
|
7 {
|
|
8 /* None of the following should pass. */
|
|
9 switch (x)
|
|
10 {
|
|
11 case 1 >> -1: /* { dg-error "operand of shift" } */
|
|
12 case -1 >> -1: /* { dg-error "operand of shift" } */
|
|
13 case 1 << -1: /* { dg-error "operand of shift" } */
|
|
14 case -1 << -1: /* { dg-error "operand of shift" } */
|
|
15 return 1;
|
|
16 }
|
|
17 return 0;
|
|
18 }
|
|
19
|
|
20 int
|
|
21 bar (int x)
|
|
22 {
|
|
23 /* None of the following should pass. */
|
|
24 switch (x)
|
|
25 {
|
|
26 case -1 >> 200: /* { dg-error "operand of shift" } */
|
|
27 case 1 << 200: /* { dg-error "operand of shift" } */
|
|
28 return 1;
|
|
29 }
|
|
30 return 0;
|
|
31 }
|