| /* { dg-do compile } */ | |
| /* { dg-options "-fsanitize=bounds -Wall -Wextra -Wno-array-bounds -Wno-unused" } */ | |
| /* Initializers of TREE_STATICs aren't instrumented. | |
| But don't ICE on 'em. */ | |
| int A[2]; | |
| int *gp = &A[4]; | |
| int *gpi; | |
| int | |
| main (void) | |
| { | |
| gpi = &A[4]; /* This will warn with -Warray-bounds, but only if VRP runs. */ | |
| static int *pi = &A[4]; | |
| return 0; | |
| } |