blob: a88081c02a99e3501b2e18e0ee995ef4ca22dc20 (
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
/* { dg-do run } */
/* { dg-skip-if "" { *-*-* } { "*" } { "-O2" } } */
/* { dg-options "-fsanitize=object-size -fno-sanitize-recover=object-size" } */
/* Test valid uses. */
#define N 20
__attribute__((noinline, noclone)) void
f1 (int i)
{
volatile int j;
char *p, *orig;
orig = p = (char *) __builtin_calloc (N, 1);
j = *(p + i);
j = p[i];
p++;
j = p[i - 1];
j = *(p + i - 1);
__builtin_free (orig);
}
__attribute__((noinline, noclone)) void
f2 (int i)
{
volatile int j;
char a[N];
__builtin_memset (a, 0, N);
j = *(a + i);
char *p = a;
j = *(p + i);
j = p[i];
p += 10;
j = *(p + i - 10);
j = p[i - 10];
}
__attribute__((noinline, noclone)) void
f3 (int i)
{
volatile int j;
int *p = (int *) __builtin_calloc (N, sizeof (*p));
int *o = &p[i];
j = *o;
j = o[0];
__builtin_free (p);
}
int
main ()
{
f1 (N - 1);
f2 (N - 1);
f3 (N - 1);
return 0;
}
|
