blob: 71c7a4d1d87b57e78c2651b9c224e4bbe0729e7d (
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
|
void f (int *p, int **q)
{
int i;
for (i = 0; i < 40; i++)
{
*q++ = &p[i];
}
}
int main ()
{
void *p;
int *q[40];
__SIZE_TYPE__ start;
/* Find the signed middle of the address space. */
if (sizeof(start) == sizeof(int))
start = (__SIZE_TYPE__) __INT_MAX__;
else if (sizeof(start) == sizeof(long))
start = (__SIZE_TYPE__) __LONG_MAX__;
else if (sizeof(start) == sizeof(long long))
start = (__SIZE_TYPE__) __LONG_LONG_MAX__;
else
return 0;
/* Arbitrarily align the pointer. */
start &= -32;
/* Pretend that's good enough to start address arithmetic. */
p = (void *)start;
/* Verify that GIV replacement computes the correct results. */
q[39] = 0;
f (p, q);
if (q[39] != (int *)p + 39)
abort ();
return 0;
}
|