blob: a71551fdf90a7a327ca22ac869de800854631841 (
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
|
// { dg-do link }
// { dg-options "" }
#include <cstddef>
void g(int) {}
void g(long) {}
void g(long long) {}
extern void g(void*);
template <int I>
void h() {}
void k(int) {}
template <class T>
void l(T);
template <>
void l(int) {}
template <>
void l(long) {}
template <>
void l(long long) {}
void warn_for_NULL()
{
int i = NULL; // { dg-warning "" } converting NULL to non-pointer type
float z = NULL; // { dg-warning "" } converting NULL to non-pointer type
int a[2];
i != NULL; // { dg-warning "" } NULL used in arithmetic
NULL != z; // { dg-warning "" } NULL used in arithmetic
k != NULL; // No warning: decay conversion
NULL != a; // Likewise.
-NULL; // { dg-warning "" } converting NULL to non-pointer type
+NULL; // { dg-warning "" } converting NULL to non-pointer type
~NULL; // { dg-warning "" } converting NULL to non-pointer type
a[NULL] = 3; // { dg-warning "" } converting NULL to non-pointer-type
i = NULL; // { dg-warning "" } converting NULL to non-pointer type
z = NULL; // { dg-warning "" } converting NULL to non-pointer type
k(NULL); // { dg-warning "" } converting NULL to int
g(NULL); // { dg-warning "" } converting NULL to int
h<NULL>(); // No warning: NULL bound to integer template parameter
l(NULL); // No warning: NULL is used to implicitly instantiate the template
NULL && NULL; // No warning: converting NULL to bool is OK
}
int warn_for___null()
{
int i = __null; // { dg-warning "" } converting __null to non-pointer type
float z = __null; // { dg-warning "" } converting __null to non-pointer type
int a[2];
i != __null; // { dg-warning "" } __null used in arithmetic
__null != z; // { dg-warning "" } __null used in arithmetic
k != __null; // No warning: decay conversion
__null != a; // Likewise.
-__null; // { dg-warning "" } converting __null to non-pointer type
+__null; // { dg-warning "" } converting __null to non-pointer type
~__null; // { dg-warning "" } converting __null to non-pointer type
a[__null] = 3; // { dg-warning "" } converting __null to non-pointer-type
i = __null; // { dg-warning "" } converting __null to non-pointer type
z = __null; // { dg-warning "" } converting __null to non-pointer type
k(__null); // { dg-warning "" } converting __null to int
g(__null); // { dg-warning "" } converting __null to int
h<__null>(); // No warning: __null bound to integer template parameter
l(__null); // No warning: __null is used to implicitly instantiate the template
__null && __null; // No warning: converting NULL to bool is OK
}
int main()
{
warn_for_NULL();
warn_for___null();
}
|