1 /* PR sanitizer/79757 */
2 /* { dg-do run } */
3 /* { dg-skip-if "" { *-*-* } { "*" } { "-O2" } } */
4 /* { dg-options "-fsanitize=undefined" } */
5
6 int
main(void)7 main (void)
8 {
9 int
10 div (int n)
11 {
12 int i = 5 / n;
13 return i;
14 }
15
16 int
17 shift (int n)
18 {
19 int i = 5 << n;
20 return i;
21 }
22
23 int j = shift (100);
24 int i = div (0);
25 return 0;
26 }
27
28 /* { dg-output "shift exponent 100 is too large for \[^\n\r]*-bit type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
29 /* { dg-output "\[^\n\r]*division by zero" } */
30