xref: /minix3/external/bsd/llvm/dist/clang/test/Analysis/inline-unique-reports.c (revision f4a2713ac843a11c696ec80c0a5e3e5d80b4d338) 
1*f4a2713aSLionel Sambuc // RUN: %clang --analyze %s -Xanalyzer -analyzer-config -Xanalyzer path-diagnostics-alternate=false -o %t > /dev/null 2>&1
2*f4a2713aSLionel Sambuc // RUN: FileCheck -input-file %t %s
3*f4a2713aSLionel Sambuc 
bug(int * p)4*f4a2713aSLionel Sambuc static inline bug(int *p) {
5*f4a2713aSLionel Sambuc   *p = 0xDEADBEEF;
6*f4a2713aSLionel Sambuc }
7*f4a2713aSLionel Sambuc 
test_bug_1()8*f4a2713aSLionel Sambuc void test_bug_1() {
9*f4a2713aSLionel Sambuc   int *p = 0;
10*f4a2713aSLionel Sambuc   bug(p);
11*f4a2713aSLionel Sambuc }
12*f4a2713aSLionel Sambuc 
test_bug_2()13*f4a2713aSLionel Sambuc void test_bug_2() {
14*f4a2713aSLionel Sambuc   int *p = 0;
15*f4a2713aSLionel Sambuc   bug(p);
16*f4a2713aSLionel Sambuc }
17*f4a2713aSLionel Sambuc 
18*f4a2713aSLionel Sambuc 
19*f4a2713aSLionel Sambuc // CHECK:  <key>diagnostics</key>
20*f4a2713aSLionel Sambuc // CHECK-NEXT:  <array>
21*f4a2713aSLionel Sambuc // CHECK-NEXT:   <dict>
22*f4a2713aSLionel Sambuc // CHECK-NEXT:    <key>path</key>
23*f4a2713aSLionel Sambuc // CHECK-NEXT:    <array>
24*f4a2713aSLionel Sambuc // CHECK-NEXT:     <dict>
25*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>kind</key><string>event</string>
26*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>location</key>
27*f4a2713aSLionel Sambuc // CHECK-NEXT:      <dict>
28*f4a2713aSLionel Sambuc // CHECK-NEXT:       <key>line</key><integer>14</integer>
29*f4a2713aSLionel Sambuc // CHECK-NEXT:       <key>col</key><integer>3</integer>
30*f4a2713aSLionel Sambuc // CHECK-NEXT:       <key>file</key><integer>0</integer>
31*f4a2713aSLionel Sambuc // CHECK-NEXT:      </dict>
32*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>ranges</key>
33*f4a2713aSLionel Sambuc // CHECK-NEXT:      <array>
34*f4a2713aSLionel Sambuc // CHECK-NEXT:        <array>
35*f4a2713aSLionel Sambuc // CHECK-NEXT:         <dict>
36*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>line</key><integer>14</integer>
37*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>col</key><integer>3</integer>
38*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>file</key><integer>0</integer>
39*f4a2713aSLionel Sambuc // CHECK-NEXT:         </dict>
40*f4a2713aSLionel Sambuc // CHECK-NEXT:         <dict>
41*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>line</key><integer>14</integer>
42*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>col</key><integer>8</integer>
43*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>file</key><integer>0</integer>
44*f4a2713aSLionel Sambuc // CHECK-NEXT:         </dict>
45*f4a2713aSLionel Sambuc // CHECK-NEXT:        </array>
46*f4a2713aSLionel Sambuc // CHECK-NEXT:      </array>
47*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>depth</key><integer>0</integer>
48*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>extended_message</key>
49*f4a2713aSLionel Sambuc // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
50*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>message</key>
51*f4a2713aSLionel Sambuc // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
52*f4a2713aSLionel Sambuc // CHECK-NEXT:     </dict>
53*f4a2713aSLionel Sambuc // CHECK-NEXT:     <dict>
54*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>kind</key><string>control</string>
55*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>edges</key>
56*f4a2713aSLionel Sambuc // CHECK-NEXT:       <array>
57*f4a2713aSLionel Sambuc // CHECK-NEXT:        <dict>
58*f4a2713aSLionel Sambuc // CHECK-NEXT:         <key>start</key>
59*f4a2713aSLionel Sambuc // CHECK-NEXT:          <array>
60*f4a2713aSLionel Sambuc // CHECK-NEXT:           <dict>
61*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>line</key><integer>14</integer>
62*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>col</key><integer>3</integer>
63*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>file</key><integer>0</integer>
64*f4a2713aSLionel Sambuc // CHECK-NEXT:           </dict>
65*f4a2713aSLionel Sambuc // CHECK-NEXT:           <dict>
66*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>line</key><integer>14</integer>
67*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>col</key><integer>5</integer>
68*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>file</key><integer>0</integer>
69*f4a2713aSLionel Sambuc // CHECK-NEXT:           </dict>
70*f4a2713aSLionel Sambuc // CHECK-NEXT:          </array>
71*f4a2713aSLionel Sambuc // CHECK-NEXT:         <key>end</key>
72*f4a2713aSLionel Sambuc // CHECK-NEXT:          <array>
73*f4a2713aSLionel Sambuc // CHECK-NEXT:           <dict>
74*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>line</key><integer>15</integer>
75*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>col</key><integer>3</integer>
76*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>file</key><integer>0</integer>
77*f4a2713aSLionel Sambuc // CHECK-NEXT:           </dict>
78*f4a2713aSLionel Sambuc // CHECK-NEXT:           <dict>
79*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>line</key><integer>15</integer>
80*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>col</key><integer>5</integer>
81*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>file</key><integer>0</integer>
82*f4a2713aSLionel Sambuc // CHECK-NEXT:           </dict>
83*f4a2713aSLionel Sambuc // CHECK-NEXT:          </array>
84*f4a2713aSLionel Sambuc // CHECK-NEXT:        </dict>
85*f4a2713aSLionel Sambuc // CHECK-NEXT:       </array>
86*f4a2713aSLionel Sambuc // CHECK-NEXT:     </dict>
87*f4a2713aSLionel Sambuc // CHECK-NEXT:     <dict>
88*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>kind</key><string>control</string>
89*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>edges</key>
90*f4a2713aSLionel Sambuc // CHECK-NEXT:       <array>
91*f4a2713aSLionel Sambuc // CHECK-NEXT:        <dict>
92*f4a2713aSLionel Sambuc // CHECK-NEXT:         <key>start</key>
93*f4a2713aSLionel Sambuc // CHECK-NEXT:          <array>
94*f4a2713aSLionel Sambuc // CHECK-NEXT:           <dict>
95*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>line</key><integer>15</integer>
96*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>col</key><integer>3</integer>
97*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>file</key><integer>0</integer>
98*f4a2713aSLionel Sambuc // CHECK-NEXT:           </dict>
99*f4a2713aSLionel Sambuc // CHECK-NEXT:           <dict>
100*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>line</key><integer>15</integer>
101*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>col</key><integer>5</integer>
102*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>file</key><integer>0</integer>
103*f4a2713aSLionel Sambuc // CHECK-NEXT:           </dict>
104*f4a2713aSLionel Sambuc // CHECK-NEXT:          </array>
105*f4a2713aSLionel Sambuc // CHECK-NEXT:         <key>end</key>
106*f4a2713aSLionel Sambuc // CHECK-NEXT:          <array>
107*f4a2713aSLionel Sambuc // CHECK-NEXT:           <dict>
108*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>line</key><integer>15</integer>
109*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>col</key><integer>7</integer>
110*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>file</key><integer>0</integer>
111*f4a2713aSLionel Sambuc // CHECK-NEXT:           </dict>
112*f4a2713aSLionel Sambuc // CHECK-NEXT:           <dict>
113*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>line</key><integer>15</integer>
114*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>col</key><integer>7</integer>
115*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>file</key><integer>0</integer>
116*f4a2713aSLionel Sambuc // CHECK-NEXT:           </dict>
117*f4a2713aSLionel Sambuc // CHECK-NEXT:          </array>
118*f4a2713aSLionel Sambuc // CHECK-NEXT:        </dict>
119*f4a2713aSLionel Sambuc // CHECK-NEXT:       </array>
120*f4a2713aSLionel Sambuc // CHECK-NEXT:     </dict>
121*f4a2713aSLionel Sambuc // CHECK-NEXT:     <dict>
122*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>kind</key><string>event</string>
123*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>location</key>
124*f4a2713aSLionel Sambuc // CHECK-NEXT:      <dict>
125*f4a2713aSLionel Sambuc // CHECK-NEXT:       <key>line</key><integer>15</integer>
126*f4a2713aSLionel Sambuc // CHECK-NEXT:       <key>col</key><integer>7</integer>
127*f4a2713aSLionel Sambuc // CHECK-NEXT:       <key>file</key><integer>0</integer>
128*f4a2713aSLionel Sambuc // CHECK-NEXT:      </dict>
129*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>ranges</key>
130*f4a2713aSLionel Sambuc // CHECK-NEXT:      <array>
131*f4a2713aSLionel Sambuc // CHECK-NEXT:        <array>
132*f4a2713aSLionel Sambuc // CHECK-NEXT:         <dict>
133*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>line</key><integer>15</integer>
134*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>col</key><integer>7</integer>
135*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>file</key><integer>0</integer>
136*f4a2713aSLionel Sambuc // CHECK-NEXT:         </dict>
137*f4a2713aSLionel Sambuc // CHECK-NEXT:         <dict>
138*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>line</key><integer>15</integer>
139*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>col</key><integer>7</integer>
140*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>file</key><integer>0</integer>
141*f4a2713aSLionel Sambuc // CHECK-NEXT:         </dict>
142*f4a2713aSLionel Sambuc // CHECK-NEXT:        </array>
143*f4a2713aSLionel Sambuc // CHECK-NEXT:      </array>
144*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>depth</key><integer>0</integer>
145*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>extended_message</key>
146*f4a2713aSLionel Sambuc // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
147*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>message</key>
148*f4a2713aSLionel Sambuc // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
149*f4a2713aSLionel Sambuc // CHECK-NEXT:     </dict>
150*f4a2713aSLionel Sambuc // CHECK-NEXT:     <dict>
151*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>kind</key><string>event</string>
152*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>location</key>
153*f4a2713aSLionel Sambuc // CHECK-NEXT:      <dict>
154*f4a2713aSLionel Sambuc // CHECK-NEXT:       <key>line</key><integer>15</integer>
155*f4a2713aSLionel Sambuc // CHECK-NEXT:       <key>col</key><integer>3</integer>
156*f4a2713aSLionel Sambuc // CHECK-NEXT:       <key>file</key><integer>0</integer>
157*f4a2713aSLionel Sambuc // CHECK-NEXT:      </dict>
158*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>ranges</key>
159*f4a2713aSLionel Sambuc // CHECK-NEXT:      <array>
160*f4a2713aSLionel Sambuc // CHECK-NEXT:        <array>
161*f4a2713aSLionel Sambuc // CHECK-NEXT:         <dict>
162*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>line</key><integer>15</integer>
163*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>col</key><integer>3</integer>
164*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>file</key><integer>0</integer>
165*f4a2713aSLionel Sambuc // CHECK-NEXT:         </dict>
166*f4a2713aSLionel Sambuc // CHECK-NEXT:         <dict>
167*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>line</key><integer>15</integer>
168*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>col</key><integer>8</integer>
169*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>file</key><integer>0</integer>
170*f4a2713aSLionel Sambuc // CHECK-NEXT:         </dict>
171*f4a2713aSLionel Sambuc // CHECK-NEXT:        </array>
172*f4a2713aSLionel Sambuc // CHECK-NEXT:      </array>
173*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>depth</key><integer>0</integer>
174*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>extended_message</key>
175*f4a2713aSLionel Sambuc // CHECK-NEXT:      <string>Calling &apos;bug&apos;</string>
176*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>message</key>
177*f4a2713aSLionel Sambuc // CHECK-NEXT:      <string>Calling &apos;bug&apos;</string>
178*f4a2713aSLionel Sambuc // CHECK-NEXT:     </dict>
179*f4a2713aSLionel Sambuc // CHECK-NEXT:     <dict>
180*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>kind</key><string>event</string>
181*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>location</key>
182*f4a2713aSLionel Sambuc // CHECK-NEXT:      <dict>
183*f4a2713aSLionel Sambuc // CHECK-NEXT:       <key>line</key><integer>4</integer>
184*f4a2713aSLionel Sambuc // CHECK-NEXT:       <key>col</key><integer>1</integer>
185*f4a2713aSLionel Sambuc // CHECK-NEXT:       <key>file</key><integer>0</integer>
186*f4a2713aSLionel Sambuc // CHECK-NEXT:      </dict>
187*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>depth</key><integer>1</integer>
188*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>extended_message</key>
189*f4a2713aSLionel Sambuc // CHECK-NEXT:      <string>Entered call from &apos;test_bug_2&apos;</string>
190*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>message</key>
191*f4a2713aSLionel Sambuc // CHECK-NEXT:      <string>Entered call from &apos;test_bug_2&apos;</string>
192*f4a2713aSLionel Sambuc // CHECK-NEXT:     </dict>
193*f4a2713aSLionel Sambuc // CHECK-NEXT:     <dict>
194*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>kind</key><string>control</string>
195*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>edges</key>
196*f4a2713aSLionel Sambuc // CHECK-NEXT:       <array>
197*f4a2713aSLionel Sambuc // CHECK-NEXT:        <dict>
198*f4a2713aSLionel Sambuc // CHECK-NEXT:         <key>start</key>
199*f4a2713aSLionel Sambuc // CHECK-NEXT:          <array>
200*f4a2713aSLionel Sambuc // CHECK-NEXT:           <dict>
201*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>line</key><integer>4</integer>
202*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>col</key><integer>1</integer>
203*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>file</key><integer>0</integer>
204*f4a2713aSLionel Sambuc // CHECK-NEXT:           </dict>
205*f4a2713aSLionel Sambuc // CHECK-NEXT:           <dict>
206*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>line</key><integer>4</integer>
207*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>col</key><integer>6</integer>
208*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>file</key><integer>0</integer>
209*f4a2713aSLionel Sambuc // CHECK-NEXT:           </dict>
210*f4a2713aSLionel Sambuc // CHECK-NEXT:          </array>
211*f4a2713aSLionel Sambuc // CHECK-NEXT:         <key>end</key>
212*f4a2713aSLionel Sambuc // CHECK-NEXT:          <array>
213*f4a2713aSLionel Sambuc // CHECK-NEXT:           <dict>
214*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>line</key><integer>5</integer>
215*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>col</key><integer>3</integer>
216*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>file</key><integer>0</integer>
217*f4a2713aSLionel Sambuc // CHECK-NEXT:           </dict>
218*f4a2713aSLionel Sambuc // CHECK-NEXT:           <dict>
219*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>line</key><integer>5</integer>
220*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>col</key><integer>3</integer>
221*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>file</key><integer>0</integer>
222*f4a2713aSLionel Sambuc // CHECK-NEXT:           </dict>
223*f4a2713aSLionel Sambuc // CHECK-NEXT:          </array>
224*f4a2713aSLionel Sambuc // CHECK-NEXT:        </dict>
225*f4a2713aSLionel Sambuc // CHECK-NEXT:       </array>
226*f4a2713aSLionel Sambuc // CHECK-NEXT:     </dict>
227*f4a2713aSLionel Sambuc // CHECK-NEXT:     <dict>
228*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>kind</key><string>control</string>
229*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>edges</key>
230*f4a2713aSLionel Sambuc // CHECK-NEXT:       <array>
231*f4a2713aSLionel Sambuc // CHECK-NEXT:        <dict>
232*f4a2713aSLionel Sambuc // CHECK-NEXT:         <key>start</key>
233*f4a2713aSLionel Sambuc // CHECK-NEXT:          <array>
234*f4a2713aSLionel Sambuc // CHECK-NEXT:           <dict>
235*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>line</key><integer>5</integer>
236*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>col</key><integer>3</integer>
237*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>file</key><integer>0</integer>
238*f4a2713aSLionel Sambuc // CHECK-NEXT:           </dict>
239*f4a2713aSLionel Sambuc // CHECK-NEXT:           <dict>
240*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>line</key><integer>5</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:          </array>
245*f4a2713aSLionel Sambuc // CHECK-NEXT:         <key>end</key>
246*f4a2713aSLionel Sambuc // CHECK-NEXT:          <array>
247*f4a2713aSLionel Sambuc // CHECK-NEXT:           <dict>
248*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>line</key><integer>5</integer>
249*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>col</key><integer>6</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>5</integer>
254*f4a2713aSLionel Sambuc // CHECK-NEXT:            <key>col</key><integer>6</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:        </dict>
259*f4a2713aSLionel Sambuc // CHECK-NEXT:       </array>
260*f4a2713aSLionel Sambuc // CHECK-NEXT:     </dict>
261*f4a2713aSLionel Sambuc // CHECK-NEXT:     <dict>
262*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>kind</key><string>event</string>
263*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>location</key>
264*f4a2713aSLionel Sambuc // CHECK-NEXT:      <dict>
265*f4a2713aSLionel Sambuc // CHECK-NEXT:       <key>line</key><integer>5</integer>
266*f4a2713aSLionel Sambuc // CHECK-NEXT:       <key>col</key><integer>6</integer>
267*f4a2713aSLionel Sambuc // CHECK-NEXT:       <key>file</key><integer>0</integer>
268*f4a2713aSLionel Sambuc // CHECK-NEXT:      </dict>
269*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>ranges</key>
270*f4a2713aSLionel Sambuc // CHECK-NEXT:      <array>
271*f4a2713aSLionel Sambuc // CHECK-NEXT:        <array>
272*f4a2713aSLionel Sambuc // CHECK-NEXT:         <dict>
273*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>line</key><integer>5</integer>
274*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>col</key><integer>4</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>5</integer>
279*f4a2713aSLionel Sambuc // CHECK-NEXT:          <key>col</key><integer>4</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:      </array>
284*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>depth</key><integer>1</integer>
285*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>extended_message</key>
286*f4a2713aSLionel Sambuc // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
287*f4a2713aSLionel Sambuc // CHECK-NEXT:      <key>message</key>
288*f4a2713aSLionel Sambuc // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
289*f4a2713aSLionel Sambuc // CHECK-NEXT:     </dict>
290*f4a2713aSLionel Sambuc // CHECK-NEXT:    </array>
291*f4a2713aSLionel Sambuc // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
292*f4a2713aSLionel Sambuc // CHECK-NEXT:    <key>category</key><string>Logic error</string>
293*f4a2713aSLionel Sambuc // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
294*f4a2713aSLionel Sambuc // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
295*f4a2713aSLionel Sambuc // CHECK-NEXT:   <key>issue_context</key><string>bug</string>
296*f4a2713aSLionel Sambuc // CHECK-NEXT:   <key>issue_hash</key><string>1</string>
297*f4a2713aSLionel Sambuc // CHECK-NEXT:   <key>location</key>
298*f4a2713aSLionel Sambuc // CHECK-NEXT:   <dict>
299*f4a2713aSLionel Sambuc // CHECK-NEXT:    <key>line</key><integer>5</integer>
300*f4a2713aSLionel Sambuc // CHECK-NEXT:    <key>col</key><integer>6</integer>
301*f4a2713aSLionel Sambuc // CHECK-NEXT:    <key>file</key><integer>0</integer>
302*f4a2713aSLionel Sambuc // CHECK-NEXT:   </dict>
303*f4a2713aSLionel Sambuc // CHECK-NEXT:   </dict>
304*f4a2713aSLionel Sambuc // CHECK-NEXT:  </array>
305