1 // RUN: %clang --analyze %s -Xclang -analyzer-ipa=inlining -o %t 2 // RUN: FileCheck -input-file %t %s 3 4 // <rdar://problem/10967815> 5 void mmm(int y) { 6 if (y != 0) 7 y++; 8 } 9 10 int foo(int x, int y) { 11 mmm(y); 12 if (x != 0) 13 x++; 14 return 5/x; 15 } 16 17 // Test a bug triggering only when inlined. 18 void has_bug(int *p) { 19 *p = 0xDEADBEEF; 20 } 21 22 void test_has_bug() { 23 has_bug(0); 24 } 25 26 27 // CHECK: <?xml version="1.0" encoding="UTF-8"?> 28 // CHECK: <plist version="1.0"> 29 // CHECK: <dict> 30 // CHECK: <key>files</key> 31 // CHECK: <array> 32 // CHECK: </array> 33 // CHECK: <key>diagnostics</key> 34 // CHECK: <array> 35 // CHECK: <dict> 36 // CHECK: <key>path</key> 37 // CHECK: <array> 38 // CHECK: <dict> 39 // CHECK: <key>kind</key><string>control</string> 40 // CHECK: <key>edges</key> 41 // CHECK: <array> 42 // CHECK: <dict> 43 // CHECK: <key>start</key> 44 // CHECK: <array> 45 // CHECK: <dict> 46 // CHECK: <key>line</key><integer>11</integer> 47 // CHECK: <key>col</key><integer>5</integer> 48 // CHECK: <key>file</key><integer>0</integer> 49 // CHECK: </dict> 50 // CHECK: <dict> 51 // CHECK: <key>line</key><integer>11</integer> 52 // CHECK: <key>col</key><integer>10</integer> 53 // CHECK: <key>file</key><integer>0</integer> 54 // CHECK: </dict> 55 // CHECK: </array> 56 // CHECK: <key>end</key> 57 // CHECK: <array> 58 // CHECK: <dict> 59 // CHECK: <key>line</key><integer>12</integer> 60 // CHECK: <key>col</key><integer>5</integer> 61 // CHECK: <key>file</key><integer>0</integer> 62 // CHECK: </dict> 63 // CHECK: <dict> 64 // CHECK: <key>line</key><integer>12</integer> 65 // CHECK: <key>col</key><integer>5</integer> 66 // CHECK: <key>file</key><integer>0</integer> 67 // CHECK: </dict> 68 // CHECK: </array> 69 // CHECK: </dict> 70 // CHECK: </array> 71 // CHECK: </dict> 72 // CHECK: <dict> 73 // CHECK: <key>kind</key><string>control</string> 74 // CHECK: <key>edges</key> 75 // CHECK: <array> 76 // CHECK: <dict> 77 // CHECK: <key>start</key> 78 // CHECK: <array> 79 // CHECK: <dict> 80 // CHECK: <key>line</key><integer>12</integer> 81 // CHECK: <key>col</key><integer>5</integer> 82 // CHECK: <key>file</key><integer>0</integer> 83 // CHECK: </dict> 84 // CHECK: <dict> 85 // CHECK: <key>line</key><integer>12</integer> 86 // CHECK: <key>col</key><integer>5</integer> 87 // CHECK: <key>file</key><integer>0</integer> 88 // CHECK: </dict> 89 // CHECK: </array> 90 // CHECK: <key>end</key> 91 // CHECK: <array> 92 // CHECK: <dict> 93 // CHECK: <key>line</key><integer>12</integer> 94 // CHECK: <key>col</key><integer>9</integer> 95 // CHECK: <key>file</key><integer>0</integer> 96 // CHECK: </dict> 97 // CHECK: <dict> 98 // CHECK: <key>line</key><integer>12</integer> 99 // CHECK: <key>col</key><integer>9</integer> 100 // CHECK: <key>file</key><integer>0</integer> 101 // CHECK: </dict> 102 // CHECK: </array> 103 // CHECK: </dict> 104 // CHECK: </array> 105 // CHECK: </dict> 106 // CHECK: <dict> 107 // CHECK: <key>kind</key><string>event</string> 108 // CHECK: <key>location</key> 109 // CHECK: <dict> 110 // CHECK: <key>line</key><integer>12</integer> 111 // CHECK: <key>col</key><integer>9</integer> 112 // CHECK: <key>file</key><integer>0</integer> 113 // CHECK: </dict> 114 // CHECK: <key>ranges</key> 115 // CHECK: <array> 116 // CHECK: <array> 117 // CHECK: <dict> 118 // CHECK: <key>line</key><integer>12</integer> 119 // CHECK: <key>col</key><integer>9</integer> 120 // CHECK: <key>file</key><integer>0</integer> 121 // CHECK: </dict> 122 // CHECK: <dict> 123 // CHECK: <key>line</key><integer>12</integer> 124 // CHECK: <key>col</key><integer>14</integer> 125 // CHECK: <key>file</key><integer>0</integer> 126 // CHECK: </dict> 127 // CHECK: </array> 128 // CHECK: </array> 129 // CHECK: <key>depth</key><integer>0</integer> 130 // CHECK: <key>extended_message</key> 131 // CHECK: <string>Assuming 'x' is equal to 0</string> 132 // CHECK: <key>message</key> 133 // CHECK: <string>Assuming 'x' is equal to 0</string> 134 // CHECK: </dict> 135 // CHECK: <dict> 136 // CHECK: <key>kind</key><string>control</string> 137 // CHECK: <key>edges</key> 138 // CHECK: <array> 139 // CHECK: <dict> 140 // CHECK: <key>start</key> 141 // CHECK: <array> 142 // CHECK: <dict> 143 // CHECK: <key>line</key><integer>12</integer> 144 // CHECK: <key>col</key><integer>9</integer> 145 // CHECK: <key>file</key><integer>0</integer> 146 // CHECK: </dict> 147 // CHECK: <dict> 148 // CHECK: <key>line</key><integer>12</integer> 149 // CHECK: <key>col</key><integer>9</integer> 150 // CHECK: <key>file</key><integer>0</integer> 151 // CHECK: </dict> 152 // CHECK: </array> 153 // CHECK: <key>end</key> 154 // CHECK: <array> 155 // CHECK: <dict> 156 // CHECK: <key>line</key><integer>14</integer> 157 // CHECK: <key>col</key><integer>5</integer> 158 // CHECK: <key>file</key><integer>0</integer> 159 // CHECK: </dict> 160 // CHECK: <dict> 161 // CHECK: <key>line</key><integer>14</integer> 162 // CHECK: <key>col</key><integer>5</integer> 163 // CHECK: <key>file</key><integer>0</integer> 164 // CHECK: </dict> 165 // CHECK: </array> 166 // CHECK: </dict> 167 // CHECK: </array> 168 // CHECK: </dict> 169 // CHECK: <dict> 170 // CHECK: <key>kind</key><string>control</string> 171 // CHECK: <key>edges</key> 172 // CHECK: <array> 173 // CHECK: <dict> 174 // CHECK: <key>start</key> 175 // CHECK: <array> 176 // CHECK: <dict> 177 // CHECK: <key>line</key><integer>14</integer> 178 // CHECK: <key>col</key><integer>5</integer> 179 // CHECK: <key>file</key><integer>0</integer> 180 // CHECK: </dict> 181 // CHECK: <dict> 182 // CHECK: <key>line</key><integer>14</integer> 183 // CHECK: <key>col</key><integer>5</integer> 184 // CHECK: <key>file</key><integer>0</integer> 185 // CHECK: </dict> 186 // CHECK: </array> 187 // CHECK: <key>end</key> 188 // CHECK: <array> 189 // CHECK: <dict> 190 // CHECK: <key>line</key><integer>14</integer> 191 // CHECK: <key>col</key><integer>12</integer> 192 // CHECK: <key>file</key><integer>0</integer> 193 // CHECK: </dict> 194 // CHECK: <dict> 195 // CHECK: <key>line</key><integer>14</integer> 196 // CHECK: <key>col</key><integer>12</integer> 197 // CHECK: <key>file</key><integer>0</integer> 198 // CHECK: </dict> 199 // CHECK: </array> 200 // CHECK: </dict> 201 // CHECK: </array> 202 // CHECK: </dict> 203 // CHECK: <dict> 204 // CHECK: <key>kind</key><string>event</string> 205 // CHECK: <key>location</key> 206 // CHECK: <dict> 207 // CHECK: <key>line</key><integer>14</integer> 208 // CHECK: <key>col</key><integer>12</integer> 209 // CHECK: <key>file</key><integer>0</integer> 210 // CHECK: </dict> 211 // CHECK: <key>ranges</key> 212 // CHECK: <array> 213 // CHECK: <array> 214 // CHECK: <dict> 215 // CHECK: <key>line</key><integer>14</integer> 216 // CHECK: <key>col</key><integer>12</integer> 217 // CHECK: <key>file</key><integer>0</integer> 218 // CHECK: </dict> 219 // CHECK: <dict> 220 // CHECK: <key>line</key><integer>14</integer> 221 // CHECK: <key>col</key><integer>14</integer> 222 // CHECK: <key>file</key><integer>0</integer> 223 // CHECK: </dict> 224 // CHECK: </array> 225 // CHECK: </array> 226 // CHECK: <key>depth</key><integer>0</integer> 227 // CHECK: <key>extended_message</key> 228 // CHECK: <string>Division by zero</string> 229 // CHECK: <key>message</key> 230 // CHECK: <string>Division by zero</string> 231 // CHECK: </dict> 232 // CHECK: </array> 233 // CHECK: <key>description</key><string>Division by zero</string> 234 // CHECK: <key>category</key><string>Logic error</string> 235 // CHECK: <key>type</key><string>Division by zero</string> 236 // CHECK: <key>issue_context_kind</key><string>function</string> 237 // CHECK: <key>issue_context</key><string>foo</string> 238 // CHECK: <key>location</key> 239 // CHECK: <dict> 240 // CHECK: <key>line</key><integer>14</integer> 241 // CHECK: <key>col</key><integer>12</integer> 242 // CHECK: <key>file</key><integer>0</integer> 243 // CHECK: </dict> 244 // CHECK: </dict> 245 // CHECK: <dict> 246 // CHECK: <key>path</key> 247 // CHECK: <array> 248 // CHECK: <dict> 249 // CHECK: <key>kind</key><string>event</string> 250 // CHECK: <key>location</key> 251 // CHECK: <dict> 252 // CHECK: <key>line</key><integer>23</integer> 253 // CHECK: <key>col</key><integer>3</integer> 254 // CHECK: <key>file</key><integer>0</integer> 255 // CHECK: </dict> 256 // CHECK: <key>ranges</key> 257 // CHECK: <array> 258 // CHECK: <array> 259 // CHECK: <dict> 260 // CHECK: <key>line</key><integer>23</integer> 261 // CHECK: <key>col</key><integer>3</integer> 262 // CHECK: <key>file</key><integer>0</integer> 263 // CHECK: </dict> 264 // CHECK: <dict> 265 // CHECK: <key>line</key><integer>23</integer> 266 // CHECK: <key>col</key><integer>12</integer> 267 // CHECK: <key>file</key><integer>0</integer> 268 // CHECK: </dict> 269 // CHECK: </array> 270 // CHECK: </array> 271 // CHECK: <key>depth</key><integer>0</integer> 272 // CHECK: <key>extended_message</key> 273 // CHECK: <string>Calling 'has_bug'</string> 274 // CHECK: <key>message</key> 275 // CHECK: <string>Calling 'has_bug'</string> 276 // CHECK: </dict> 277 // CHECK: <dict> 278 // CHECK: <key>kind</key><string>event</string> 279 // CHECK: <key>location</key> 280 // CHECK: <dict> 281 // CHECK: <key>line</key><integer>18</integer> 282 // CHECK: <key>col</key><integer>1</integer> 283 // CHECK: <key>file</key><integer>0</integer> 284 // CHECK: </dict> 285 // CHECK: <key>depth</key><integer>1</integer> 286 // CHECK: <key>extended_message</key> 287 // CHECK: <string>Entered call from 'test_has_bug'</string> 288 // CHECK: <key>message</key> 289 // CHECK: <string>Entered call from 'test_has_bug'</string> 290 // CHECK: </dict> 291 // CHECK: <dict> 292 // CHECK: <key>kind</key><string>control</string> 293 // CHECK: <key>edges</key> 294 // CHECK: <array> 295 // CHECK: <dict> 296 // CHECK: <key>start</key> 297 // CHECK: <array> 298 // CHECK: <dict> 299 // CHECK: <key>line</key><integer>18</integer> 300 // CHECK: <key>col</key><integer>1</integer> 301 // CHECK: <key>file</key><integer>0</integer> 302 // CHECK: </dict> 303 // CHECK: <dict> 304 // CHECK: <key>line</key><integer>18</integer> 305 // CHECK: <key>col</key><integer>1</integer> 306 // CHECK: <key>file</key><integer>0</integer> 307 // CHECK: </dict> 308 // CHECK: </array> 309 // CHECK: <key>end</key> 310 // CHECK: <array> 311 // CHECK: <dict> 312 // CHECK: <key>line</key><integer>19</integer> 313 // CHECK: <key>col</key><integer>3</integer> 314 // CHECK: <key>file</key><integer>0</integer> 315 // CHECK: </dict> 316 // CHECK: <dict> 317 // CHECK: <key>line</key><integer>19</integer> 318 // CHECK: <key>col</key><integer>3</integer> 319 // CHECK: <key>file</key><integer>0</integer> 320 // CHECK: </dict> 321 // CHECK: </array> 322 // CHECK: </dict> 323 // CHECK: </array> 324 // CHECK: </dict> 325 // CHECK: <dict> 326 // CHECK: <key>kind</key><string>event</string> 327 // CHECK: <key>location</key> 328 // CHECK: <dict> 329 // CHECK: <key>line</key><integer>19</integer> 330 // CHECK: <key>col</key><integer>3</integer> 331 // CHECK: <key>file</key><integer>0</integer> 332 // CHECK: </dict> 333 // CHECK: <key>ranges</key> 334 // CHECK: <array> 335 // CHECK: <array> 336 // CHECK: <dict> 337 // CHECK: <key>line</key><integer>19</integer> 338 // CHECK: <key>col</key><integer>4</integer> 339 // CHECK: <key>file</key><integer>0</integer> 340 // CHECK: </dict> 341 // CHECK: <dict> 342 // CHECK: <key>line</key><integer>19</integer> 343 // CHECK: <key>col</key><integer>4</integer> 344 // CHECK: <key>file</key><integer>0</integer> 345 // CHECK: </dict> 346 // CHECK: </array> 347 // CHECK: </array> 348 // CHECK: <key>depth</key><integer>1</integer> 349 // CHECK: <key>extended_message</key> 350 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 351 // CHECK: <key>message</key> 352 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 353 // CHECK: </dict> 354 // CHECK: </array> 355 // CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 356 // CHECK: <key>category</key><string>Logic error</string> 357 // CHECK: <key>type</key><string>Dereference of null pointer</string> 358 // CHECK: <key>issue_context_kind</key><string>function</string> 359 // CHECK: <key>issue_context</key><string>has_bug</string> 360 // CHECK: <key>location</key> 361 // CHECK: <dict> 362 // CHECK: <key>line</key><integer>19</integer> 363 // CHECK: <key>col</key><integer>3</integer> 364 // CHECK: <key>file</key><integer>0</integer> 365 // CHECK: </dict> 366 // CHECK: </dict> 367 // CHECK: </array> 368 // CHECK: </dict> 369 // CHECK: </plist> 370
