gcc/testsuite/gcc.dg/typeof-2.c

   1 /* Test qualifier discard of typeof for atomic types. */
   2 /* { dg-do compile } */
   3 /* { dg-options "-std=c11" } */
   4
   5 /* Check that the qualifiers are discarded for atomic types. */
   6
   7 extern int i;
   8
   9 extern int * p;
  10
  11 extern int _Atomic const ci;
  12 extern __typeof (ci) i;
  13
  14 extern int _Atomic volatile vi;
  15 extern __typeof (vi) i;
  16
  17 extern int * _Atomic restrict ri;
  18 extern __typeof (ri) p;
  19
  20 void f(void)
  21 {
  22   __auto_type aci = ci;
  23   int *paci = &aci;
  24
  25   __auto_type avi = vi;
  26   int *pavi = &avi;
  27
  28   __auto_type ari = ri;
  29   int **pari = &ari;
  30 }
  31
  32 /* Check that the qualifiers are preserved for non-atomic types. */
  33
  34 extern int const j;
  35
  36 extern int volatile k;
  37
  38 extern int * restrict q;
  39
  40 extern int const nci;
  41 extern __typeof (nci) j;
  42
  43 extern int volatile nvi;
  44 extern __typeof (nvi) k;
  45
  46 extern int * restrict nri;
  47 extern __typeof (nri) q;
  48
  49 void g(void)
  50 {
  51   __auto_type aci = nci;
  52   int const *paci = &aci;
  53
  54   __auto_type avi = nvi;
  55   int volatile *pavi = &avi;
  56
  57   __auto_type ari = nri;
  58   int * restrict *pari = &ari;
  59 }