blob: d3df6eb6d27c04c8efa82bc45182d15acc276fbb (
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
116
117
118
119
120
121
122
123
124
125
126
|
// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
static const unsigned long long scull = 0;
void static_int()
{
*(int*)scull = 0; // expected-warning{{Dereference of null pointer}}
}
const unsigned long long cull = 0;
void const_int()
{
*(int*)cull = 0; // expected-warning{{Dereference of null pointer}}
}
static int * const spc = 0;
void static_ptr()
{
*spc = 0; // expected-warning{{Dereference of null pointer}}
}
int * const pc = 0;
void const_ptr()
{
*pc = 0; // expected-warning{{Dereference of null pointer}}
}
const unsigned long long cull_nonnull = 4;
void nonnull_int()
{
*(int*)(cull_nonnull - 4) = 0; // expected-warning{{Dereference of null pointer}}
}
int * const pc_nonnull = (int*)sizeof(int);
void nonnull_ptr()
{
*(pc_nonnull - 1) = 0; // expected-warning{{Dereference of null pointer}}
}
int * const constcast = const_cast<int * const>((int*)sizeof(int));
void cast1()
{
*(constcast - 1) = 0; // expected-warning{{Dereference of null pointer}}
}
int * const recast = reinterpret_cast<int*>(sizeof(int));
void cast2()
{
*(recast - 1) = 0; // expected-warning{{Dereference of null pointer}}
}
int * const staticcast = static_cast<int * const>((int*)sizeof(int));
void cast3()
{
*(staticcast - 1) = 0; // expected-warning{{Dereference of null pointer}}
}
struct Foo { int a; };
Foo * const dyncast = dynamic_cast<Foo * const>((Foo*)sizeof(Foo));
void cast4()
{
// Do not handle dynamic_cast for now, because it may change the pointer value.
(dyncast - 1)->a = 0; // no-warning
}
typedef int * const intptrconst;
int * const funccast = intptrconst(sizeof(int));
void cast5()
{
*(funccast - 1) = 0; // expected-warning{{Dereference of null pointer}}
}
struct S1
{
int * p;
};
const S1 s1 = {
.p = (int*)sizeof(int)
};
void conststruct()
{
*(s1.p - 1) = 0; // expected-warning{{Dereference of null pointer}}
}
struct S2
{
int * const p;
};
S2 s2 = {
.p = (int*)sizeof(int)
};
void constfield()
{
*(s2.p - 1) = 0; // expected-warning{{Dereference of null pointer}}
}
int * const parr[1] = { (int*)sizeof(int) };
void constarr()
{
*(parr[0] - 1) = 0; // expected-warning{{Dereference of null pointer}}
}
struct S3
{
int * p = (int*)sizeof(int);
};
void recordinit()
{
S3 s3;
*(s3.p - 1) = 0; // expected-warning{{Dereference of null pointer}}
}
extern int ext_int;
void update_original_declaration() {
ext_int = 2;
}
extern int ext_int;
int test_redeclaration() {
ext_int = 1;
update_original_declaration();
int int_int = 3 / (ext_int - 1); // no-warning
return int_int / (ext_int - 2); // expected-warning{{Division by zero}}
}
|
