blob: 24f0d1c1168cdf4b273c1468f6aaa58ee50a9b22 (
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
/* { dg-do run } */
/* { dg-options "-O2" } */
#include <stddef.h>
void *a;
int *b;
struct c {void * a;} c;
struct d {short * a;} d;
int *ip= (int *)(size_t)2;
int **ipp = &ip;
int
main()
{
float **ptr;
void **uptr;
int* const* cipp = (int* const*)ipp;
/* as an extension we consider void * universal. Writes to it should alias. */
asm ("":"=r"(ptr):"0"(&a));
a=NULL;
*ptr=(float*)(size_t)1;
if (!a)
__builtin_abort ();
a=NULL;
if (*ptr)
__builtin_abort ();
asm ("":"=r"(uptr):"0"(&b));
b=NULL;
*uptr=(void*)(size_t)1;
if (!b)
__builtin_abort ();
b=NULL;
if (*uptr)
__builtin_abort ();
/* Check that we disambiguate int * and char *. */
asm ("":"=r"(ptr):"0"(&b));
b=NULL;
*ptr=(float*)(size_t)1;
if (b)
__builtin_abort ();
/* Again we should make void * in the structure conflict with any pointer. */
asm ("":"=r"(ptr):"0"(&c));
c.a=NULL;
*ptr=(float*)(size_t)1;
if (!c.a)
__builtin_abort ();
c.a=NULL;
if (*ptr)
__builtin_abort ();
asm ("":"=r"(uptr):"0"(&d));
d.a=NULL;
*uptr=(void*)(size_t)1;
if (!d.a)
__builtin_abort ();
d.a=NULL;
if (*uptr)
__builtin_abort ();
if ((void *)*cipp != (void*)(size_t)2)
__builtin_abort ();
*ipp = NULL;
if (*cipp)
__builtin_abort ();
return 0;
}
|
