| /* { dg-do run } */ | |
| /* { dg-shouldfail "bounds violation" } */ | |
| /* { dg-options "-fcheck-pointer-bounds -mmpx" } */ | |
| #define SHOULDFAIL | |
| #include "mpx-check.h" | |
| int buf[100]; | |
| int buf1[10]; | |
| int rd (int (&p)[100], int i) | |
| { | |
| int res = p[i]; | |
| printf ("%d\n", res); | |
| return res; | |
| } | |
| int mpx_test (int argc, const char **argv) | |
| { | |
| int *p; | |
| rd (buf, 100); | |
| return 0; | |
| } |