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
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s
extern void f1(int *);
extern void f2(char *);
struct __attribute__((packed)) Arguable {
int x;
char c;
static void foo();
};
extern void f3(void());
namespace Foo {
struct __attribute__((packed)) Arguable {
char c;
int x;
static void foo();
};
}
struct Arguable *get_arguable();
void f4(int &);
void to_void(void *);
template <typename... T>
void sink(T...);
void g0() {
{
Foo::Arguable arguable;
f1(&arguable.x); // expected-warning {{packed member 'x' of class or structure 'Foo::Arguable'}}
f2(&arguable.c); // no-warning
f3(&arguable.foo); // no-warning
to_void(&arguable.x); // no-warning
void *p1 = &arguable.x; // no-warning
void *p2 = static_cast<void *>(&arguable.x); // no-warning
void *p3 = reinterpret_cast<void *>(&arguable.x); // no-warning
void *p4 = (void *)&arguable.x; // no-warning
sink(p1, p2, p3, p4);
}
{
Arguable arguable1;
Arguable &arguable(arguable1);
f1(&arguable.x); // expected-warning {{packed member 'x' of class or structure 'Arguable'}}
f2(&arguable.c); // no-warning
f3(&arguable.foo); // no-warning
}
{
Arguable *arguable1;
Arguable *&arguable(arguable1);
f1(&arguable->x); // expected-warning {{packed member 'x' of class or structure 'Arguable'}}
f2(&arguable->c); // no-warning
f3(&arguable->foo); // no-warning
}
}
struct __attribute__((packed)) A {
int x;
char c;
int *f0() {
return &this->x; // expected-warning {{packed member 'x' of class or structure 'A'}}
}
int *g0() {
return &x; // expected-warning {{packed member 'x' of class or structure 'A'}}
}
char *h0() {
return &c; // no-warning
}
};
struct B : A {
int *f1() {
return &this->x; // expected-warning {{packed member 'x' of class or structure 'A'}}
}
int *g1() {
return &x; // expected-warning {{packed member 'x' of class or structure 'A'}}
}
char *h1() {
return &c; // no-warning
}
};
template <typename Ty>
class __attribute__((packed)) S {
Ty X;
public:
const Ty *get() const {
return &X; // expected-warning {{packed member 'X' of class or structure 'S<int>'}}
// expected-warning@-1 {{packed member 'X' of class or structure 'S<float>'}}
}
};
template <typename Ty>
void h(Ty *);
void g1() {
S<int> s1;
s1.get(); // expected-note {{in instantiation of member function 'S<int>::get'}}
S<char> s2;
s2.get();
S<float> s3;
s3.get(); // expected-note {{in instantiation of member function 'S<float>::get'}}
}
// PR35509
typedef long L1;
struct Incomplete;
struct S2 {
L1 d;
Incomplete *e() const;
} __attribute__((packed));
Incomplete *S2::e() const { return (Incomplete *)&d; } // no-warning
|
