xref: /aosp_15_r20/external/clang/test/Analysis/inlining/eager-reclamation-path-notes.cpp (revision 67e74705e28f6214e480b399dd47ea732279e315)
1*67e74705SXin Li // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=text -analyzer-config graph-trim-interval=5 -analyzer-config suppress-null-return-paths=false -verify %s
2*67e74705SXin Li // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=plist-multi-file -analyzer-config graph-trim-interval=5 -analyzer-config suppress-null-return-paths=false -analyzer-config path-diagnostics-alternate=false %s -o %t.plist
3*67e74705SXin Li // RUN: FileCheck --input-file=%t.plist %s
4*67e74705SXin Li 
5*67e74705SXin Li typedef struct {
6*67e74705SXin Li   int getValue();
7*67e74705SXin Li } IntWrapper;
8*67e74705SXin Li 
getNullWrapper()9*67e74705SXin Li IntWrapper *getNullWrapper() {
10*67e74705SXin Li   return 0;
11*67e74705SXin Li   // expected-note@-1 {{Returning null pointer}}
12*67e74705SXin Li }
13*67e74705SXin Li 
memberCallBaseDisappears()14*67e74705SXin Li int memberCallBaseDisappears() {
15*67e74705SXin Li   // In this case, we need the lvalue-to-rvalue cast for 'ptr' to disappear,
16*67e74705SXin Li   // which means we need to trigger reclamation between that and the ->
17*67e74705SXin Li   // operator.
18*67e74705SXin Li   //
19*67e74705SXin Li   // Note that this test is EXTREMELY brittle because it's a negative test:
20*67e74705SXin Li   // we want to show that even if the node for the rvalue of 'ptr' disappears,
21*67e74705SXin Li   // we get the same results as if it doesn't. The test should never fail even
22*67e74705SXin Li   // if our node reclamation policy changes, but it could easily not be testing
23*67e74705SXin Li   // anything at that point.
24*67e74705SXin Li   IntWrapper *ptr = getNullWrapper();
25*67e74705SXin Li   // expected-note@-1 {{Calling 'getNullWrapper'}}
26*67e74705SXin Li   // expected-note@-2 {{Returning from 'getNullWrapper'}}
27*67e74705SXin Li   // expected-note@-3 {{'ptr' initialized to a null pointer value}}
28*67e74705SXin Li 
29*67e74705SXin Li   // Burn some nodes to trigger reclamation.
30*67e74705SXin Li   int unused = 1;
31*67e74705SXin Li   (void)unused;
32*67e74705SXin Li 
33*67e74705SXin Li   return ptr->getValue(); // expected-warning {{Called C++ object pointer is null}}
34*67e74705SXin Li   // expected-note@-1 {{Called C++ object pointer is null}}
35*67e74705SXin Li }
36*67e74705SXin Li 
37*67e74705SXin Li // CHECK:  <key>diagnostics</key>
38*67e74705SXin Li // CHECK-NEXT:  <array>
39*67e74705SXin Li // CHECK-NEXT:   <dict>
40*67e74705SXin Li // CHECK-NEXT:    <key>path</key>
41*67e74705SXin Li // CHECK-NEXT:    <array>
42*67e74705SXin Li // CHECK-NEXT:     <dict>
43*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>control</string>
44*67e74705SXin Li // CHECK-NEXT:      <key>edges</key>
45*67e74705SXin Li // CHECK-NEXT:       <array>
46*67e74705SXin Li // CHECK-NEXT:        <dict>
47*67e74705SXin Li // CHECK-NEXT:         <key>start</key>
48*67e74705SXin Li // CHECK-NEXT:          <array>
49*67e74705SXin Li // CHECK-NEXT:           <dict>
50*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>24</integer>
51*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
52*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
53*67e74705SXin Li // CHECK-NEXT:           </dict>
54*67e74705SXin Li // CHECK-NEXT:           <dict>
55*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>24</integer>
56*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>12</integer>
57*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
58*67e74705SXin Li // CHECK-NEXT:           </dict>
59*67e74705SXin Li // CHECK-NEXT:          </array>
60*67e74705SXin Li // CHECK-NEXT:         <key>end</key>
61*67e74705SXin Li // CHECK-NEXT:          <array>
62*67e74705SXin Li // CHECK-NEXT:           <dict>
63*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>24</integer>
64*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>21</integer>
65*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
66*67e74705SXin Li // CHECK-NEXT:           </dict>
67*67e74705SXin Li // CHECK-NEXT:           <dict>
68*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>24</integer>
69*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>34</integer>
70*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
71*67e74705SXin Li // CHECK-NEXT:           </dict>
72*67e74705SXin Li // CHECK-NEXT:          </array>
73*67e74705SXin Li // CHECK-NEXT:        </dict>
74*67e74705SXin Li // CHECK-NEXT:       </array>
75*67e74705SXin Li // CHECK-NEXT:     </dict>
76*67e74705SXin Li // CHECK-NEXT:     <dict>
77*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
78*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
79*67e74705SXin Li // CHECK-NEXT:      <dict>
80*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>24</integer>
81*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>21</integer>
82*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
83*67e74705SXin Li // CHECK-NEXT:      </dict>
84*67e74705SXin Li // CHECK-NEXT:      <key>ranges</key>
85*67e74705SXin Li // CHECK-NEXT:      <array>
86*67e74705SXin Li // CHECK-NEXT:        <array>
87*67e74705SXin Li // CHECK-NEXT:         <dict>
88*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>24</integer>
89*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>21</integer>
90*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
91*67e74705SXin Li // CHECK-NEXT:         </dict>
92*67e74705SXin Li // CHECK-NEXT:         <dict>
93*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>24</integer>
94*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>36</integer>
95*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
96*67e74705SXin Li // CHECK-NEXT:         </dict>
97*67e74705SXin Li // CHECK-NEXT:        </array>
98*67e74705SXin Li // CHECK-NEXT:      </array>
99*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>0</integer>
100*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
101*67e74705SXin Li // CHECK-NEXT:      <string>Calling &apos;getNullWrapper&apos;</string>
102*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
103*67e74705SXin Li // CHECK-NEXT:      <string>Calling &apos;getNullWrapper&apos;</string>
104*67e74705SXin Li // CHECK-NEXT:     </dict>
105*67e74705SXin Li // CHECK-NEXT:     <dict>
106*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
107*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
108*67e74705SXin Li // CHECK-NEXT:      <dict>
109*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>9</integer>
110*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>1</integer>
111*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
112*67e74705SXin Li // CHECK-NEXT:      </dict>
113*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>1</integer>
114*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
115*67e74705SXin Li // CHECK-NEXT:      <string>Entered call from &apos;memberCallBaseDisappears&apos;</string>
116*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
117*67e74705SXin Li // CHECK-NEXT:      <string>Entered call from &apos;memberCallBaseDisappears&apos;</string>
118*67e74705SXin Li // CHECK-NEXT:     </dict>
119*67e74705SXin Li // CHECK-NEXT:     <dict>
120*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>control</string>
121*67e74705SXin Li // CHECK-NEXT:      <key>edges</key>
122*67e74705SXin Li // CHECK-NEXT:       <array>
123*67e74705SXin Li // CHECK-NEXT:        <dict>
124*67e74705SXin Li // CHECK-NEXT:         <key>start</key>
125*67e74705SXin Li // CHECK-NEXT:          <array>
126*67e74705SXin Li // CHECK-NEXT:           <dict>
127*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>9</integer>
128*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>1</integer>
129*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
130*67e74705SXin Li // CHECK-NEXT:           </dict>
131*67e74705SXin Li // CHECK-NEXT:           <dict>
132*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>9</integer>
133*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>10</integer>
134*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
135*67e74705SXin Li // CHECK-NEXT:           </dict>
136*67e74705SXin Li // CHECK-NEXT:          </array>
137*67e74705SXin Li // CHECK-NEXT:         <key>end</key>
138*67e74705SXin Li // CHECK-NEXT:          <array>
139*67e74705SXin Li // CHECK-NEXT:           <dict>
140*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>10</integer>
141*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
142*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
143*67e74705SXin Li // CHECK-NEXT:           </dict>
144*67e74705SXin Li // CHECK-NEXT:           <dict>
145*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>10</integer>
146*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>8</integer>
147*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
148*67e74705SXin Li // CHECK-NEXT:           </dict>
149*67e74705SXin Li // CHECK-NEXT:          </array>
150*67e74705SXin Li // CHECK-NEXT:        </dict>
151*67e74705SXin Li // CHECK-NEXT:       </array>
152*67e74705SXin Li // CHECK-NEXT:     </dict>
153*67e74705SXin Li // CHECK-NEXT:     <dict>
154*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
155*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
156*67e74705SXin Li // CHECK-NEXT:      <dict>
157*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>10</integer>
158*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>3</integer>
159*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
160*67e74705SXin Li // CHECK-NEXT:      </dict>
161*67e74705SXin Li // CHECK-NEXT:      <key>ranges</key>
162*67e74705SXin Li // CHECK-NEXT:      <array>
163*67e74705SXin Li // CHECK-NEXT:        <array>
164*67e74705SXin Li // CHECK-NEXT:         <dict>
165*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>10</integer>
166*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>3</integer>
167*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
168*67e74705SXin Li // CHECK-NEXT:         </dict>
169*67e74705SXin Li // CHECK-NEXT:         <dict>
170*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>10</integer>
171*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>10</integer>
172*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
173*67e74705SXin Li // CHECK-NEXT:         </dict>
174*67e74705SXin Li // CHECK-NEXT:        </array>
175*67e74705SXin Li // CHECK-NEXT:      </array>
176*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>1</integer>
177*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
178*67e74705SXin Li // CHECK-NEXT:      <string>Returning null pointer</string>
179*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
180*67e74705SXin Li // CHECK-NEXT:      <string>Returning null pointer</string>
181*67e74705SXin Li // CHECK-NEXT:     </dict>
182*67e74705SXin Li // CHECK-NEXT:     <dict>
183*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
184*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
185*67e74705SXin Li // CHECK-NEXT:      <dict>
186*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>24</integer>
187*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>21</integer>
188*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
189*67e74705SXin Li // CHECK-NEXT:      </dict>
190*67e74705SXin Li // CHECK-NEXT:      <key>ranges</key>
191*67e74705SXin Li // CHECK-NEXT:      <array>
192*67e74705SXin Li // CHECK-NEXT:        <array>
193*67e74705SXin Li // CHECK-NEXT:         <dict>
194*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>24</integer>
195*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>21</integer>
196*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
197*67e74705SXin Li // CHECK-NEXT:         </dict>
198*67e74705SXin Li // CHECK-NEXT:         <dict>
199*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>24</integer>
200*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>36</integer>
201*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
202*67e74705SXin Li // CHECK-NEXT:         </dict>
203*67e74705SXin Li // CHECK-NEXT:        </array>
204*67e74705SXin Li // CHECK-NEXT:      </array>
205*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>0</integer>
206*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
207*67e74705SXin Li // CHECK-NEXT:      <string>Returning from &apos;getNullWrapper&apos;</string>
208*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
209*67e74705SXin Li // CHECK-NEXT:      <string>Returning from &apos;getNullWrapper&apos;</string>
210*67e74705SXin Li // CHECK-NEXT:     </dict>
211*67e74705SXin Li // CHECK-NEXT:     <dict>
212*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>control</string>
213*67e74705SXin Li // CHECK-NEXT:      <key>edges</key>
214*67e74705SXin Li // CHECK-NEXT:       <array>
215*67e74705SXin Li // CHECK-NEXT:        <dict>
216*67e74705SXin Li // CHECK-NEXT:         <key>start</key>
217*67e74705SXin Li // CHECK-NEXT:          <array>
218*67e74705SXin Li // CHECK-NEXT:           <dict>
219*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>24</integer>
220*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>21</integer>
221*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
222*67e74705SXin Li // CHECK-NEXT:           </dict>
223*67e74705SXin Li // CHECK-NEXT:           <dict>
224*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>24</integer>
225*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>34</integer>
226*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
227*67e74705SXin Li // CHECK-NEXT:           </dict>
228*67e74705SXin Li // CHECK-NEXT:          </array>
229*67e74705SXin Li // CHECK-NEXT:         <key>end</key>
230*67e74705SXin Li // CHECK-NEXT:          <array>
231*67e74705SXin Li // CHECK-NEXT:           <dict>
232*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>24</integer>
233*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
234*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
235*67e74705SXin Li // CHECK-NEXT:           </dict>
236*67e74705SXin Li // CHECK-NEXT:           <dict>
237*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>24</integer>
238*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>12</integer>
239*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
240*67e74705SXin Li // CHECK-NEXT:           </dict>
241*67e74705SXin Li // CHECK-NEXT:          </array>
242*67e74705SXin Li // CHECK-NEXT:        </dict>
243*67e74705SXin Li // CHECK-NEXT:       </array>
244*67e74705SXin Li // CHECK-NEXT:     </dict>
245*67e74705SXin Li // CHECK-NEXT:     <dict>
246*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
247*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
248*67e74705SXin Li // CHECK-NEXT:      <dict>
249*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>24</integer>
250*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>3</integer>
251*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
252*67e74705SXin Li // CHECK-NEXT:      </dict>
253*67e74705SXin Li // CHECK-NEXT:      <key>ranges</key>
254*67e74705SXin Li // CHECK-NEXT:      <array>
255*67e74705SXin Li // CHECK-NEXT:        <array>
256*67e74705SXin Li // CHECK-NEXT:         <dict>
257*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>24</integer>
258*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>3</integer>
259*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
260*67e74705SXin Li // CHECK-NEXT:         </dict>
261*67e74705SXin Li // CHECK-NEXT:         <dict>
262*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>24</integer>
263*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>17</integer>
264*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
265*67e74705SXin Li // CHECK-NEXT:         </dict>
266*67e74705SXin Li // CHECK-NEXT:        </array>
267*67e74705SXin Li // CHECK-NEXT:      </array>
268*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>0</integer>
269*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
270*67e74705SXin Li // CHECK-NEXT:      <string>&apos;ptr&apos; initialized to a null pointer value</string>
271*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
272*67e74705SXin Li // CHECK-NEXT:      <string>&apos;ptr&apos; initialized to a null pointer value</string>
273*67e74705SXin Li // CHECK-NEXT:     </dict>
274*67e74705SXin Li // CHECK-NEXT:     <dict>
275*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>control</string>
276*67e74705SXin Li // CHECK-NEXT:      <key>edges</key>
277*67e74705SXin Li // CHECK-NEXT:       <array>
278*67e74705SXin Li // CHECK-NEXT:        <dict>
279*67e74705SXin Li // CHECK-NEXT:         <key>start</key>
280*67e74705SXin Li // CHECK-NEXT:          <array>
281*67e74705SXin Li // CHECK-NEXT:           <dict>
282*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>24</integer>
283*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
284*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
285*67e74705SXin Li // CHECK-NEXT:           </dict>
286*67e74705SXin Li // CHECK-NEXT:           <dict>
287*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>24</integer>
288*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>12</integer>
289*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
290*67e74705SXin Li // CHECK-NEXT:           </dict>
291*67e74705SXin Li // CHECK-NEXT:          </array>
292*67e74705SXin Li // CHECK-NEXT:         <key>end</key>
293*67e74705SXin Li // CHECK-NEXT:          <array>
294*67e74705SXin Li // CHECK-NEXT:           <dict>
295*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>33</integer>
296*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
297*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
298*67e74705SXin Li // CHECK-NEXT:           </dict>
299*67e74705SXin Li // CHECK-NEXT:           <dict>
300*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>33</integer>
301*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>8</integer>
302*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
303*67e74705SXin Li // CHECK-NEXT:           </dict>
304*67e74705SXin Li // CHECK-NEXT:          </array>
305*67e74705SXin Li // CHECK-NEXT:        </dict>
306*67e74705SXin Li // CHECK-NEXT:       </array>
307*67e74705SXin Li // CHECK-NEXT:     </dict>
308*67e74705SXin Li // CHECK-NEXT:     <dict>
309*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>control</string>
310*67e74705SXin Li // CHECK-NEXT:      <key>edges</key>
311*67e74705SXin Li // CHECK-NEXT:       <array>
312*67e74705SXin Li // CHECK-NEXT:        <dict>
313*67e74705SXin Li // CHECK-NEXT:         <key>start</key>
314*67e74705SXin Li // CHECK-NEXT:          <array>
315*67e74705SXin Li // CHECK-NEXT:           <dict>
316*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>33</integer>
317*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
318*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
319*67e74705SXin Li // CHECK-NEXT:           </dict>
320*67e74705SXin Li // CHECK-NEXT:           <dict>
321*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>33</integer>
322*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>8</integer>
323*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
324*67e74705SXin Li // CHECK-NEXT:           </dict>
325*67e74705SXin Li // CHECK-NEXT:          </array>
326*67e74705SXin Li // CHECK-NEXT:         <key>end</key>
327*67e74705SXin Li // CHECK-NEXT:          <array>
328*67e74705SXin Li // CHECK-NEXT:           <dict>
329*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>33</integer>
330*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>10</integer>
331*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
332*67e74705SXin Li // CHECK-NEXT:           </dict>
333*67e74705SXin Li // CHECK-NEXT:           <dict>
334*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>33</integer>
335*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>12</integer>
336*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
337*67e74705SXin Li // CHECK-NEXT:           </dict>
338*67e74705SXin Li // CHECK-NEXT:          </array>
339*67e74705SXin Li // CHECK-NEXT:        </dict>
340*67e74705SXin Li // CHECK-NEXT:       </array>
341*67e74705SXin Li // CHECK-NEXT:     </dict>
342*67e74705SXin Li // CHECK-NEXT:     <dict>
343*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
344*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
345*67e74705SXin Li // CHECK-NEXT:      <dict>
346*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>33</integer>
347*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>10</integer>
348*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
349*67e74705SXin Li // CHECK-NEXT:      </dict>
350*67e74705SXin Li // CHECK-NEXT:      <key>ranges</key>
351*67e74705SXin Li // CHECK-NEXT:      <array>
352*67e74705SXin Li // CHECK-NEXT:        <array>
353*67e74705SXin Li // CHECK-NEXT:         <dict>
354*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>33</integer>
355*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>10</integer>
356*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
357*67e74705SXin Li // CHECK-NEXT:         </dict>
358*67e74705SXin Li // CHECK-NEXT:         <dict>
359*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>33</integer>
360*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>12</integer>
361*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
362*67e74705SXin Li // CHECK-NEXT:         </dict>
363*67e74705SXin Li // CHECK-NEXT:        </array>
364*67e74705SXin Li // CHECK-NEXT:      </array>
365*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>0</integer>
366*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
367*67e74705SXin Li // CHECK-NEXT:      <string>Called C++ object pointer is null</string>
368*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
369*67e74705SXin Li // CHECK-NEXT:      <string>Called C++ object pointer is null</string>
370*67e74705SXin Li // CHECK-NEXT:     </dict>
371*67e74705SXin Li // CHECK-NEXT:    </array>
372*67e74705SXin Li // CHECK-NEXT:    <key>description</key><string>Called C++ object pointer is null</string>
373*67e74705SXin Li // CHECK-NEXT:    <key>category</key><string>Logic error</string>
374*67e74705SXin Li // CHECK-NEXT:    <key>type</key><string>Called C++ object pointer is null</string>
375*67e74705SXin Li // CHECK-NEXT:    <key>check_name</key><string>core.CallAndMessage</string>
376*67e74705SXin Li // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
377*67e74705SXin Li // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>f4a4cee851880ebbe93d3b657920ebe9</string>
378*67e74705SXin Li // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
379*67e74705SXin Li // CHECK-NEXT:   <key>issue_context</key><string>memberCallBaseDisappears</string>
380*67e74705SXin Li // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>19</string>
381*67e74705SXin Li // CHECK-NEXT:   <key>location</key>
382*67e74705SXin Li // CHECK-NEXT:   <dict>
383*67e74705SXin Li // CHECK-NEXT:    <key>line</key><integer>33</integer>
384*67e74705SXin Li // CHECK-NEXT:    <key>col</key><integer>10</integer>
385*67e74705SXin Li // CHECK-NEXT:    <key>file</key><integer>0</integer>
386*67e74705SXin Li // CHECK-NEXT:   </dict>
387*67e74705SXin Li // CHECK-NEXT:   </dict>
388*67e74705SXin Li // CHECK-NEXT:  </array>
389