1/* { dg-do run } */ 2/* { dg-options "-fcheck-pointer-bounds -mmpx" } */ 3 4 5#include "mpx-check.h" 6 7int buf[100]; 8 9int rd (int t1, int t2, int t3, int t4, int t5, int t6, int *p, int i) 10{ 11 int res = p[i]; 12 printf ("%d\n", res); 13 return res; 14} 15 16int mpx_test (int argc, const char **argv) 17{ 18 int *p; 19 20 rd (0, 0, 0, 0, 0, 0, buf, 0); 21 rd (0, 0, 0, 0, 0, 0, buf, 99); 22 23 return 0; 24} 25