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); 124