Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / bd613137499b1d4c3b63dccd0aa21f6add243f4f / . / test / Analysis / inline-plist.c
blob: 549082dc9ca20a06adaa4e46bea5324bc2532499 [file] [log] [blame]
Anna Zaks66253352012-03-08 23:16:35 +0000[diff] [blame]1// RUN: %clang --analyze %s -Xclang -analyzer-ipa=inlining -o %t
Ted Kremenek4ba86bc2012-03-02 21:16:22 +0000[diff] [blame]2// RUN: FileCheck -input-file %t %s
3
4// <rdar://problem/10967815>
5void mmm(int y) {
6 if (y != 0)
7 y++;
8}
9
10int foo(int x, int y) {
11 mmm(y);
12 if (x != 0)
13 x++;
14 return 5/x;
15}
16
Ted Kremeneke881efe2012-03-12 22:10:57 +0000[diff] [blame]17// Test a bug triggering only when inlined.
18void has_bug(int *p) {
19 *p = 0xDEADBEEF;
20}
21
22void test_has_bug() {
23 has_bug(0);
24}
25
Ted Kremenekbd613132012-04-06 22:10:18 +0000[diff] [blame^]26
Ted Kremenek4ba86bc2012-03-02 21:16:22 +0000[diff] [blame]27// CHECK: <?xml version="1.0" encoding="UTF-8"?>
28// CHECK: <plist version="1.0">
29// CHECK: <dict>
30// CHECK: <key>files</key>
31// CHECK: <array>
32// CHECK: </array>
33// CHECK: <key>diagnostics</key>
34// CHECK: <array>
35// CHECK: <dict>
36// CHECK: <key>path</key>
37// CHECK: <array>
38// CHECK: <dict>
39// CHECK: <key>kind</key><string>control</string>
40// CHECK: <key>edges</key>
41// CHECK: <array>
42// CHECK: <dict>
43// CHECK: <key>start</key>
44// CHECK: <array>
45// CHECK: <dict>
46// CHECK: <key>line</key><integer>11</integer>
47// CHECK: <key>col</key><integer>5</integer>
48// CHECK: <key>file</key><integer>0</integer>
49// CHECK: </dict>
50// CHECK: <dict>
51// CHECK: <key>line</key><integer>11</integer>
52// CHECK: <key>col</key><integer>10</integer>
53// CHECK: <key>file</key><integer>0</integer>
54// CHECK: </dict>
55// CHECK: </array>
56// CHECK: <key>end</key>
57// CHECK: <array>
58// CHECK: <dict>
59// CHECK: <key>line</key><integer>12</integer>
60// CHECK: <key>col</key><integer>5</integer>
61// CHECK: <key>file</key><integer>0</integer>
62// CHECK: </dict>
63// CHECK: <dict>
64// CHECK: <key>line</key><integer>12</integer>
65// CHECK: <key>col</key><integer>5</integer>
66// CHECK: <key>file</key><integer>0</integer>
67// CHECK: </dict>
68// CHECK: </array>
69// CHECK: </dict>
70// CHECK: </array>
71// CHECK: </dict>
72// CHECK: <dict>
73// CHECK: <key>kind</key><string>control</string>
74// CHECK: <key>edges</key>
75// CHECK: <array>
76// CHECK: <dict>
77// CHECK: <key>start</key>
78// CHECK: <array>
79// CHECK: <dict>
80// CHECK: <key>line</key><integer>12</integer>
81// CHECK: <key>col</key><integer>5</integer>
82// CHECK: <key>file</key><integer>0</integer>
83// CHECK: </dict>
84// CHECK: <dict>
85// CHECK: <key>line</key><integer>12</integer>
86// CHECK: <key>col</key><integer>5</integer>
87// CHECK: <key>file</key><integer>0</integer>
88// CHECK: </dict>
89// CHECK: </array>
90// CHECK: <key>end</key>
91// CHECK: <array>
92// CHECK: <dict>
93// CHECK: <key>line</key><integer>12</integer>
94// CHECK: <key>col</key><integer>9</integer>
95// CHECK: <key>file</key><integer>0</integer>
96// CHECK: </dict>
97// CHECK: <dict>
98// CHECK: <key>line</key><integer>12</integer>
99// CHECK: <key>col</key><integer>9</integer>
100// CHECK: <key>file</key><integer>0</integer>
101// CHECK: </dict>
102// CHECK: </array>
103// CHECK: </dict>
104// CHECK: </array>
105// CHECK: </dict>
106// CHECK: <dict>
107// CHECK: <key>kind</key><string>event</string>
108// CHECK: <key>location</key>
109// CHECK: <dict>
110// CHECK: <key>line</key><integer>12</integer>
111// CHECK: <key>col</key><integer>9</integer>
112// CHECK: <key>file</key><integer>0</integer>
113// CHECK: </dict>
114// CHECK: <key>ranges</key>
115// CHECK: <array>
116// CHECK: <array>
117// CHECK: <dict>
118// CHECK: <key>line</key><integer>12</integer>
119// CHECK: <key>col</key><integer>9</integer>
120// CHECK: <key>file</key><integer>0</integer>
121// CHECK: </dict>
122// CHECK: <dict>
123// CHECK: <key>line</key><integer>12</integer>
124// CHECK: <key>col</key><integer>14</integer>
125// CHECK: <key>file</key><integer>0</integer>
126// CHECK: </dict>
127// CHECK: </array>
128// CHECK: </array>
Ted Kremeneke881efe2012-03-12 22:10:57 +0000[diff] [blame]129// CHECK: <key>depth</key><integer>0</integer>
Ted Kremenek4ba86bc2012-03-02 21:16:22 +0000[diff] [blame]130// CHECK: <key>extended_message</key>
131// CHECK: <string>Assuming &apos;x&apos; is equal to 0</string>
132// CHECK: <key>message</key>
133// CHECK: <string>Assuming &apos;x&apos; is equal to 0</string>
134// CHECK: </dict>
135// CHECK: <dict>
136// CHECK: <key>kind</key><string>control</string>
137// CHECK: <key>edges</key>
138// CHECK: <array>
139// CHECK: <dict>
140// CHECK: <key>start</key>
141// CHECK: <array>
142// CHECK: <dict>
143// CHECK: <key>line</key><integer>12</integer>
144// CHECK: <key>col</key><integer>9</integer>
145// CHECK: <key>file</key><integer>0</integer>
146// CHECK: </dict>
147// CHECK: <dict>
148// CHECK: <key>line</key><integer>12</integer>
149// CHECK: <key>col</key><integer>9</integer>
150// CHECK: <key>file</key><integer>0</integer>
151// CHECK: </dict>
152// CHECK: </array>
153// CHECK: <key>end</key>
154// CHECK: <array>
155// CHECK: <dict>
156// CHECK: <key>line</key><integer>14</integer>
157// CHECK: <key>col</key><integer>5</integer>
158// CHECK: <key>file</key><integer>0</integer>
159// CHECK: </dict>
160// CHECK: <dict>
161// CHECK: <key>line</key><integer>14</integer>
162// CHECK: <key>col</key><integer>5</integer>
163// CHECK: <key>file</key><integer>0</integer>
164// CHECK: </dict>
165// CHECK: </array>
166// CHECK: </dict>
167// CHECK: </array>
168// CHECK: </dict>
169// CHECK: <dict>
170// CHECK: <key>kind</key><string>control</string>
171// CHECK: <key>edges</key>
172// CHECK: <array>
173// CHECK: <dict>
174// CHECK: <key>start</key>
175// CHECK: <array>
176// CHECK: <dict>
177// CHECK: <key>line</key><integer>14</integer>
178// CHECK: <key>col</key><integer>5</integer>
179// CHECK: <key>file</key><integer>0</integer>
180// CHECK: </dict>
181// CHECK: <dict>
182// CHECK: <key>line</key><integer>14</integer>
183// CHECK: <key>col</key><integer>5</integer>
184// CHECK: <key>file</key><integer>0</integer>
185// CHECK: </dict>
186// CHECK: </array>
187// CHECK: <key>end</key>
188// CHECK: <array>
189// CHECK: <dict>
190// CHECK: <key>line</key><integer>14</integer>
191// CHECK: <key>col</key><integer>12</integer>
192// CHECK: <key>file</key><integer>0</integer>
193// CHECK: </dict>
194// CHECK: <dict>
195// CHECK: <key>line</key><integer>14</integer>
196// CHECK: <key>col</key><integer>12</integer>
197// CHECK: <key>file</key><integer>0</integer>
198// CHECK: </dict>
199// CHECK: </array>
200// CHECK: </dict>
201// CHECK: </array>
202// CHECK: </dict>
203// CHECK: <dict>
204// CHECK: <key>kind</key><string>event</string>
205// CHECK: <key>location</key>
206// CHECK: <dict>
207// CHECK: <key>line</key><integer>14</integer>
208// CHECK: <key>col</key><integer>12</integer>
209// CHECK: <key>file</key><integer>0</integer>
210// CHECK: </dict>
211// CHECK: <key>ranges</key>
212// CHECK: <array>
213// CHECK: <array>
214// CHECK: <dict>
215// CHECK: <key>line</key><integer>14</integer>
216// CHECK: <key>col</key><integer>12</integer>
217// CHECK: <key>file</key><integer>0</integer>
218// CHECK: </dict>
219// CHECK: <dict>
220// CHECK: <key>line</key><integer>14</integer>
221// CHECK: <key>col</key><integer>14</integer>
222// CHECK: <key>file</key><integer>0</integer>
223// CHECK: </dict>
224// CHECK: </array>
225// CHECK: </array>
Ted Kremeneke881efe2012-03-12 22:10:57 +0000[diff] [blame]226// CHECK: <key>depth</key><integer>0</integer>
Ted Kremenek4ba86bc2012-03-02 21:16:22 +0000[diff] [blame]227// CHECK: <key>extended_message</key>
228// CHECK: <string>Division by zero</string>
229// CHECK: <key>message</key>
230// CHECK: <string>Division by zero</string>
231// CHECK: </dict>
232// CHECK: </array>
233// CHECK: <key>description</key><string>Division by zero</string>
234// CHECK: <key>category</key><string>Logic error</string>
235// CHECK: <key>type</key><string>Division by zero</string>
Ted Kremenek07189522012-04-04 18:11:35 +0000[diff] [blame]236// CHECK: <key>issue_context_kind</key><string>function</string>
237// CHECK: <key>issue_context</key><string>foo</string>
Ted Kremenek4ba86bc2012-03-02 21:16:22 +0000[diff] [blame]238// CHECK: <key>location</key>
239// CHECK: <dict>
240// CHECK: <key>line</key><integer>14</integer>
241// CHECK: <key>col</key><integer>12</integer>
242// CHECK: <key>file</key><integer>0</integer>
243// CHECK: </dict>
244// CHECK: </dict>
Ted Kremeneke881efe2012-03-12 22:10:57 +0000[diff] [blame]245// CHECK: <dict>
246// CHECK: <key>path</key>
247// CHECK: <array>
248// CHECK: <dict>
249// CHECK: <key>kind</key><string>event</string>
250// CHECK: <key>location</key>
251// CHECK: <dict>
252// CHECK: <key>line</key><integer>23</integer>
253// CHECK: <key>col</key><integer>3</integer>
254// CHECK: <key>file</key><integer>0</integer>
255// CHECK: </dict>
256// CHECK: <key>ranges</key>
257// CHECK: <array>
258// CHECK: <array>
259// CHECK: <dict>
260// CHECK: <key>line</key><integer>23</integer>
261// CHECK: <key>col</key><integer>3</integer>
262// CHECK: <key>file</key><integer>0</integer>
263// CHECK: </dict>
264// CHECK: <dict>
265// CHECK: <key>line</key><integer>23</integer>
266// CHECK: <key>col</key><integer>12</integer>
267// CHECK: <key>file</key><integer>0</integer>
268// CHECK: </dict>
269// CHECK: </array>
270// CHECK: </array>
271// CHECK: <key>depth</key><integer>0</integer>
272// CHECK: <key>extended_message</key>
273// CHECK: <string>Calling &apos;has_bug&apos;</string>
274// CHECK: <key>message</key>
275// CHECK: <string>Calling &apos;has_bug&apos;</string>
276// CHECK: </dict>
277// CHECK: <dict>
278// CHECK: <key>kind</key><string>event</string>
279// CHECK: <key>location</key>
280// CHECK: <dict>
281// CHECK: <key>line</key><integer>18</integer>
282// CHECK: <key>col</key><integer>1</integer>
283// CHECK: <key>file</key><integer>0</integer>
284// CHECK: </dict>
285// CHECK: <key>depth</key><integer>1</integer>
286// CHECK: <key>extended_message</key>
Anna Zaks93739372012-03-14 18:58:28 +0000[diff] [blame]287// CHECK: <string>Entered call from &apos;test_has_bug&apos;</string>
Ted Kremeneke881efe2012-03-12 22:10:57 +0000[diff] [blame]288// CHECK: <key>message</key>
Ted Kremenek76b85ac2012-03-15 21:55:38 +0000[diff] [blame]289// CHECK: <string>Entered call from &apos;test_has_bug&apos;</string>
Ted Kremeneke881efe2012-03-12 22:10:57 +0000[diff] [blame]290// CHECK: </dict>
291// CHECK: <dict>
292// CHECK: <key>kind</key><string>control</string>
293// CHECK: <key>edges</key>
294// CHECK: <array>
295// CHECK: <dict>
296// CHECK: <key>start</key>
297// CHECK: <array>
298// CHECK: <dict>
299// CHECK: <key>line</key><integer>18</integer>
300// CHECK: <key>col</key><integer>1</integer>
301// CHECK: <key>file</key><integer>0</integer>
302// CHECK: </dict>
303// CHECK: <dict>
304// CHECK: <key>line</key><integer>18</integer>
305// CHECK: <key>col</key><integer>1</integer>
306// CHECK: <key>file</key><integer>0</integer>
307// CHECK: </dict>
308// CHECK: </array>
309// CHECK: <key>end</key>
310// CHECK: <array>
311// CHECK: <dict>
312// CHECK: <key>line</key><integer>19</integer>
313// CHECK: <key>col</key><integer>3</integer>
314// CHECK: <key>file</key><integer>0</integer>
315// CHECK: </dict>
316// CHECK: <dict>
317// CHECK: <key>line</key><integer>19</integer>
Ted Kremenekbd613132012-04-06 22:10:18 +0000[diff] [blame^]318// CHECK: <key>col</key><integer>3</integer>
Ted Kremeneke881efe2012-03-12 22:10:57 +0000[diff] [blame]319// CHECK: <key>file</key><integer>0</integer>
320// CHECK: </dict>
321// CHECK: </array>
322// CHECK: </dict>
323// CHECK: </array>
324// CHECK: </dict>
325// CHECK: <dict>
326// CHECK: <key>kind</key><string>event</string>
327// CHECK: <key>location</key>
328// CHECK: <dict>
329// CHECK: <key>line</key><integer>19</integer>
330// CHECK: <key>col</key><integer>3</integer>
331// CHECK: <key>file</key><integer>0</integer>
332// CHECK: </dict>
333// CHECK: <key>ranges</key>
334// CHECK: <array>
335// CHECK: <array>
336// CHECK: <dict>
337// CHECK: <key>line</key><integer>19</integer>
338// CHECK: <key>col</key><integer>4</integer>
339// CHECK: <key>file</key><integer>0</integer>
340// CHECK: </dict>
341// CHECK: <dict>
342// CHECK: <key>line</key><integer>19</integer>
343// CHECK: <key>col</key><integer>4</integer>
344// CHECK: <key>file</key><integer>0</integer>
345// CHECK: </dict>
346// CHECK: </array>
347// CHECK: </array>
348// CHECK: <key>depth</key><integer>1</integer>
349// CHECK: <key>extended_message</key>
350// CHECK: <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
351// CHECK: <key>message</key>
352// CHECK: <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
353// CHECK: </dict>
354// CHECK: </array>
355// CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
356// CHECK: <key>category</key><string>Logic error</string>
357// CHECK: <key>type</key><string>Dereference of null pointer</string>
Ted Kremenek07189522012-04-04 18:11:35 +0000[diff] [blame]358// CHECK: <key>issue_context_kind</key><string>function</string>
359// CHECK: <key>issue_context</key><string>has_bug</string>
Ted Kremeneke881efe2012-03-12 22:10:57 +0000[diff] [blame]360// CHECK: <key>location</key>
361// CHECK: <dict>
362// CHECK: <key>line</key><integer>19</integer>
363// CHECK: <key>col</key><integer>3</integer>
364// CHECK: <key>file</key><integer>0</integer>
365// CHECK: </dict>
366// CHECK: </dict>
Ted Kremenek4ba86bc2012-03-02 21:16:22 +0000[diff] [blame]367// CHECK: </array>
368// CHECK: </dict>
369// CHECK: </plist>