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
|
/* Test qualifier preservation of typeof and discarded for __auto_type. */
/* { dg-do compile } */
/* { dg-options "-std=c11" } */
/* Check that the qualifiers are preserved for atomic types. */
extern int i;
extern int * p;
extern int _Atomic const ci;
extern __typeof (ci) ci;
extern int _Atomic volatile vi;
extern __typeof (vi) vi;
extern int * _Atomic restrict ri;
extern __typeof (ri) ri;
/* Check that the qualifiers are discarded for atomic types. */
void f(void)
{
__auto_type aci = ci;
int *paci = &aci;
__auto_type avi = vi;
int *pavi = &avi;
__auto_type ari = ri;
int **pari = &ari;
}
/* Check that the qualifiers are preserved for non-atomic types. */
extern int const j;
extern int volatile k;
extern int * restrict q;
extern int const nci;
extern __typeof (nci) j;
extern int volatile nvi;
extern __typeof (nvi) k;
extern int * restrict nri;
extern __typeof (nri) q;
/* Check that the qualifiers are discarded for non-atomic types. */
void g(void)
{
__auto_type aci = nci;
int *paci = &aci;
__auto_type avi = nvi;
int *pavi = &avi;
__auto_type ari = nri;
int **pari = &ari;
}
|
