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
124
125
126
127
128
129
130
131
132
133
|
/* PR c/33925 - missing -Waddress with the address of an inline function
{ dg-do compile }
{ dg-options "-Wall" }
{ dg-require-weak "" } */
extern inline int eifn (void);
extern inline int eifn_def (void) { return 0; }
static inline int sifn (void);
static inline int sifn_def (void) { return 0; }
inline int ifn (void);
inline int ifn_def (void) { return 0; }
extern __attribute__ ((weak)) int ewfn (void);
extern __attribute__ ((weak)) int ewfn_def (void) { return 0; }
__attribute__ ((weak)) int wfn (void);
__attribute__ ((weak)) int wfn_def (void) { return 0; }
static __attribute__((weakref ("ewfn"))) int swrfn (void);
void test_function_eqz (int *p)
{
*p++ = eifn == 0; // { dg-warning "-Waddress" }
*p++ = eifn_def == 0; // { dg-warning "-Waddress" }
*p++ = sifn == 0; // { dg-warning "-Waddress" }
*p++ = sifn_def == 0; // { dg-warning "-Waddress" }
*p++ = ifn == 0; // { dg-warning "-Waddress" }
*p++ = ifn_def == 0; // { dg-warning "-Waddress" }
*p++ = ewfn == 0;
*p++ = ewfn_def == 0; // { dg-warning "-Waddress" }
*p++ = wfn == 0;
*p++ = wfn_def == 0; // { dg-warning "-Waddress" }
*p++ = swrfn == 0;
}
int test_function_if (int i)
{
if (eifn) // { dg-warning "-Waddress" }
i++;
if (eifn_def) // { dg-warning "-Waddress" }
i++;
if (sifn) // { dg-warning "-Waddress" }
i++;
if (sifn_def) // { dg-warning "-Waddress" }
i++;
if (ifn) // { dg-warning "-Waddress" }
i++;
if (ifn_def) // { dg-warning "-Waddress" }
i++;
if (ewfn)
i++;
if (ewfn_def) // { dg-warning "-Waddress" }
i++;
if (wfn)
i++;
if(wfn_def) // { dg-warning "-Waddress" }
i++;
if (swrfn)
i++;
return i;
}
extern int ei;
extern int ei_def = 1;
static int si;
static int si_def = 1;
int i;
int i_def = 1;
extern __attribute__ ((weak)) int ewi; // declaration (may be null)
extern __attribute__ ((weak)) int ewi_def = 1;
__attribute__ ((weak)) int wi; // definition (cannot be bull)
__attribute__ ((weak)) int wi_def = 1;
static __attribute__((weakref ("ewi"))) int swri;
void test_scalar (int *p)
{
*p++ = &ei == 0; // { dg-warning "-Waddress" }
*p++ = &ei_def == 0; // { dg-warning "-Waddress" }
*p++ = &si == 0; // { dg-warning "-Waddress" }
*p++ = &si_def == 0; // { dg-warning "-Waddress" }
*p++ = &i == 0; // { dg-warning "-Waddress" }
*p++ = &i_def == 0; // { dg-warning "-Waddress" }
*p++ = &ewi == 0;
*p++ = &ewi_def == 0; // { dg-warning "-Waddress" }
*p++ = &wi == 0; // { dg-warning "-Waddress" }
*p++ = &wi_def == 0; // { dg-warning "-Waddress" }
*p++ = &swri == 0;
}
extern int eia[];
extern int eia_def[] = { 1 };
static int sia[1];
static int sia_def[1] = { 1 };
int ia[1];
int ia_def[] = { 1 };
extern __attribute__ ((weak)) int ewia[];
extern __attribute__ ((weak)) int ewia_def[] = { 1 };
__attribute__ ((weak)) int wia[1]; // definition (cannot be null)
__attribute__ ((weak)) int wia_def[] = { 1 };
static __attribute__((weakref ("ewia"))) int swria[1];
void test_array (int *p)
{
*p++ = eia == 0; // { dg-warning "-Waddress" }
*p++ = eia_def == 0; // { dg-warning "-Waddress" }
*p++ = sia == 0; // { dg-warning "-Waddress" }
*p++ = sia_def == 0; // { dg-warning "-Waddress" }
*p++ = ia == 0; // { dg-warning "-Waddress" }
*p++ = ia_def == 0; // { dg-warning "-Waddress" }
*p++ = ewia == 0;
*p++ = ewia_def == 0; // { dg-warning "-Waddress" }
*p++ = wia == 0; // { dg-warning "-Waddress" }
*p++ = wia_def == 0; // { dg-warning "-Waddress" }
*p++ = swria == 0;
}
/* { dg-prune-output "never defined" }
{ dg-prune-output "initialized and declared 'extern'" } */
|
