gcc/testsuite/gcc.dg/attr-copy-8.c

   1 /* PR c/89685 - ICE on attribute copy with a compound expression
   2    { dg-do compile }
   3    { dg-options "-Wall -Wno-unused-value -Wno-int-to-pointer-cast" } */
   4
   5 #define ATTR(...) __attribute__ ((__VA_ARGS__))
   6
   7 typedef struct ATTR (packed) A { ATTR (packed) unsigned bf: 1; } A;
   8
   9 typedef struct B
  10 {
  11   struct A a;
  12   struct A *pa;
  13 } B;
  14
  15 extern struct A a;
  16 extern struct A *pa;
  17 extern B b;
  18 extern B ab[1];
  19 extern B *pb;
  20
  21 typedef struct C
  22 {
  23   ATTR (copy ((struct A *)0)) short m_pa_0;
  24   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  25   ATTR (copy ((struct A *)(1, 0))) int m_pa_1_0;
  26   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  27   ATTR (copy ((struct A *)(0, 1))) long m_pa_0_1;
  28   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  29
  30   ATTR (copy (*(struct A *)0)) short m_xpa_0;
  31   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  32   ATTR (copy (*(struct A *)(1, 0))) int m_xpa_1_0;
  33   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  34   ATTR (copy (*(struct A *)(0, 1))) long m_xpa_0_1;
  35   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  36
  37   ATTR (copy (((struct A *)0)[0])) short m_arpa_0;
  38   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  39   ATTR (copy (((struct A *)(1, 0))[0])) int m_arpa_1_0;
  40   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  41   ATTR (copy (((struct A *)(0, 1))[0])) long m_arpa_0_1;
  42   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  43
  44   /* Also exercise COMPONENT_REF, ARRAY_REF, and INDIRECT_REF.  */
  45   ATTR (copy (a)) short m_ra;
  46   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  47   ATTR (copy (b.a)) int m_rb_a;
  48   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  49   ATTR (copy (b.pa)) long m_rb_pa;
  50   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  51
  52   ATTR (copy (&a)) short m_ara;
  53   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  54   ATTR (copy (&b.a)) int m_arb_a;
  55   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  56   ATTR (copy (*b.pa)) long m_xb_pa;
  57   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  58   ATTR (copy (b.pa[0])) long m_arb_pa;
  59   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  60
  61   ATTR (copy (*pa)) short m_xpa;
  62   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  63   ATTR (copy (pa[0])) short m_arpa;
  64   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  65
  66   ATTR (copy (ab[0].a)) int m_arab_a;
  67   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  68   ATTR (copy (ab[1].pa)) long m_arab_pa;
  69   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  70   ATTR (copy (*ab[2].pa)) int m_xarab_pa;
  71   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  72   ATTR (copy (ab[3].pa->bf)) unsigned int m_arab_pa_bf: 1;
  73
  74   ATTR (copy (pb->a)) int m_pb_a;
  75   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  76   ATTR (copy (pb->pa)) long m_pb_pa;
  77   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  78   ATTR (copy (*pb->pa)) int m_xpb_pa;
  79   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  80   ATTR (copy (pb->pa->bf)) unsigned int m_pb_pa_bf: 1;
  81
  82   ATTR (aligned (4), copy ((struct A *)(0))) short m_a4_pa_0;
  83   /* { dg-warning "attribute ignored" "" { target default_packed } .-1 } */
  84 } C;
  85
  86
  87 _Static_assert (__builtin_has_attribute (((C*)0)->m_pa_0, packed));
  88 _Static_assert (__builtin_has_attribute (((C*)0)->m_pa_1_0, packed));
  89 _Static_assert (__builtin_has_attribute (((C*)0)->m_pa_0_1, packed));
  90
  91 _Static_assert (__builtin_has_attribute (((C*)0)->m_xpa_0, packed));
  92 _Static_assert (__builtin_has_attribute (((C*)0)->m_xpa_1_0, packed));
  93 _Static_assert (__builtin_has_attribute (((C*)0)->m_xpa_0_1, packed));
  94
  95 _Static_assert (__builtin_has_attribute (((C*)0)->m_arpa_0, packed));
  96 _Static_assert (__builtin_has_attribute (((C*)0)->m_arpa_1_0, packed));
  97 _Static_assert (__builtin_has_attribute (((C*)0)->m_arpa_0_1, packed));
  98
  99 _Static_assert (__builtin_has_attribute (((C*)0)->m_ra, packed));
 100 _Static_assert (__builtin_has_attribute (((C*)0)->m_rb_a, packed));
 101 _Static_assert (__builtin_has_attribute (((C*)0)->m_rb_pa, packed));
 102
 103 _Static_assert (__builtin_has_attribute (((C*)0)->m_ara, packed));
 104 _Static_assert (__builtin_has_attribute (((C*)0)->m_arb_a, packed));
 105 _Static_assert (__builtin_has_attribute (((C*)0)->m_xb_pa, packed));
 106 _Static_assert (__builtin_has_attribute (((C*)0)->m_arb_pa, packed));
 107
 108 _Static_assert (__builtin_has_attribute (((C*)0)->m_xpa, packed));
 109 _Static_assert (__builtin_has_attribute (((C*)0)->m_arpa, packed));
 110
 111 _Static_assert (__builtin_has_attribute (((C*)0)->m_arab_a, packed));
 112 _Static_assert (__builtin_has_attribute (((C*)0)->m_arab_pa, packed));
 113 _Static_assert (__builtin_has_attribute (((C*)0)->m_xarab_pa, packed));
 114 _Static_assert (__builtin_has_attribute (((C*)0)->m_arab_pa_bf, packed));
 115
 116 _Static_assert (__builtin_has_attribute (((C*)0)->m_pb_a, packed));
 117 _Static_assert (__builtin_has_attribute (((C*)0)->m_pb_pa, packed));
 118 _Static_assert (__builtin_has_attribute (((C*)0)->m_xpb_pa, packed));
 119 _Static_assert (__builtin_has_attribute (((C*)0)->m_pb_pa_bf, packed));
 120
 121 _Static_assert (__builtin_has_attribute (((C*)0)->m_a4_pa_0, packed));
 122 _Static_assert (__builtin_has_attribute (((C*)0)->m_a4_pa_0, aligned));
 123 _Static_assert (__alignof__ (((C*)0)->m_a4_pa_0) == 4);