blob: e2443804f7438c20686d5acff6040773cf7c88be (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
/* { dg-do run } */
/* { dg-shouldfail "bounds violation" } */
/* { dg-options "-fcheck-pointer-bounds -mmpx" } */
#define SHOULDFAIL
#include "mpx-check.h"
char *str="dddd";
int foo1 (char** ptr)
{
*ptr=str;
}
int foo (char *ptr)
{
char *tmp = 0;
foo1 (&ptr);
tmp = ptr;
return tmp[-1];
}
int mpx_test (int argc, const char **argv)
{
printf ("%d\n", foo ("ddddd"));
return 0;
}
|