codeql/cpp/ql/test/library-tests/destructors/cfg.expected

| C::C | false | 181 | 181 | C |
| C::C | false | 384 | 384 | C |
| C::operator= | false | 375 | 375 | operator= |
| C::~C | false | 333 | 333 | ~C |
| Class2::Class2 | false | 547 | 547 | Class2 |
| Class2::Class2 | false | 554 | 554 | return ... |
| Class2::Class2 | false | 556 | 556 | { ... } |
| Class2::Class2 | false | 557 | 557 | Class2 |
| Class2::Class2 | true | 554 | 547 |  |
| Class2::Class2 | true | 556 | 554 |  |
| Class2::operator= | false | 541 | 541 | operator= |
| Class2::~Class2 | false | 499 | 499 | ~Class2 |
| Outer::Inner::Inner | false | 481 | 481 | Inner |
| Outer::Inner::Inner | false | 517 | 517 | Inner |
| Outer::Inner::Inner | false | 537 | 537 | return ... |
| Outer::Inner::Inner | false | 539 | 539 | { ... } |
| Outer::Inner::Inner | true | 537 | 481 |  |
| Outer::Inner::Inner | true | 539 | 537 |  |
| Outer::Inner::operator= | false | 508 | 508 | operator= |
| Outer::Inner::~Inner | false | 504 | 504 | ~Inner |
| Outer::Inner::~Inner | false | 526 | 526 | return ... |
| Outer::Inner::~Inner | false | 528 | 528 | { ... } |
| Outer::Inner::~Inner | true | 526 | 504 |  |
| Outer::Inner::~Inner | true | 528 | 526 |  |
| Outer::f2 | false | 444 | 444 | f2 |
| Outer::f2 | false | 453 | 453 | declaration |
| Outer::f2 | false | 458 | 458 | call to getClass2 |
| Outer::f2 | false | 460 | 460 | initializer for c |
| Outer::f2 | false | 464 | 464 | if (...) ...  |
| Outer::f2 | false | 466 | 466 | i |
| Outer::f2 | false | 468 | 468 | (bool)... |
| Outer::f2 | false | 469 | 469 | return ... |
| Outer::f2 | false | 471 | 471 | { ... } |
| Outer::f2 | false | 473 | 473 | declaration |
| Outer::f2 | false | 476 | 476 | call to Inner |
| Outer::f2 | false | 482 | 482 | c |
| Outer::f2 | false | 485 | 485 | (const Class2)... |
| Outer::f2 | false | 488 | 488 | (reference to) |
| Outer::f2 | false | 489 | 489 | initializer for inner |
| Outer::f2 | false | 492 | 492 | return ... |
| Outer::f2 | false | 494 | 494 | { ... } |
| Outer::f2 | false | 496 | 496 | c |
| Outer::f2 | false | 498 | 498 | call to c.~Class2 |
| Outer::f2 | false | 500 | 500 | c |
| Outer::f2 | false | 501 | 501 | call to c.~Class2 |
| Outer::f2 | false | 502 | 502 | inner |
| Outer::f2 | false | 503 | 503 | call to inner.~Inner |
| Outer::f2 | true | 453 | 460 |  |
| Outer::f2 | true | 458 | 464 |  |
| Outer::f2 | true | 460 | 458 |  |
| Outer::f2 | true | 464 | 466 |  |
| Outer::f2 | true | 466 | 471 | T |
| Outer::f2 | true | 466 | 473 | F |
| Outer::f2 | true | 469 | 496 |  |
| Outer::f2 | true | 471 | 469 |  |
| Outer::f2 | true | 473 | 489 |  |
| Outer::f2 | true | 476 | 492 |  |
| Outer::f2 | true | 482 | 476 |  |
| Outer::f2 | true | 489 | 482 |  |
| Outer::f2 | true | 492 | 502 |  |
| Outer::f2 | true | 494 | 453 |  |
| Outer::f2 | true | 496 | 498 |  |
| Outer::f2 | true | 498 | 444 |  |
| Outer::f2 | true | 500 | 501 |  |
| Outer::f2 | true | 501 | 444 |  |
| Outer::f2 | true | 502 | 503 |  |
| Outer::f2 | true | 503 | 500 |  |
| Outer::operator= | false | 428 | 428 | operator= |
| Outer::operator= | false | 438 | 438 | operator= |
| __va_list_tag::operator= | false | 66 | 66 | operator= |
| __va_list_tag::operator= | false | 72 | 72 | operator= |
| f | false | 165 | 165 | f |
| f | false | 176 | 176 | declaration |
| f | false | 179 | 179 | call to C |
| f | false | 184 | 184 | 110 |
| f | false | 185 | 185 | initializer for c10 |
| f | false | 189 | 189 | call to C |
| f | false | 193 | 193 | 120 |
| f | false | 194 | 194 | initializer for c20 |
| f | false | 198 | 198 | call to C |
| f | false | 202 | 202 | 121 |
| f | false | 203 | 203 | initializer for c21 |
| f | false | 206 | 206 | declaration |
| f | false | 209 | 209 | call to C |
| f | false | 213 | 213 | 130 |
| f | false | 214 | 214 | initializer for c30 |
| f | false | 217 | 217 | declaration |
| f | false | 219 | 219 | { ... } |
| f | false | 222 | 222 | call to C |
| f | false | 226 | 226 | 131 |
| f | false | 227 | 227 | initializer for c31 |
| f | false | 231 | 231 | call to C |
| f | false | 235 | 235 | 132 |
| f | false | 236 | 236 | initializer for c32 |
| f | false | 240 | 240 | call to C |
| f | false | 244 | 244 | 133 |
| f | false | 245 | 245 | initializer for c33 |
| f | false | 248 | 248 | declaration |
| f | false | 250 | 250 | if (...) ...  |
| f | false | 252 | 252 | b1 |
| f | false | 254 | 254 | (bool)... |
| f | false | 255 | 255 | goto ... |
| f | false | 257 | 257 | declaration |
| f | false | 259 | 259 | if (...) ...  |
| f | false | 261 | 261 | b2 |
| f | false | 263 | 263 | (bool)... |
| f | false | 264 | 264 | return ... |
| f | false | 266 | 266 | declaration |
| f | false | 268 | 268 | { ... } |
| f | false | 271 | 271 | call to C |
| f | false | 275 | 275 | 134 |
| f | false | 276 | 276 | initializer for c34 |
| f | false | 279 | 279 | declaration |
| f | false | 281 | 281 | { ... } |
| f | false | 283 | 283 | declaration |
| f | false | 285 | 285 | { ... } |
| f | false | 288 | 288 | call to C |
| f | false | 292 | 292 | 122 |
| f | false | 293 | 293 | initializer for c22 |
| f | false | 296 | 296 | declaration |
| f | false | 298 | 298 | { ... } |
| f | false | 301 | 301 | call to C |
| f | false | 305 | 305 | 123 |
| f | false | 306 | 306 | initializer for c23 |
| f | false | 309 | 309 | label ...: |
| f | false | 311 | 311 | declaration |
| f | false | 313 | 313 | { ... } |
| f | false | 315 | 315 | declaration |
| f | false | 318 | 318 | call to C |
| f | false | 322 | 322 | 111 |
| f | false | 323 | 323 | initializer for c11 |
| f | false | 326 | 326 | return ... |
| f | false | 328 | 328 | { ... } |
| f | false | 330 | 330 | c20 |
| f | false | 332 | 332 | call to c20.~C |
| f | false | 334 | 334 | c21 |
| f | false | 335 | 335 | call to c21.~C |
| f | false | 336 | 336 | c30 |
| f | false | 338 | 338 | call to c30.~C |
| f | false | 339 | 339 | c31 |
| f | false | 341 | 341 | call to c31.~C |
| f | false | 342 | 342 | c32 |
| f | false | 343 | 343 | call to c32.~C |
| f | false | 344 | 344 | c33 |
| f | false | 345 | 345 | call to c33.~C |
| f | false | 346 | 346 | c20 |
| f | false | 347 | 347 | call to c20.~C |
| f | false | 348 | 348 | c31 |
| f | false | 349 | 349 | call to c31.~C |
| f | false | 350 | 350 | c10 |
| f | false | 352 | 352 | call to c10.~C |
| f | false | 353 | 353 | c20 |
| f | false | 354 | 354 | call to c20.~C |
| f | false | 355 | 355 | c31 |
| f | false | 356 | 356 | call to c31.~C |
| f | false | 357 | 357 | c32 |
| f | false | 358 | 358 | call to c32.~C |
| f | false | 359 | 359 | c34 |
| f | false | 361 | 361 | call to c34.~C |
| f | false | 362 | 362 | c22 |
| f | false | 364 | 364 | call to c22.~C |
| f | false | 365 | 365 | c23 |
| f | false | 367 | 367 | call to c23.~C |
| f | false | 368 | 368 | c10 |
| f | false | 369 | 369 | call to c10.~C |
| f | false | 370 | 370 | c11 |
| f | false | 371 | 371 | call to c11.~C |
| f | true | 176 | 185 |  |
| f | true | 179 | 285 |  |
| f | true | 184 | 179 |  |
| f | true | 185 | 184 |  |
| f | true | 189 | 219 |  |
| f | true | 193 | 189 |  |
| f | true | 194 | 193 |  |
| f | true | 198 | 334 |  |
| f | true | 202 | 198 |  |
| f | true | 203 | 202 |  |
| f | true | 206 | 194 |  |
| f | true | 209 | 336 |  |
| f | true | 213 | 209 |  |
| f | true | 214 | 213 |  |
| f | true | 217 | 214 |  |
| f | true | 219 | 217 |  |
| f | true | 222 | 250 |  |
| f | true | 226 | 222 |  |
| f | true | 227 | 226 |  |
| f | true | 231 | 259 |  |
| f | true | 235 | 231 |  |
| f | true | 236 | 235 |  |
| f | true | 240 | 344 |  |
| f | true | 244 | 240 |  |
| f | true | 245 | 244 |  |
| f | true | 248 | 227 |  |
| f | true | 250 | 252 |  |
| f | true | 252 | 255 | T |
| f | true | 252 | 257 | F |
| f | true | 255 | 348 |  |
| f | true | 257 | 236 |  |
| f | true | 259 | 261 |  |
| f | true | 261 | 264 | T |
| f | true | 261 | 266 | F |
| f | true | 264 | 357 |  |
| f | true | 266 | 245 |  |
| f | true | 268 | 248 |  |
| f | true | 271 | 359 |  |
| f | true | 275 | 271 |  |
| f | true | 276 | 275 |  |
| f | true | 279 | 276 |  |
| f | true | 281 | 279 |  |
| f | true | 283 | 203 |  |
| f | true | 285 | 206 |  |
| f | true | 288 | 362 |  |
| f | true | 292 | 288 |  |
| f | true | 293 | 292 |  |
| f | true | 296 | 293 |  |
| f | true | 298 | 296 |  |
| f | true | 301 | 365 |  |
| f | true | 305 | 301 |  |
| f | true | 306 | 305 |  |
| f | true | 309 | 311 |  |
| f | true | 311 | 306 |  |
| f | true | 313 | 309 |  |
| f | true | 315 | 323 |  |
| f | true | 318 | 326 |  |
| f | true | 322 | 318 |  |
| f | true | 323 | 322 |  |
| f | true | 326 | 370 |  |
| f | true | 328 | 176 |  |
| f | true | 330 | 332 |  |
| f | true | 332 | 298 |  |
| f | true | 334 | 335 |  |
| f | true | 335 | 330 |  |
| f | true | 336 | 338 |  |
| f | true | 338 | 268 |  |
| f | true | 339 | 341 |  |
| f | true | 341 | 281 |  |
| f | true | 342 | 343 |  |
| f | true | 343 | 339 |  |
| f | true | 344 | 345 |  |
| f | true | 345 | 342 |  |
| f | true | 346 | 347 |  |
| f | true | 347 | 309 |  |
| f | true | 348 | 349 |  |
| f | true | 349 | 346 |  |
| f | true | 350 | 352 |  |
| f | true | 352 | 165 |  |
| f | true | 353 | 354 |  |
| f | true | 354 | 350 |  |
| f | true | 355 | 356 |  |
| f | true | 356 | 353 |  |
| f | true | 357 | 358 |  |
| f | true | 358 | 355 |  |
| f | true | 359 | 361 |  |
| f | true | 361 | 283 |  |
| f | true | 362 | 364 |  |
| f | true | 364 | 313 |  |
| f | true | 365 | 367 |  |
| f | true | 367 | 315 |  |
| f | true | 368 | 369 |  |
| f | true | 369 | 165 |  |
| f | true | 370 | 371 |  |
| f | true | 371 | 368 |  |
| getClass2 | false | 425 | 425 | getClass2 |