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