globals.cpp source code [clang_source_code/test/Analysis/globals.cpp]

1	// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
2
3
4	static const unsigned long long scull = 0;
5	void static_int()
6	{
7	(int)scull = 0; // expected-warning{{Dereference of null pointer}}
8	}
9
10	const unsigned long long cull = 0;
11	void const_int()
12	{
13	(int)cull = 0; // expected-warning{{Dereference of null pointer}}
14	}
15
16	static int * const spc = 0;
17	void static_ptr()
18	{
19	*spc = 0; // expected-warning{{Dereference of null pointer}}
20	}
21
22	int * const pc = 0;
23	void const_ptr()
24	{
25	*pc = 0; // expected-warning{{Dereference of null pointer}}
26	}
27
28	const unsigned long long cull_nonnull = 4;
29	void nonnull_int()
30	{
31	(int)(cull_nonnull - 4) = 0; // expected-warning{{Dereference of null pointer}}
32	}
33
34	int * const pc_nonnull = (int*)sizeof(int);
35	void nonnull_ptr()
36	{
37	*(pc_nonnull - 1) = 0; // expected-warning{{Dereference of null pointer}}
38	}
39
40	int * const constcast = const_cast<int * const>((int*)sizeof(int));
41	void cast1()
42	{
43	*(constcast - 1) = 0; // expected-warning{{Dereference of null pointer}}
44	}
45
46	int * const recast = reinterpret_cast<int*>(sizeof(int));
47	void cast2()
48	{
49	*(recast - 1) = 0; // expected-warning{{Dereference of null pointer}}
50	}
51
52	int * const staticcast = static_cast<int * const>((int*)sizeof(int));
53	void cast3()
54	{
55	*(staticcast - 1) = 0; // expected-warning{{Dereference of null pointer}}
56	}
57
58	struct Foo { int a; };
59	Foo * const dyncast = dynamic_cast<Foo * const>((Foo*)sizeof(Foo));
60	void cast4()
61	{
62	// Do not handle dynamic_cast for now, because it may change the pointer value.
63	(dyncast - 1)->a = 0; // no-warning
64	}
65
66	typedef int * const intptrconst;
67	int * const funccast = intptrconst(sizeof(int));
68	void cast5()
69	{
70	*(funccast - 1) = 0; // expected-warning{{Dereference of null pointer}}
71	}
72
73	struct S1
74	{
75	int * p;
76	};
77	const S1 s1 = {
78	.p = (int*)sizeof(int)
79	};
80	void conststruct()
81	{
82	*(s1.p - 1) = 0; // expected-warning{{Dereference of null pointer}}
83	}
84
85	struct S2
86	{
87	int * const p;
88	};
89	S2 s2 = {
90	.p = (int*)sizeof(int)
91	};
92	void constfield()
93	{
94	*(s2.p - 1) = 0; // expected-warning{{Dereference of null pointer}}
95	}
96
97	int * const parr[1] = { (int*)sizeof(int) };
98	void constarr()
99	{
100	*(parr[0] - 1) = 0; // expected-warning{{Dereference of null pointer}}
101	}
102
103	struct S3
104	{
105	int * p = (int*)sizeof(int);
106	};
107	void recordinit()
108	{
109	S3 s3;
110	*(s3.p - 1) = 0; // expected-warning{{Dereference of null pointer}}
111	}
112
113	extern int ext_int;
114
115	void update_original_declaration() {
116	ext_int = 2;
117	}
118
119	extern int ext_int;
120
121	int test_redeclaration() {
122	ext_int = 1;
123	update_original_declaration();
124	int int_int = 3 / (ext_int - 1); // no-warning
125	return int_int / (ext_int - 2); // expected-warning{{Division by zero}}
126	}
127

Clang Project