1*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -analyze -analyzer-checker=core,unix -analyzer-eagerly-assume -verify %s
2*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -analyze -analyzer-checker=core,unix -analyzer-eagerly-assume -analyzer-output=plist-multi-file -analyzer-config path-diagnostics-alternate=ture %s -o %t.plist
3*f4a2713aSLionel Sambuc // RUN: FileCheck --input-file=%t.plist %s
4*f4a2713aSLionel Sambuc
5*f4a2713aSLionel Sambuc
6*f4a2713aSLionel Sambuc typedef __typeof(sizeof(int)) size_t;
7*f4a2713aSLionel Sambuc void *malloc(size_t);
8*f4a2713aSLionel Sambuc
9*f4a2713aSLionel Sambuc #define mallocmemory int *x = (int*)malloc(12);
noteOnMacro(int y)10*f4a2713aSLionel Sambuc void noteOnMacro(int y) {
11*f4a2713aSLionel Sambuc y++;
12*f4a2713aSLionel Sambuc y--;
13*f4a2713aSLionel Sambuc mallocmemory
14*f4a2713aSLionel Sambuc y++;
15*f4a2713aSLionel Sambuc y++;
16*f4a2713aSLionel Sambuc delete x; // expected-warning {{Memory allocated by malloc() should be deallocated by free(), not 'delete'}}
17*f4a2713aSLionel Sambuc }
18*f4a2713aSLionel Sambuc
macroIsFirstInFunction(int y)19*f4a2713aSLionel Sambuc void macroIsFirstInFunction(int y) {
20*f4a2713aSLionel Sambuc mallocmemory
21*f4a2713aSLionel Sambuc y++; // expected-warning {{Potential leak of memory pointed to by 'x'}}
22*f4a2713aSLionel Sambuc }
23*f4a2713aSLionel Sambuc
24*f4a2713aSLionel Sambuc #define checkmacro p==0
25*f4a2713aSLionel Sambuc void macroInExpressionAux(bool b);
macroInExpression(int * p,int y)26*f4a2713aSLionel Sambuc int macroInExpression(int *p, int y) {;
27*f4a2713aSLionel Sambuc y++;
28*f4a2713aSLionel Sambuc macroInExpressionAux(checkmacro);
29*f4a2713aSLionel Sambuc
30*f4a2713aSLionel Sambuc return *p; // expected-warning {{Dereference of null pointer}}
31*f4a2713aSLionel Sambuc }
32*f4a2713aSLionel Sambuc
33*f4a2713aSLionel Sambuc #define noPathNoteMacro y+y
macroInExpressionNoNote(int * p,int y)34*f4a2713aSLionel Sambuc int macroInExpressionNoNote(int *p, int y) {;
35*f4a2713aSLionel Sambuc y++;
36*f4a2713aSLionel Sambuc if (5 + noPathNoteMacro)
37*f4a2713aSLionel Sambuc if (p)
38*f4a2713aSLionel Sambuc ;
39*f4a2713aSLionel Sambuc return *p; // expected-warning {{Dereference of null pointer}}
40*f4a2713aSLionel Sambuc }
41*f4a2713aSLionel Sambuc
42*f4a2713aSLionel Sambuc #define macroWithArg(mp) mp==0
macroWithArgInExpression(int * p,int y)43*f4a2713aSLionel Sambuc int macroWithArgInExpression(int *p, int y) {;
44*f4a2713aSLionel Sambuc y++;
45*f4a2713aSLionel Sambuc if (macroWithArg(p))
46*f4a2713aSLionel Sambuc ;
47*f4a2713aSLionel Sambuc return *p; // expected-warning {{Dereference of null pointer}}
48*f4a2713aSLionel Sambuc }
49*f4a2713aSLionel Sambuc
50*f4a2713aSLionel Sambuc #define multiNoteMacroWithError \
51*f4a2713aSLionel Sambuc if (p) \
52*f4a2713aSLionel Sambuc ;\
53*f4a2713aSLionel Sambuc *p = 5;
useMultiNoteMacroWithError(int * p,int y)54*f4a2713aSLionel Sambuc int useMultiNoteMacroWithError(int *p, int y) {;
55*f4a2713aSLionel Sambuc y++;
56*f4a2713aSLionel Sambuc multiNoteMacroWithError // expected-warning {{Dereference of null pointer}}
57*f4a2713aSLionel Sambuc
58*f4a2713aSLionel Sambuc return *p;
59*f4a2713aSLionel Sambuc }
60*f4a2713aSLionel Sambuc
61*f4a2713aSLionel Sambuc #define multiNoteMacro \
62*f4a2713aSLionel Sambuc if (p) \
63*f4a2713aSLionel Sambuc ;\
64*f4a2713aSLionel Sambuc if (y) \
65*f4a2713aSLionel Sambuc ;
useMultiNote(int * p,int y)66*f4a2713aSLionel Sambuc int useMultiNote(int *p, int y) {;
67*f4a2713aSLionel Sambuc y++;
68*f4a2713aSLionel Sambuc multiNoteMacro
69*f4a2713aSLionel Sambuc
70*f4a2713aSLionel Sambuc return *p; // expected-warning {{Dereference of null pointer}}
71*f4a2713aSLionel Sambuc }
72*f4a2713aSLionel Sambuc
73*f4a2713aSLionel Sambuc #define CALL_FN(a) null_deref(a)
74*f4a2713aSLionel Sambuc
null_deref(int * a)75*f4a2713aSLionel Sambuc void null_deref(int *a) {
76*f4a2713aSLionel Sambuc if (a)
77*f4a2713aSLionel Sambuc return;
78*f4a2713aSLionel Sambuc *a = 1; // expected-warning {{Dereference of null pointer}}
79*f4a2713aSLionel Sambuc }
80*f4a2713aSLionel Sambuc
test1()81*f4a2713aSLionel Sambuc void test1() {
82*f4a2713aSLionel Sambuc CALL_FN(0);
83*f4a2713aSLionel Sambuc }
84*f4a2713aSLionel Sambuc
test2(int * p)85*f4a2713aSLionel Sambuc void test2(int *p) {
86*f4a2713aSLionel Sambuc CALL_FN(p);
87*f4a2713aSLionel Sambuc }
88*f4a2713aSLionel Sambuc // CHECK: <key>diagnostics</key>
89*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
90*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
91*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>path</key>
92*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
93*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
94*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
95*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
96*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
97*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
98*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
99*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
100*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
101*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>11</integer>
102*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
103*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
104*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
105*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
106*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>11</integer>
107*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
108*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
109*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
110*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
111*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
112*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
113*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
114*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>13</integer>
115*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
116*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
117*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
118*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
119*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>13</integer>
120*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>14</integer>
121*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
122*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
123*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
124*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
125*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
126*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
127*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
128*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
129*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
130*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
131*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>13</integer>
132*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
133*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
134*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
135*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>ranges</key>
136*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
137*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
138*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
139*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>13</integer>
140*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
141*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
142*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
143*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
144*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>13</integer>
145*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>14</integer>
146*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
147*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
148*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
149*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
150*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>0</integer>
151*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
152*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Memory is allocated</string>
153*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
154*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Memory is allocated</string>
155*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
156*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
157*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
158*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
159*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
160*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
161*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
162*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
163*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
164*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>13</integer>
165*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
166*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
167*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
168*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
169*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>13</integer>
170*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>14</integer>
171*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
172*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
173*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
174*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
175*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
176*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
177*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>16</integer>
178*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
179*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
180*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
181*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
182*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>16</integer>
183*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>8</integer>
184*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
185*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
186*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
187*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
188*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
189*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
190*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
191*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
192*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
193*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
194*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>16</integer>
195*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
196*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
197*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
198*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>ranges</key>
199*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
200*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
201*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
202*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>16</integer>
203*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
204*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
205*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
206*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
207*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>16</integer>
208*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
209*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
210*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
211*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
212*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
213*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>0</integer>
214*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
215*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Memory allocated by malloc() should be deallocated by free(), not 'delete'</string>
216*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
217*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Memory allocated by malloc() should be deallocated by free(), not 'delete'</string>
218*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
219*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
220*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>description</key><string>Memory allocated by malloc() should be deallocated by free(), not 'delete'</string>
221*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>category</key><string>Memory Error</string>
222*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>type</key><string>Bad deallocator</string>
223*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
224*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_context</key><string>noteOnMacro</string>
225*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_hash</key><string>6</string>
226*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
227*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
228*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>16</integer>
229*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
230*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
231*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
232*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
233*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
234*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>path</key>
235*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
236*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
237*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
238*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
239*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
240*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>20</integer>
241*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
242*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
243*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
244*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>ranges</key>
245*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
246*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
247*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
248*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>20</integer>
249*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
250*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
251*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
252*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
253*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>20</integer>
254*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>14</integer>
255*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
256*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
257*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
258*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
259*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>0</integer>
260*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
261*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Memory is allocated</string>
262*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
263*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Memory is allocated</string>
264*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
265*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
266*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
267*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
268*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
269*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
270*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
271*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
272*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
273*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>20</integer>
274*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
275*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
276*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
277*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
278*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>20</integer>
279*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>14</integer>
280*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
281*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
282*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
283*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
284*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
285*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
286*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>21</integer>
287*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
288*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
289*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
290*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
291*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>21</integer>
292*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
293*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
294*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
295*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
296*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
297*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
298*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
299*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
300*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
301*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
302*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
303*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>21</integer>
304*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
305*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
306*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
307*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>0</integer>
308*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
309*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Potential leak of memory pointed to by 'x'</string>
310*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
311*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Potential leak of memory pointed to by 'x'</string>
312*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
313*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
314*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>description</key><string>Potential leak of memory pointed to by 'x'</string>
315*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>category</key><string>Memory Error</string>
316*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>type</key><string>Memory leak</string>
317*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
318*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_context</key><string>macroIsFirstInFunction</string>
319*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_hash</key><string>1</string>
320*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
321*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
322*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>21</integer>
323*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
324*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
325*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
326*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
327*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
328*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>path</key>
329*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
330*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
331*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
332*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
333*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
334*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
335*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
336*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
337*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
338*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>27</integer>
339*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
340*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
341*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
342*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
343*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>27</integer>
344*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
345*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
346*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
347*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
348*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
349*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
350*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
351*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>28</integer>
352*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
353*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
354*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
355*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
356*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>28</integer>
357*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>22</integer>
358*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
359*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
360*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
361*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
362*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
363*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
364*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
365*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
366*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
367*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
368*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
369*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
370*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
371*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
372*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>28</integer>
373*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
374*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
375*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
376*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
377*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>28</integer>
378*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>22</integer>
379*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
380*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
381*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
382*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
383*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
384*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
385*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>28</integer>
386*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>24</integer>
387*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
388*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
389*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
390*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>28</integer>
391*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>33</integer>
392*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
393*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
394*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
395*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
396*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
397*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
398*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
399*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
400*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
401*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
402*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>28</integer>
403*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>24</integer>
404*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
405*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
406*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>ranges</key>
407*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
408*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
409*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
410*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>28</integer>
411*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>24</integer>
412*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
413*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
414*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
415*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>28</integer>
416*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>33</integer>
417*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
418*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
419*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
420*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
421*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>0</integer>
422*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
423*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Assuming 'p' is equal to null</string>
424*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
425*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Assuming 'p' is equal to null</string>
426*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
427*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
428*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
429*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
430*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
431*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
432*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
433*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
434*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
435*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>28</integer>
436*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>24</integer>
437*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
438*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
439*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
440*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>28</integer>
441*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>33</integer>
442*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
443*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
444*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
445*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
446*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
447*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
448*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>28</integer>
449*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
450*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
451*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
452*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
453*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>28</integer>
454*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>22</integer>
455*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
456*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
457*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
458*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
459*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
460*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
461*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
462*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
463*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
464*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
465*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
466*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
467*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
468*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
469*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>28</integer>
470*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
471*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
472*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
473*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
474*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>28</integer>
475*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>22</integer>
476*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
477*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
478*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
479*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
480*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
481*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
482*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>30</integer>
483*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
484*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
485*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
486*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
487*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>30</integer>
488*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>8</integer>
489*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
490*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
491*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
492*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
493*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
494*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
495*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
496*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
497*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
498*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
499*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
500*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
501*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
502*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
503*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>30</integer>
504*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
505*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
506*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
507*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
508*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>30</integer>
509*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>8</integer>
510*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
511*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
512*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
513*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
514*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
515*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
516*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>30</integer>
517*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
518*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
519*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
520*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
521*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>30</integer>
522*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
523*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
524*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
525*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
526*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
527*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
528*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
529*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
530*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
531*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
532*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
533*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>30</integer>
534*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
535*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
536*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
537*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>ranges</key>
538*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
539*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
540*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
541*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>30</integer>
542*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>11</integer>
543*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
544*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
545*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
546*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>30</integer>
547*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>11</integer>
548*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
549*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
550*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
551*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
552*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>0</integer>
553*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
554*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string>
555*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
556*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string>
557*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
558*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
559*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string>
560*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>category</key><string>Logic error</string>
561*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string>
562*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
563*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_context</key><string>macroInExpression</string>
564*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_hash</key><string>4</string>
565*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
566*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
567*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>30</integer>
568*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
569*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
570*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
571*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
572*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
573*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>path</key>
574*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
575*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
576*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
577*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
578*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
579*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
580*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
581*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
582*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
583*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>35</integer>
584*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
585*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
586*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
587*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
588*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>35</integer>
589*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
590*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
591*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
592*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
593*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
594*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
595*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
596*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>36</integer>
597*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
598*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
599*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
600*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
601*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>36</integer>
602*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>4</integer>
603*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
604*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
605*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
606*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
607*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
608*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
609*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
610*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
611*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
612*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
613*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
614*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
615*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
616*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
617*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>36</integer>
618*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
619*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
620*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
621*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
622*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>36</integer>
623*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>4</integer>
624*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
625*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
626*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
627*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
628*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
629*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
630*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>37</integer>
631*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>5</integer>
632*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
633*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
634*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
635*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>37</integer>
636*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>6</integer>
637*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
638*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
639*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
640*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
641*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
642*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
643*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
644*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
645*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
646*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
647*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
648*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
649*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
650*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
651*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>37</integer>
652*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>5</integer>
653*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
654*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
655*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
656*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>37</integer>
657*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>6</integer>
658*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
659*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
660*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
661*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
662*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
663*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
664*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>37</integer>
665*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>9</integer>
666*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
667*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
668*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
669*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>37</integer>
670*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>9</integer>
671*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
672*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
673*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
674*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
675*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
676*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
677*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
678*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
679*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
680*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
681*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>37</integer>
682*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>9</integer>
683*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
684*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
685*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>ranges</key>
686*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
687*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
688*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
689*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>37</integer>
690*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>9</integer>
691*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
692*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
693*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
694*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>37</integer>
695*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>9</integer>
696*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
697*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
698*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
699*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
700*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>0</integer>
701*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
702*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Assuming 'p' is null</string>
703*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
704*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Assuming 'p' is null</string>
705*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
706*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
707*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
708*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
709*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
710*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
711*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
712*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
713*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
714*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>37</integer>
715*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>9</integer>
716*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
717*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
718*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
719*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>37</integer>
720*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>9</integer>
721*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
722*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
723*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
724*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
725*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
726*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
727*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>39</integer>
728*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
729*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
730*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
731*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
732*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>39</integer>
733*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>8</integer>
734*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
735*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
736*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
737*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
738*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
739*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
740*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
741*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
742*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
743*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
744*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
745*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
746*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
747*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
748*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>39</integer>
749*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
750*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
751*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
752*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
753*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>39</integer>
754*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>8</integer>
755*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
756*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
757*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
758*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
759*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
760*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
761*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>39</integer>
762*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
763*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
764*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
765*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
766*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>39</integer>
767*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
768*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
769*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
770*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
771*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
772*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
773*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
774*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
775*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
776*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
777*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
778*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>39</integer>
779*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
780*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
781*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
782*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>ranges</key>
783*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
784*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
785*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
786*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>39</integer>
787*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>11</integer>
788*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
789*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
790*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
791*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>39</integer>
792*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>11</integer>
793*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
794*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
795*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
796*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
797*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>0</integer>
798*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
799*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string>
800*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
801*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string>
802*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
803*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
804*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string>
805*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>category</key><string>Logic error</string>
806*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string>
807*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
808*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_context</key><string>macroInExpressionNoNote</string>
809*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_hash</key><string>5</string>
810*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
811*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
812*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>39</integer>
813*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
814*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
815*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
816*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
817*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
818*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>path</key>
819*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
820*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
821*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
822*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
823*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
824*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
825*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
826*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
827*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
828*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>44</integer>
829*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
830*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
831*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
832*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
833*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>44</integer>
834*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
835*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
836*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
837*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
838*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
839*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
840*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
841*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>45</integer>
842*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
843*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
844*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
845*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
846*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>45</integer>
847*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>4</integer>
848*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
849*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
850*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
851*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
852*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
853*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
854*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
855*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
856*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
857*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
858*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
859*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
860*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
861*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
862*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>45</integer>
863*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
864*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
865*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
866*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
867*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>45</integer>
868*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>4</integer>
869*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
870*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
871*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
872*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
873*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
874*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
875*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>45</integer>
876*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>7</integer>
877*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
878*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
879*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
880*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>45</integer>
881*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>18</integer>
882*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
883*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
884*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
885*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
886*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
887*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
888*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
889*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
890*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
891*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
892*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>45</integer>
893*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>7</integer>
894*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
895*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
896*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>ranges</key>
897*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
898*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
899*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
900*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>45</integer>
901*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>7</integer>
902*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
903*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
904*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
905*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>45</integer>
906*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>18</integer>
907*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
908*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
909*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
910*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
911*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>0</integer>
912*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
913*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Assuming 'p' is equal to null</string>
914*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
915*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Assuming 'p' is equal to null</string>
916*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
917*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
918*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
919*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
920*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
921*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
922*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
923*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
924*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
925*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>45</integer>
926*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>7</integer>
927*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
928*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
929*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
930*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>45</integer>
931*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>18</integer>
932*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
933*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
934*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
935*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
936*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
937*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
938*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>47</integer>
939*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
940*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
941*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
942*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
943*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>47</integer>
944*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>8</integer>
945*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
946*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
947*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
948*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
949*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
950*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
951*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
952*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
953*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
954*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
955*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
956*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
957*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
958*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
959*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>47</integer>
960*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
961*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
962*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
963*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
964*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>47</integer>
965*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>8</integer>
966*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
967*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
968*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
969*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
970*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
971*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
972*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>47</integer>
973*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
974*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
975*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
976*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
977*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>47</integer>
978*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
979*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
980*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
981*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
982*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
983*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
984*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
985*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
986*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
987*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
988*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
989*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>47</integer>
990*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
991*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
992*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
993*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>ranges</key>
994*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
995*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
996*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
997*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>47</integer>
998*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>11</integer>
999*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1000*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1001*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1002*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>47</integer>
1003*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>11</integer>
1004*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1005*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1006*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1007*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1008*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>0</integer>
1009*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
1010*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string>
1011*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
1012*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string>
1013*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1014*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1015*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string>
1016*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>category</key><string>Logic error</string>
1017*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string>
1018*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
1019*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_context</key><string>macroWithArgInExpression</string>
1020*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_hash</key><string>4</string>
1021*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
1022*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1023*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>47</integer>
1024*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
1025*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1026*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1027*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1028*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1029*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>path</key>
1030*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1031*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1032*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
1033*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
1034*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1035*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1036*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
1037*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1038*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1039*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>55</integer>
1040*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1041*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1042*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1043*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1044*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>55</integer>
1045*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1046*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1047*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1048*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1049*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
1050*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1051*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1052*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>56</integer>
1053*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1054*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1055*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1056*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1057*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>56</integer>
1058*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>25</integer>
1059*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1060*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1061*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1062*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1063*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1064*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1065*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1066*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
1067*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
1068*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1069*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>56</integer>
1070*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1071*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1072*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1073*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>ranges</key>
1074*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1075*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1076*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1077*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>56</integer>
1078*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1079*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1080*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1081*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1082*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>56</integer>
1083*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>25</integer>
1084*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1085*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1086*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1087*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1088*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>0</integer>
1089*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
1090*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Assuming 'p' is null</string>
1091*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
1092*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Assuming 'p' is null</string>
1093*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1094*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1095*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
1096*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
1097*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1098*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1099*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
1100*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1101*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1102*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>56</integer>
1103*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1104*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1105*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1106*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1107*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>56</integer>
1108*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>25</integer>
1109*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1110*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1111*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1112*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
1113*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1114*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1115*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>56</integer>
1116*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1117*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1118*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1119*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1120*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>56</integer>
1121*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>25</integer>
1122*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1123*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1124*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1125*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1126*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1127*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1128*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1129*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
1130*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
1131*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1132*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>56</integer>
1133*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1134*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1135*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1136*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>ranges</key>
1137*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1138*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1139*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1140*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>56</integer>
1141*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1142*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1143*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1144*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1145*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>56</integer>
1146*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>25</integer>
1147*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1148*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1149*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1150*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1151*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>0</integer>
1152*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
1153*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string>
1154*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
1155*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string>
1156*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1157*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1158*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string>
1159*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>category</key><string>Logic error</string>
1160*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string>
1161*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
1162*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_context</key><string>useMultiNoteMacroWithError</string>
1163*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_hash</key><string>2</string>
1164*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
1165*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1166*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>56</integer>
1167*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1168*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1169*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1170*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1171*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1172*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>path</key>
1173*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1174*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1175*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
1176*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
1177*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1178*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1179*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
1180*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1181*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1182*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>67</integer>
1183*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1184*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1185*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1186*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1187*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>67</integer>
1188*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1189*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1190*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1191*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1192*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
1193*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1194*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1195*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>68</integer>
1196*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1197*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1198*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1199*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1200*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>68</integer>
1201*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>16</integer>
1202*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1203*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1204*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1205*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1206*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1207*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1208*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1209*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
1210*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
1211*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1212*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>68</integer>
1213*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1214*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1215*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1216*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>ranges</key>
1217*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1218*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1219*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1220*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>68</integer>
1221*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1222*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1223*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1224*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1225*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>68</integer>
1226*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>16</integer>
1227*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1228*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1229*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1230*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1231*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>0</integer>
1232*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
1233*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Assuming 'p' is null</string>
1234*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
1235*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Assuming 'p' is null</string>
1236*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1237*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1238*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
1239*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
1240*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1241*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>68</integer>
1242*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1243*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1244*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1245*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>ranges</key>
1246*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1247*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1248*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1249*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>68</integer>
1250*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1251*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1252*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1253*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1254*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>68</integer>
1255*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>16</integer>
1256*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1257*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1258*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1259*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1260*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>0</integer>
1261*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
1262*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Assuming 'y' is 0</string>
1263*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
1264*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Assuming 'y' is 0</string>
1265*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1266*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1267*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
1268*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
1269*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1270*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1271*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
1272*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1273*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1274*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>68</integer>
1275*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1276*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1277*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1278*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1279*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>68</integer>
1280*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>16</integer>
1281*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1282*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1283*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1284*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
1285*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1286*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1287*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>70</integer>
1288*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1289*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1290*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1291*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1292*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>70</integer>
1293*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>8</integer>
1294*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1295*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1296*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1297*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1298*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1299*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1300*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1301*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
1302*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
1303*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1304*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1305*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
1306*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1307*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1308*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>70</integer>
1309*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1310*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1311*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1312*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1313*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>70</integer>
1314*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>8</integer>
1315*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1316*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1317*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1318*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
1319*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1320*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1321*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>70</integer>
1322*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
1323*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1324*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1325*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1326*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>70</integer>
1327*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
1328*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1329*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1330*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1331*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1332*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1333*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1334*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1335*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
1336*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
1337*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1338*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>70</integer>
1339*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
1340*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1341*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1342*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>ranges</key>
1343*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1344*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1345*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1346*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>70</integer>
1347*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>11</integer>
1348*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1349*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1350*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1351*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>70</integer>
1352*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>11</integer>
1353*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1354*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1355*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1356*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1357*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>0</integer>
1358*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
1359*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string>
1360*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
1361*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string>
1362*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1363*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1364*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string>
1365*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>category</key><string>Logic error</string>
1366*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string>
1367*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
1368*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_context</key><string>useMultiNote</string>
1369*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_hash</key><string>4</string>
1370*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
1371*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1372*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>70</integer>
1373*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>10</integer>
1374*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1375*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1376*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1377*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1378*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>path</key>
1379*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1380*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1381*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
1382*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
1383*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1384*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>82</integer>
1385*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1386*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1387*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1388*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>ranges</key>
1389*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1390*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1391*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1392*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>82</integer>
1393*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1394*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1395*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1396*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1397*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>82</integer>
1398*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>9</integer>
1399*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1400*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1401*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1402*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1403*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>0</integer>
1404*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
1405*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Passing null pointer value via 1st parameter 'a'</string>
1406*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
1407*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Passing null pointer value via 1st parameter 'a'</string>
1408*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1409*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1410*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
1411*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
1412*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1413*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>82</integer>
1414*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1415*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1416*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1417*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>ranges</key>
1418*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1419*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1420*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1421*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>82</integer>
1422*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1423*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1424*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1425*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1426*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>82</integer>
1427*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>9</integer>
1428*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1429*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1430*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1431*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1432*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>0</integer>
1433*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
1434*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Calling 'null_deref'</string>
1435*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
1436*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Calling 'null_deref'</string>
1437*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1438*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1439*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
1440*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
1441*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1442*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>75</integer>
1443*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>1</integer>
1444*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1445*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1446*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>1</integer>
1447*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
1448*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Entered call from 'test1'</string>
1449*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
1450*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Entered call from 'test1'</string>
1451*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1452*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1453*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
1454*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
1455*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1456*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1457*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
1458*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1459*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1460*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>75</integer>
1461*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>1</integer>
1462*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1463*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1464*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1465*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>75</integer>
1466*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>4</integer>
1467*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1468*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1469*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1470*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
1471*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1472*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1473*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>76</integer>
1474*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1475*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1476*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1477*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1478*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>76</integer>
1479*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>4</integer>
1480*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1481*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1482*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1483*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1484*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1485*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1486*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1487*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
1488*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
1489*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1490*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1491*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
1492*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1493*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1494*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>76</integer>
1495*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1496*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1497*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1498*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1499*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>76</integer>
1500*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>4</integer>
1501*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1502*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1503*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1504*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
1505*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1506*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1507*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>78</integer>
1508*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1509*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1510*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1511*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1512*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>78</integer>
1513*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1514*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1515*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1516*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1517*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1518*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1519*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1520*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1521*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>control</string>
1522*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>edges</key>
1523*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1524*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1525*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>start</key>
1526*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1527*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1528*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>78</integer>
1529*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1530*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1531*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1532*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1533*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>78</integer>
1534*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>3</integer>
1535*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1536*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1537*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1538*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>end</key>
1539*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1540*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1541*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>78</integer>
1542*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>6</integer>
1543*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1544*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1545*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1546*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>78</integer>
1547*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>6</integer>
1548*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1549*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1550*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1551*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1552*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1553*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1554*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1555*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>kind</key><string>event</string>
1556*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
1557*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1558*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>78</integer>
1559*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>6</integer>
1560*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1561*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1562*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>ranges</key>
1563*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1564*f4a2713aSLionel Sambuc // CHECK-NEXT: <array>
1565*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1566*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>78</integer>
1567*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>4</integer>
1568*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1569*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1570*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1571*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>78</integer>
1572*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>4</integer>
1573*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1574*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1575*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1576*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1577*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>depth</key><integer>1</integer>
1578*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>extended_message</key>
1579*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'a')</string>
1580*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>message</key>
1581*f4a2713aSLionel Sambuc // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'a')</string>
1582*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1583*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1584*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string>
1585*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>category</key><string>Logic error</string>
1586*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string>
1587*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
1588*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_context</key><string>null_deref</string>
1589*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>issue_hash</key><string>3</string>
1590*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>location</key>
1591*f4a2713aSLionel Sambuc // CHECK-NEXT: <dict>
1592*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>line</key><integer>78</integer>
1593*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>col</key><integer>6</integer>
1594*f4a2713aSLionel Sambuc // CHECK-NEXT: <key>file</key><integer>0</integer>
1595*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1596*f4a2713aSLionel Sambuc // CHECK-NEXT: </dict>
1597*f4a2713aSLionel Sambuc // CHECK-NEXT: </array>
1598