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