| /* PR sanitizer/70875 */ | |
| /* { dg-do run } */ | |
| /* { dg-options "-fsanitize=bounds -fno-sanitize-recover=bounds" } */ | |
| /* { dg-shouldfail "ubsan" } */ | |
| int | |
| foo (int n, int k) | |
| { | |
| struct S | |
| { | |
| int i[n]; | |
| int value; | |
| } s[2]; | |
| return s[k].value = 0; | |
| } | |
| int | |
| main () | |
| { | |
| return foo (2, 2); | |
| } | |
| /* { dg-output "index 2 out of bounds for type 'S \\\[2\\\]'" } */ |