| int would_like_only_oob (int i) | |
| { | |
| int arr[] = {1,2,3,4,5,6,7}; | |
| arr[10] = 9; /* { dg-warning "stack-based buffer overflow" } */ | |
| arr[11] = 15; /* { dg-warning "stack-based buffer overflow" } */ | |
| int y1 = arr[9]; /* { dg-warning "stack-based buffer over-read" } */ | |
| /* { dg-bogus "use of uninitialized value" "" { target *-*-* } .-1 } */ | |
| arr[18] = 15; /* { dg-warning "stack-based buffer overflow" } */ | |
| return y1; | |
| } |