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