1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-config faux-bodies=true,model-path=%S/Inputs/Models -analyzer-output=plist-multi-file -verify %s -o %t
2 // RUN: FileCheck --input-file=%t %s
3 
4 typedef int* intptr;
5 
6 // This function is modeled and the p pointer is dereferenced in the model
7 // function and there is no function definition available. The modeled
8 // function can use any types that are available in the original translation
9 // unit, for example intptr in this case.
10 void modeledFunction(intptr p);
11 
12 // This function is modeled and returns true if the parameter is not zero
13 // and there is no function definition available.
14 bool notzero(int i);
15 
16 // This functions is not modeled and there is no function definition.
17 // available
18 bool notzero_notmodeled(int i);
19 
20 int main() {
21   // There is a nullpointer dereference inside this function.
22   modeledFunction(0);
23 
24   int p = 0;
25   if (notzero(p)) {
26    // It is known that p != 0 because of the information provided by the
27    // model of the notzero function.
28     int j = 5 / p;
29   }
30 
31   if (notzero_notmodeled(p)) {
32    // There is no information about the value of p, because
33    // notzero_notmodeled is not modeled and the function definition
34    // is not available.
35     int j = 5 / p; // expected-warning {{Division by zero}}
36   }
37 
38   return 0;
39 }
40 
41 // CHECK:  <key>diagnostics</key>
42 // CHECK-NEXT:  <array>
43 // CHECK-NEXT:   <dict>
44 // CHECK-NEXT:    <key>path</key>
45 // CHECK-NEXT:    <array>
46 // CHECK-NEXT:     <dict>
47 // CHECK-NEXT:      <key>kind</key><string>control</string>
48 // CHECK-NEXT:      <key>edges</key>
49 // CHECK-NEXT:       <array>
50 // CHECK-NEXT:        <dict>
51 // CHECK-NEXT:         <key>start</key>
52 // CHECK-NEXT:          <array>
53 // CHECK-NEXT:           <dict>
54 // CHECK-NEXT:            <key>line</key><integer>22</integer>
55 // CHECK-NEXT:            <key>col</key><integer>3</integer>
56 // CHECK-NEXT:            <key>file</key><integer>0</integer>
57 // CHECK-NEXT:           </dict>
58 // CHECK-NEXT:           <dict>
59 // CHECK-NEXT:            <key>line</key><integer>22</integer>
60 // CHECK-NEXT:            <key>col</key><integer>17</integer>
61 // CHECK-NEXT:            <key>file</key><integer>0</integer>
62 // CHECK-NEXT:           </dict>
63 // CHECK-NEXT:          </array>
64 // CHECK-NEXT:         <key>end</key>
65 // CHECK-NEXT:          <array>
66 // CHECK-NEXT:           <dict>
67 // CHECK-NEXT:            <key>line</key><integer>24</integer>
68 // CHECK-NEXT:            <key>col</key><integer>3</integer>
69 // CHECK-NEXT:            <key>file</key><integer>0</integer>
70 // CHECK-NEXT:           </dict>
71 // CHECK-NEXT:           <dict>
72 // CHECK-NEXT:            <key>line</key><integer>24</integer>
73 // CHECK-NEXT:            <key>col</key><integer>5</integer>
74 // CHECK-NEXT:            <key>file</key><integer>0</integer>
75 // CHECK-NEXT:           </dict>
76 // CHECK-NEXT:          </array>
77 // CHECK-NEXT:        </dict>
78 // CHECK-NEXT:       </array>
79 // CHECK-NEXT:     </dict>
80 // CHECK-NEXT:     <dict>
81 // CHECK-NEXT:      <key>kind</key><string>event</string>
82 // CHECK-NEXT:      <key>location</key>
83 // CHECK-NEXT:      <dict>
84 // CHECK-NEXT:       <key>line</key><integer>24</integer>
85 // CHECK-NEXT:       <key>col</key><integer>3</integer>
86 // CHECK-NEXT:       <key>file</key><integer>0</integer>
87 // CHECK-NEXT:      </dict>
88 // CHECK-NEXT:      <key>ranges</key>
89 // CHECK-NEXT:      <array>
90 // CHECK-NEXT:        <array>
91 // CHECK-NEXT:         <dict>
92 // CHECK-NEXT:          <key>line</key><integer>24</integer>
93 // CHECK-NEXT:          <key>col</key><integer>3</integer>
94 // CHECK-NEXT:          <key>file</key><integer>0</integer>
95 // CHECK-NEXT:         </dict>
96 // CHECK-NEXT:         <dict>
97 // CHECK-NEXT:          <key>line</key><integer>24</integer>
98 // CHECK-NEXT:          <key>col</key><integer>7</integer>
99 // CHECK-NEXT:          <key>file</key><integer>0</integer>
100 // CHECK-NEXT:         </dict>
101 // CHECK-NEXT:        </array>
102 // CHECK-NEXT:      </array>
103 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
104 // CHECK-NEXT:      <key>extended_message</key>
105 // CHECK-NEXT:      <string>&apos;p&apos; initialized to 0</string>
106 // CHECK-NEXT:      <key>message</key>
107 // CHECK-NEXT:      <string>&apos;p&apos; initialized to 0</string>
108 // CHECK-NEXT:     </dict>
109 // CHECK-NEXT:     <dict>
110 // CHECK-NEXT:      <key>kind</key><string>control</string>
111 // CHECK-NEXT:      <key>edges</key>
112 // CHECK-NEXT:       <array>
113 // CHECK-NEXT:        <dict>
114 // CHECK-NEXT:         <key>start</key>
115 // CHECK-NEXT:          <array>
116 // CHECK-NEXT:           <dict>
117 // CHECK-NEXT:            <key>line</key><integer>24</integer>
118 // CHECK-NEXT:            <key>col</key><integer>3</integer>
119 // CHECK-NEXT:            <key>file</key><integer>0</integer>
120 // CHECK-NEXT:           </dict>
121 // CHECK-NEXT:           <dict>
122 // CHECK-NEXT:            <key>line</key><integer>24</integer>
123 // CHECK-NEXT:            <key>col</key><integer>5</integer>
124 // CHECK-NEXT:            <key>file</key><integer>0</integer>
125 // CHECK-NEXT:           </dict>
126 // CHECK-NEXT:          </array>
127 // CHECK-NEXT:         <key>end</key>
128 // CHECK-NEXT:          <array>
129 // CHECK-NEXT:           <dict>
130 // CHECK-NEXT:            <key>line</key><integer>25</integer>
131 // CHECK-NEXT:            <key>col</key><integer>3</integer>
132 // CHECK-NEXT:            <key>file</key><integer>0</integer>
133 // CHECK-NEXT:           </dict>
134 // CHECK-NEXT:           <dict>
135 // CHECK-NEXT:            <key>line</key><integer>25</integer>
136 // CHECK-NEXT:            <key>col</key><integer>4</integer>
137 // CHECK-NEXT:            <key>file</key><integer>0</integer>
138 // CHECK-NEXT:           </dict>
139 // CHECK-NEXT:          </array>
140 // CHECK-NEXT:        </dict>
141 // CHECK-NEXT:       </array>
142 // CHECK-NEXT:     </dict>
143 // CHECK-NEXT:     <dict>
144 // CHECK-NEXT:      <key>kind</key><string>control</string>
145 // CHECK-NEXT:      <key>edges</key>
146 // CHECK-NEXT:       <array>
147 // CHECK-NEXT:        <dict>
148 // CHECK-NEXT:         <key>start</key>
149 // CHECK-NEXT:          <array>
150 // CHECK-NEXT:           <dict>
151 // CHECK-NEXT:            <key>line</key><integer>25</integer>
152 // CHECK-NEXT:            <key>col</key><integer>3</integer>
153 // CHECK-NEXT:            <key>file</key><integer>0</integer>
154 // CHECK-NEXT:           </dict>
155 // CHECK-NEXT:           <dict>
156 // CHECK-NEXT:            <key>line</key><integer>25</integer>
157 // CHECK-NEXT:            <key>col</key><integer>4</integer>
158 // CHECK-NEXT:            <key>file</key><integer>0</integer>
159 // CHECK-NEXT:           </dict>
160 // CHECK-NEXT:          </array>
161 // CHECK-NEXT:         <key>end</key>
162 // CHECK-NEXT:          <array>
163 // CHECK-NEXT:           <dict>
164 // CHECK-NEXT:            <key>line</key><integer>31</integer>
165 // CHECK-NEXT:            <key>col</key><integer>3</integer>
166 // CHECK-NEXT:            <key>file</key><integer>0</integer>
167 // CHECK-NEXT:           </dict>
168 // CHECK-NEXT:           <dict>
169 // CHECK-NEXT:            <key>line</key><integer>31</integer>
170 // CHECK-NEXT:            <key>col</key><integer>4</integer>
171 // CHECK-NEXT:            <key>file</key><integer>0</integer>
172 // CHECK-NEXT:           </dict>
173 // CHECK-NEXT:          </array>
174 // CHECK-NEXT:        </dict>
175 // CHECK-NEXT:       </array>
176 // CHECK-NEXT:     </dict>
177 // CHECK-NEXT:     <dict>
178 // CHECK-NEXT:      <key>kind</key><string>control</string>
179 // CHECK-NEXT:      <key>edges</key>
180 // CHECK-NEXT:       <array>
181 // CHECK-NEXT:        <dict>
182 // CHECK-NEXT:         <key>start</key>
183 // CHECK-NEXT:          <array>
184 // CHECK-NEXT:           <dict>
185 // CHECK-NEXT:            <key>line</key><integer>31</integer>
186 // CHECK-NEXT:            <key>col</key><integer>3</integer>
187 // CHECK-NEXT:            <key>file</key><integer>0</integer>
188 // CHECK-NEXT:           </dict>
189 // CHECK-NEXT:           <dict>
190 // CHECK-NEXT:            <key>line</key><integer>31</integer>
191 // CHECK-NEXT:            <key>col</key><integer>4</integer>
192 // CHECK-NEXT:            <key>file</key><integer>0</integer>
193 // CHECK-NEXT:           </dict>
194 // CHECK-NEXT:          </array>
195 // CHECK-NEXT:         <key>end</key>
196 // CHECK-NEXT:          <array>
197 // CHECK-NEXT:           <dict>
198 // CHECK-NEXT:            <key>line</key><integer>31</integer>
199 // CHECK-NEXT:            <key>col</key><integer>7</integer>
200 // CHECK-NEXT:            <key>file</key><integer>0</integer>
201 // CHECK-NEXT:           </dict>
202 // CHECK-NEXT:           <dict>
203 // CHECK-NEXT:            <key>line</key><integer>31</integer>
204 // CHECK-NEXT:            <key>col</key><integer>24</integer>
205 // CHECK-NEXT:            <key>file</key><integer>0</integer>
206 // CHECK-NEXT:           </dict>
207 // CHECK-NEXT:          </array>
208 // CHECK-NEXT:        </dict>
209 // CHECK-NEXT:       </array>
210 // CHECK-NEXT:     </dict>
211 // CHECK-NEXT:     <dict>
212 // CHECK-NEXT:      <key>kind</key><string>event</string>
213 // CHECK-NEXT:      <key>location</key>
214 // CHECK-NEXT:      <dict>
215 // CHECK-NEXT:       <key>line</key><integer>31</integer>
216 // CHECK-NEXT:       <key>col</key><integer>7</integer>
217 // CHECK-NEXT:       <key>file</key><integer>0</integer>
218 // CHECK-NEXT:      </dict>
219 // CHECK-NEXT:      <key>ranges</key>
220 // CHECK-NEXT:      <array>
221 // CHECK-NEXT:        <array>
222 // CHECK-NEXT:         <dict>
223 // CHECK-NEXT:          <key>line</key><integer>31</integer>
224 // CHECK-NEXT:          <key>col</key><integer>7</integer>
225 // CHECK-NEXT:          <key>file</key><integer>0</integer>
226 // CHECK-NEXT:         </dict>
227 // CHECK-NEXT:         <dict>
228 // CHECK-NEXT:          <key>line</key><integer>31</integer>
229 // CHECK-NEXT:          <key>col</key><integer>27</integer>
230 // CHECK-NEXT:          <key>file</key><integer>0</integer>
231 // CHECK-NEXT:         </dict>
232 // CHECK-NEXT:        </array>
233 // CHECK-NEXT:      </array>
234 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
235 // CHECK-NEXT:      <key>extended_message</key>
236 // CHECK-NEXT:      <string>Assuming the condition is true</string>
237 // CHECK-NEXT:      <key>message</key>
238 // CHECK-NEXT:      <string>Assuming the condition is true</string>
239 // CHECK-NEXT:     </dict>
240 // CHECK-NEXT:     <dict>
241 // CHECK-NEXT:      <key>kind</key><string>control</string>
242 // CHECK-NEXT:      <key>edges</key>
243 // CHECK-NEXT:       <array>
244 // CHECK-NEXT:        <dict>
245 // CHECK-NEXT:         <key>start</key>
246 // CHECK-NEXT:          <array>
247 // CHECK-NEXT:           <dict>
248 // CHECK-NEXT:            <key>line</key><integer>31</integer>
249 // CHECK-NEXT:            <key>col</key><integer>7</integer>
250 // CHECK-NEXT:            <key>file</key><integer>0</integer>
251 // CHECK-NEXT:           </dict>
252 // CHECK-NEXT:           <dict>
253 // CHECK-NEXT:            <key>line</key><integer>31</integer>
254 // CHECK-NEXT:            <key>col</key><integer>24</integer>
255 // CHECK-NEXT:            <key>file</key><integer>0</integer>
256 // CHECK-NEXT:           </dict>
257 // CHECK-NEXT:          </array>
258 // CHECK-NEXT:         <key>end</key>
259 // CHECK-NEXT:          <array>
260 // CHECK-NEXT:           <dict>
261 // CHECK-NEXT:            <key>line</key><integer>35</integer>
262 // CHECK-NEXT:            <key>col</key><integer>15</integer>
263 // CHECK-NEXT:            <key>file</key><integer>0</integer>
264 // CHECK-NEXT:           </dict>
265 // CHECK-NEXT:           <dict>
266 // CHECK-NEXT:            <key>line</key><integer>35</integer>
267 // CHECK-NEXT:            <key>col</key><integer>15</integer>
268 // CHECK-NEXT:            <key>file</key><integer>0</integer>
269 // CHECK-NEXT:           </dict>
270 // CHECK-NEXT:          </array>
271 // CHECK-NEXT:        </dict>
272 // CHECK-NEXT:       </array>
273 // CHECK-NEXT:     </dict>
274 // CHECK-NEXT:     <dict>
275 // CHECK-NEXT:      <key>kind</key><string>event</string>
276 // CHECK-NEXT:      <key>location</key>
277 // CHECK-NEXT:      <dict>
278 // CHECK-NEXT:       <key>line</key><integer>35</integer>
279 // CHECK-NEXT:       <key>col</key><integer>15</integer>
280 // CHECK-NEXT:       <key>file</key><integer>0</integer>
281 // CHECK-NEXT:      </dict>
282 // CHECK-NEXT:      <key>ranges</key>
283 // CHECK-NEXT:      <array>
284 // CHECK-NEXT:        <array>
285 // CHECK-NEXT:         <dict>
286 // CHECK-NEXT:          <key>line</key><integer>35</integer>
287 // CHECK-NEXT:          <key>col</key><integer>13</integer>
288 // CHECK-NEXT:          <key>file</key><integer>0</integer>
289 // CHECK-NEXT:         </dict>
290 // CHECK-NEXT:         <dict>
291 // CHECK-NEXT:          <key>line</key><integer>35</integer>
292 // CHECK-NEXT:          <key>col</key><integer>17</integer>
293 // CHECK-NEXT:          <key>file</key><integer>0</integer>
294 // CHECK-NEXT:         </dict>
295 // CHECK-NEXT:        </array>
296 // CHECK-NEXT:      </array>
297 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
298 // CHECK-NEXT:      <key>extended_message</key>
299 // CHECK-NEXT:      <string>Division by zero</string>
300 // CHECK-NEXT:      <key>message</key>
301 // CHECK-NEXT:      <string>Division by zero</string>
302 // CHECK-NEXT:     </dict>
303 // CHECK-NEXT:    </array>
304 // CHECK-NEXT:    <key>description</key><string>Division by zero</string>
305 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
306 // CHECK-NEXT:    <key>type</key><string>Division by zero</string>
307 // CHECK-NEXT:    <key>check_name</key><string>core.DivideZero</string>
308 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
309 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>86cb845e4f1e6abde1c5b319d5b08eca</string>
310 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
311 // CHECK-NEXT:   <key>issue_context</key><string>main</string>
312 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>15</string>
313 // CHECK-NEXT:   <key>location</key>
314 // CHECK-NEXT:   <dict>
315 // CHECK-NEXT:    <key>line</key><integer>35</integer>
316 // CHECK-NEXT:    <key>col</key><integer>15</integer>
317 // CHECK-NEXT:    <key>file</key><integer>0</integer>
318 // CHECK-NEXT:   </dict>
319 // CHECK-NEXT:   </dict>
320 // CHECK-NEXT:  </array>
321