summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/typeof-2.c
blob: 21ef5b0b865e661de8a4bb9364fdf9ccbea7c836 (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
/* Test qualifier discard of typeof for atomic types. */
/* { dg-do compile } */
/* { dg-options "-std=c11" } */

/* Check that the qualifiers are discarded for atomic types. */

extern int i;

extern int * p;

extern int _Atomic const ci;
extern __typeof (ci) i;

extern int _Atomic volatile vi;
extern __typeof (vi) i;

extern int * _Atomic restrict ri;
extern __typeof (ri) p;

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;

void g(void)
{
  __auto_type aci = nci;
  int const *paci = &aci;

  __auto_type avi = nvi;
  int volatile *pavi = &avi;

  __auto_type ari = nri;
  int * restrict *pari = &ari;
}