| // RUN: test.sh -e -t %t %s | |
| // | |
| // TEST: buffer-007 | |
| // | |
| // Description: | |
| // Test that an off-by-one read on a global is detected. | |
| // | |
| #include <stdio.h> | |
| #include <stdlib.h> | |
| char array[16]; | |
| char *y = array; | |
| int | |
| main (int argc, char ** argv) { | |
| char *z=y+16; | |
| printf("the value is %d\n", *z); | |
| return 0; | |
| } | |