blob: b1287b2fac3162179d65fe113780430abfc27d1e (
plain)
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
|
/* PR c/102103 - missing warning comparing array address to null
{ dg-do compile }
{ dg-options "-Wall" } */
#if __cplusplus < 201103L
# define nullptr __null
#endif
struct A
{
void f ();
virtual void vf ();
virtual void pvf () = 0;
static void sf ();
int *p;
int a[2];
};
void T (bool);
void warn_memptr_if ()
{
// Exercise warnings for addresses of nonstatic member functions.
if (&A::f == 0) // { dg-warning "the address '&A::f'" }
T (0);
if (&A::vf) // { dg-warning "-Waddress" }
T (0);
if (&A::pvf != 0) // { dg-warning "-Waddress" }
T (0);
// Exercise warnings for addresses of static member functions.
if (&A::sf == 0) // { dg-warning "-Waddress" }
T (0);
if (&A::sf) // { dg-warning "-Waddress" }
T (0);
// Exercise warnings for addresses of nonstatic data members.
if (&A::p == 0) // { dg-warning "the address '&A::p'" }
T (0);
if (&A::a == nullptr) // { dg-warning "-Waddress" }
T (0);
}
void warn_memptr_bool ()
{
// Exercise warnings for addresses of nonstatic member functions.
T (&A::f == 0); // { dg-warning "-Waddress" }
T (&A::vf); // { dg-warning "-Waddress" }
T (&A::pvf != 0); // { dg-warning "-Waddress" }
// Exercise warnings for addresses of static member functions.
T (&A::sf == 0); // { dg-warning "-Waddress" }
T (&A::sf); // { dg-warning "-Waddress" }
// Exercise warnings for addresses of nonstatic data members.
T (&A::p == 0); // { dg-warning "-Waddress" }
T (&A::a == nullptr); // { dg-warning "-Waddress" }
}
/* Verify that no warnings are issued for a dependent expression in
a template. */
template <int>
struct B
{
// This is why.
struct F { void* operator& () const { return 0; } } f;
};
template <class Type, int N>
void nowarn_dependent (Type targ)
{
T (&Type::x == 0);
T (&targ == 0);
Type tarr[1];
T (&tarr[0] == nullptr);
T (&B<N>::f == 0);
/* Like in the case above, the address-of operator could be a member
of B<N>::vf that returns zero. */
T (&B<N>::vf);
T (&B<N>::pvf != 0);
T (&B<N>::p == 0);
T (&B<N>::a == 0);
}
/* Verify that in an uninstantiated template warnings are not issued
for dependent expressions but are issued otherwise. */
template <class Type>
void warn_non_dependent (Type targ, Type *tptr, int i)
{
/* The address of a pointer to a dependent type cannot be null but
the warning doesn't have a chance to see it. */
T (&tptr == 0); // { dg-warning "-Waddress" "pr102378" { xfail *-*-* } }
T (&i == 0); // { dg-warning "-Waddress" }
int iarr[1];
T (&iarr == 0); // { dg-warning "-Waddress" }
T (&*iarr != 0); // { dg-warning "-Waddress" "pr102378" { xfail *-*-* } }
T (&iarr[0] == 0); // { dg-warning "-Waddress" }
Type tarr[1];
T (&tarr == nullptr); // { dg-warning "-Waddress" "pr102378" { xfail *-*-* } }
}
|
