hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 02:05:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #369 from ian-semmle/generated_members

Browse Source 
C++: Accept test changes after generating class membership info for generated functions
This commit is contained in:
Nick Rolfe
2018-10-29 10:05:05 +00:00
committed by GitHub
parent 91dad02b7e 01d27d331e
commit 3e171960dc
28 changed files with 1373 additions and 1364 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
cpp/ql/test/examples/expressions/PrintAST.expected
View File

@@ -1,3 +1,11 @@
#-----| __va_list_tag::operator=(__va_list_tag &&) -> __va_list_tag &
#-----| params:
#-----| 0: p#0
#-----| Type = __va_list_tag &&
#-----| __va_list_tag::operator=(const __va_list_tag &) -> __va_list_tag &
#-----| params:
#-----| 0: p#0
#-----| Type = const __va_list_tag &
#-----| operator delete(void *) -> void
#-----| params:
#-----| 0: p#0
@@ -6,14 +14,6 @@
#-----| params:
#-----| 0: p#0
#-----| Type = unsigned long
#-----| operator=(__va_list_tag &&) -> __va_list_tag &
#-----| params:
#-----| 0: p#0
#-----| Type = __va_list_tag &&
#-----| operator=(const __va_list_tag &) -> __va_list_tag &
#-----| params:
#-----| 0: p#0
#-----| Type = const __va_list_tag &
AddressOf.c:
# 1| AddressOf(int) -> void
# 1| params:

4
cpp/ql/test/header-variant-tests/deduplication/functions.expected
View File

@@ -2,8 +2,8 @@
| bar.h:1:13:1:15 | bar | MemberFunction | 1 | C |
| bar.h:1:13:1:15 | bar | MemberFunction | 1 | C |
| bar.h:1:13:1:15 | bar | MemberFunction | 2 | D |
| file://:0:0:0:0 | operator= | Function | 0 | <none> |
| file://:0:0:0:0 | operator= | Function | 0 | <none> |
| file://:0:0:0:0 | operator= | MemberFunction | 0 | __va_list_tag |
| file://:0:0:0:0 | operator= | MemberFunction | 0 | __va_list_tag |
| foo.h:1:13:1:15 | foo | Function | 1 | <none> |
| foo.h:1:13:1:15 | foo | MemberFunction | 1 | C |
| foo.h:1:13:1:15 | foo | MemberFunction | 1 | C |

356
cpp/ql/test/library-tests/c++_exceptions/graphable.expected
View File

@@ -1,7 +1,7 @@
| C::C | false | 436 | 436 | C |
| C::C | false | 625 | 625 | C |
| C::operator= | false | 618 | 618 | operator= |
| C::~C | false | 557 | 557 | ~C |
| C::C | false | 435 | 435 | C |
| C::C | false | 624 | 624 | C |
| C::operator= | false | 617 | 617 | operator= |
| C::~C | false | 556 | 556 | ~C |
| Error::Error | false | 242 | 242 | Error |
| Error::Error | false | 255 | 255 | Error |
| Error::Error | false | 260 | 260 | return ... |
@@ -14,178 +14,180 @@
| Error::~Error | false | 253 | 253 | { ... } |
| Error::~Error | true | 251 | 246 | |
| Error::~Error | true | 253 | 251 | |
| f | false | 420 | 420 | f |
| f | false | 431 | 431 | declaration |
| f | false | 434 | 434 | call to C |
| f | false | 439 | 439 | 102 |
| f | false | 440 | 440 | initializer for c102 |
| f | false | 444 | 444 | call to C |
| f | false | 448 | 448 | 103 |
| f | false | 449 | 449 | initializer for c103 |
| f | false | 452 | 452 | declaration |
| f | false | 454 | 454 | b1 |
| f | false | 456 | 456 | (bool)... |
| f | false | 459 | 459 | 1 |
| f | false | 460 | 460 | throw ... |
| f | false | 462 | 462 | ExprStmt |
| f | false | 464 | 464 | { ... } |
| f | false | 466 | 466 | if (...) ... |
| f | false | 468 | 468 | declaration |
| f | false | 470 | 470 | { ... } |
| f | false | 477 | 477 | 1 |
| f | false | 479 | 479 | call to C |
| f | false | 483 | 483 | 104 |
| f | false | 484 | 484 | initializer for c104 |
| f | false | 487 | 487 | declaration |
| f | false | 489 | 489 | { ... } |
| f | false | 491 | 491 | __try { ... } __except( ... ) { ... } |
| f | false | 493 | 493 | declaration |
| f | false | 496 | 496 | call to C |
| f | false | 500 | 500 | 106 |
| f | false | 501 | 501 | initializer for c106 |
| f | false | 505 | 505 | call to C |
| f | false | 509 | 509 | 107 |
| f | false | 510 | 510 | initializer for c107 |
| f | false | 513 | 513 | declaration |
| f | false | 515 | 515 | b2 |
| f | false | 517 | 517 | (bool)... |
| f | false | 520 | 520 | 2 |
| f | false | 521 | 521 | throw ... |
| f | false | 523 | 523 | ExprStmt |
| f | false | 525 | 525 | { ... } |
| f | false | 527 | 527 | if (...) ... |
| f | false | 529 | 529 | declaration |
| f | false | 531 | 531 | { ... } |
| f | false | 534 | 534 | call to C |
| f | false | 538 | 538 | 108 |
| f | false | 539 | 539 | initializer for c108 |
| f | false | 542 | 542 | declaration |
| f | false | 544 | 544 | { ... } |
| f | false | 546 | 546 | __try { ... } __finally { ... } |
| f | false | 548 | 548 | declaration |
| f | false | 550 | 550 | return ... |
| f | false | 552 | 552 | { ... } |
| f | false | 554 | 554 | c101 |
| f | false | 556 | 556 | call to c101.~C |
| f | false | 558 | 558 | c105 |
| f | false | 559 | 559 | call to c105.~C |
| f | false | 560 | 560 | c109 |
| f | false | 561 | 561 | call to c109.~C |
| f | false | 562 | 562 | c101 |
| f | false | 563 | 563 | call to c101.~C |
| f | false | 564 | 564 | c105 |
| f | false | 565 | 565 | call to c105.~C |
| f | false | 566 | 566 | c108 |
| f | false | 568 | 568 | call to c108.~C |
| f | false | 569 | 569 | c106 |
| f | false | 571 | 571 | call to c106.~C |
| f | false | 572 | 572 | c107 |
| f | false | 573 | 573 | call to c107.~C |
| f | false | 574 | 574 | c106 |
| f | false | 575 | 575 | call to c106.~C |
| f | false | 576 | 576 | c104 |
| f | false | 578 | 578 | call to c104.~C |
| f | false | 579 | 579 | c102 |
| f | false | 581 | 581 | call to c102.~C |
| f | false | 582 | 582 | c103 |
| f | false | 583 | 583 | call to c103.~C |
| f | false | 584 | 584 | c102 |
| f | false | 585 | 585 | call to c102.~C |
| f | false | 587 | 587 | call to C |
| f | false | 591 | 591 | 101 |
| f | false | 592 | 592 | initializer for c101 |
| f | false | 596 | 596 | call to C |
| f | false | 600 | 600 | 105 |
| f | false | 601 | 601 | initializer for c105 |
| f | false | 605 | 605 | call to C |
| f | false | 609 | 609 | 109 |
| f | false | 610 | 610 | initializer for c109 |
| f | true | 431 | 592 | |
| f | true | 434 | 466 | |
| f | true | 439 | 434 | |
| f | true | 440 | 439 | |
| f | true | 444 | 582 | |
| f | true | 448 | 444 | |
| f | true | 449 | 448 | |
| f | true | 452 | 440 | |
| f | true | 454 | 464 | T |
| f | true | 454 | 468 | F |
| f | true | 459 | 460 | |
| f | true | 460 | 584 | |
| f | true | 462 | 459 | |
| f | true | 464 | 462 | |
| f | true | 466 | 454 | |
| f | true | 468 | 449 | |
| f | true | 470 | 452 | |
| f | true | 477 | 489 | T |
| f | true | 479 | 576 | |
| f | true | 483 | 479 | |
| f | true | 484 | 483 | |
| f | true | 487 | 484 | |
| f | true | 489 | 487 | |
| f | true | 491 | 470 | |
| f | true | 493 | 601 | |
| f | true | 496 | 527 | |
| f | true | 500 | 496 | |
| f | true | 501 | 500 | |
| f | true | 505 | 572 | |
| f | true | 509 | 505 | |
| f | true | 510 | 509 | |
| f | true | 513 | 501 | |
| f | true | 515 | 525 | T |
| f | true | 515 | 529 | F |
| f | true | 520 | 521 | |
| f | true | 521 | 574 | |
| f | true | 523 | 520 | |
| f | true | 525 | 523 | |
| f | true | 527 | 515 | |
| f | true | 529 | 510 | |
| f | true | 531 | 513 | |
| f | true | 534 | 566 | |
| f | true | 538 | 534 | |
| f | true | 539 | 538 | |
| f | true | 542 | 539 | |
| f | true | 544 | 542 | |
| f | true | 546 | 531 | |
| f | true | 548 | 610 | |
| f | true | 550 | 560 | |
| f | true | 552 | 431 | |
| f | true | 554 | 556 | |
| f | true | 556 | 420 | |
| f | true | 558 | 559 | |
| f | true | 559 | 554 | |
| f | true | 560 | 561 | |
| f | true | 561 | 558 | |
| f | true | 562 | 563 | |
| f | true | 563 | 420 | |
| f | true | 564 | 565 | |
| f | true | 565 | 562 | |
| f | true | 566 | 568 | |
| f | true | 568 | 548 | |
| f | true | 568 | 564 | |
| f | true | 569 | 571 | |
| f | true | 571 | 544 | |
| f | true | 572 | 573 | |
| f | true | 573 | 569 | |
| f | true | 574 | 575 | |
| f | true | 575 | 544 | |
| f | true | 576 | 578 | |
| f | true | 578 | 493 | |
| f | true | 579 | 581 | |
| f | true | 581 | 493 | |
| f | true | 582 | 583 | |
| f | true | 583 | 579 | |
| f | true | 584 | 585 | |
| f | true | 585 | 477 | |
| f | true | 587 | 491 | |
| f | true | 591 | 587 | |
| f | true | 592 | 591 | |
| f | true | 596 | 546 | |
| f | true | 600 | 596 | |
| f | true | 601 | 600 | |
| f | true | 605 | 550 | |
| f | true | 609 | 605 | |
| f | true | 610 | 609 | |
| __va_list_tag::operator= | false | 140 | 140 | operator= |
| __va_list_tag::operator= | false | 147 | 147 | operator= |
| f | false | 419 | 419 | f |
| f | false | 430 | 430 | declaration |
| f | false | 433 | 433 | call to C |
| f | false | 438 | 438 | 102 |
| f | false | 439 | 439 | initializer for c102 |
| f | false | 443 | 443 | call to C |
| f | false | 447 | 447 | 103 |
| f | false | 448 | 448 | initializer for c103 |
| f | false | 451 | 451 | declaration |
| f | false | 453 | 453 | b1 |
| f | false | 455 | 455 | (bool)... |
| f | false | 458 | 458 | 1 |
| f | false | 459 | 459 | throw ... |
| f | false | 461 | 461 | ExprStmt |
| f | false | 463 | 463 | { ... } |
| f | false | 465 | 465 | if (...) ... |
| f | false | 467 | 467 | declaration |
| f | false | 469 | 469 | { ... } |
| f | false | 476 | 476 | 1 |
| f | false | 478 | 478 | call to C |
| f | false | 482 | 482 | 104 |
| f | false | 483 | 483 | initializer for c104 |
| f | false | 486 | 486 | declaration |
| f | false | 488 | 488 | { ... } |
| f | false | 490 | 490 | __try { ... } __except( ... ) { ... } |
| f | false | 492 | 492 | declaration |
| f | false | 495 | 495 | call to C |
| f | false | 499 | 499 | 106 |
| f | false | 500 | 500 | initializer for c106 |
| f | false | 504 | 504 | call to C |
| f | false | 508 | 508 | 107 |
| f | false | 509 | 509 | initializer for c107 |
| f | false | 512 | 512 | declaration |
| f | false | 514 | 514 | b2 |
| f | false | 516 | 516 | (bool)... |
| f | false | 519 | 519 | 2 |
| f | false | 520 | 520 | throw ... |
| f | false | 522 | 522 | ExprStmt |
| f | false | 524 | 524 | { ... } |
| f | false | 526 | 526 | if (...) ... |
| f | false | 528 | 528 | declaration |
| f | false | 530 | 530 | { ... } |
| f | false | 533 | 533 | call to C |
| f | false | 537 | 537 | 108 |
| f | false | 538 | 538 | initializer for c108 |
| f | false | 541 | 541 | declaration |
| f | false | 543 | 543 | { ... } |
| f | false | 545 | 545 | __try { ... } __finally { ... } |
| f | false | 547 | 547 | declaration |
| f | false | 549 | 549 | return ... |
| f | false | 551 | 551 | { ... } |
| f | false | 553 | 553 | c101 |
| f | false | 555 | 555 | call to c101.~C |
| f | false | 557 | 557 | c105 |
| f | false | 558 | 558 | call to c105.~C |
| f | false | 559 | 559 | c109 |
| f | false | 560 | 560 | call to c109.~C |
| f | false | 561 | 561 | c101 |
| f | false | 562 | 562 | call to c101.~C |
| f | false | 563 | 563 | c105 |
| f | false | 564 | 564 | call to c105.~C |
| f | false | 565 | 565 | c108 |
| f | false | 567 | 567 | call to c108.~C |
| f | false | 568 | 568 | c106 |
| f | false | 570 | 570 | call to c106.~C |
| f | false | 571 | 571 | c107 |
| f | false | 572 | 572 | call to c107.~C |
| f | false | 573 | 573 | c106 |
| f | false | 574 | 574 | call to c106.~C |
| f | false | 575 | 575 | c104 |
| f | false | 577 | 577 | call to c104.~C |
| f | false | 578 | 578 | c102 |
| f | false | 580 | 580 | call to c102.~C |
| f | false | 581 | 581 | c103 |
| f | false | 582 | 582 | call to c103.~C |
| f | false | 583 | 583 | c102 |
| f | false | 584 | 584 | call to c102.~C |
| f | false | 586 | 586 | call to C |
| f | false | 590 | 590 | 101 |
| f | false | 591 | 591 | initializer for c101 |
| f | false | 595 | 595 | call to C |
| f | false | 599 | 599 | 105 |
| f | false | 600 | 600 | initializer for c105 |
| f | false | 604 | 604 | call to C |
| f | false | 608 | 608 | 109 |
| f | false | 609 | 609 | initializer for c109 |
| f | true | 430 | 591 | |
| f | true | 433 | 465 | |
| f | true | 438 | 433 | |
| f | true | 439 | 438 | |
| f | true | 443 | 581 | |
| f | true | 447 | 443 | |
| f | true | 448 | 447 | |
| f | true | 451 | 439 | |
| f | true | 453 | 463 | T |
| f | true | 453 | 467 | F |
| f | true | 458 | 459 | |
| f | true | 459 | 583 | |
| f | true | 461 | 458 | |
| f | true | 463 | 461 | |
| f | true | 465 | 453 | |
| f | true | 467 | 448 | |
| f | true | 469 | 451 | |
| f | true | 476 | 488 | T |
| f | true | 478 | 575 | |
| f | true | 482 | 478 | |
| f | true | 483 | 482 | |
| f | true | 486 | 483 | |
| f | true | 488 | 486 | |
| f | true | 490 | 469 | |
| f | true | 492 | 600 | |
| f | true | 495 | 526 | |
| f | true | 499 | 495 | |
| f | true | 500 | 499 | |
| f | true | 504 | 571 | |
| f | true | 508 | 504 | |
| f | true | 509 | 508 | |
| f | true | 512 | 500 | |
| f | true | 514 | 524 | T |
| f | true | 514 | 528 | F |
| f | true | 519 | 520 | |
| f | true | 520 | 573 | |
| f | true | 522 | 519 | |
| f | true | 524 | 522 | |
| f | true | 526 | 514 | |
| f | true | 528 | 509 | |
| f | true | 530 | 512 | |
| f | true | 533 | 565 | |
| f | true | 537 | 533 | |
| f | true | 538 | 537 | |
| f | true | 541 | 538 | |
| f | true | 543 | 541 | |
| f | true | 545 | 530 | |
| f | true | 547 | 609 | |
| f | true | 549 | 559 | |
| f | true | 551 | 430 | |
| f | true | 553 | 555 | |
| f | true | 555 | 419 | |
| f | true | 557 | 558 | |
| f | true | 558 | 553 | |
| f | true | 559 | 560 | |
| f | true | 560 | 557 | |
| f | true | 561 | 562 | |
| f | true | 562 | 419 | |
| f | true | 563 | 564 | |
| f | true | 564 | 561 | |
| f | true | 565 | 567 | |
| f | true | 567 | 547 | |
| f | true | 567 | 563 | |
| f | true | 568 | 570 | |
| f | true | 570 | 543 | |
| f | true | 571 | 572 | |
| f | true | 572 | 568 | |
| f | true | 573 | 574 | |
| f | true | 574 | 543 | |
| f | true | 575 | 577 | |
| f | true | 577 | 492 | |
| f | true | 578 | 580 | |
| f | true | 580 | 492 | |
| f | true | 581 | 582 | |
| f | true | 582 | 578 | |
| f | true | 583 | 584 | |
| f | true | 584 | 476 | |
| f | true | 586 | 490 | |
| f | true | 590 | 586 | |
| f | true | 591 | 590 | |
| f | true | 595 | 545 | |
| f | true | 599 | 595 | |
| f | true | 600 | 599 | |
| f | true | 604 | 549 | |
| f | true | 608 | 604 | |
| f | true | 609 | 608 | |
| f1 | false | 275 | 275 | f1 |
| f2 | false | 282 | 282 | f2 |
| f3 | false | 287 | 287 | f3 |
@@ -338,8 +340,6 @@
| i | false | 334 | 334 | i |
| j | false | 344 | 344 | j |
| k | false | 355 | 355 | k |
| operator= | false | 140 | 140 | operator= |
| operator= | false | 147 | 147 | operator= |
| run_fun2 | false | 182 | 182 | run_fun2 |
| run_fun2 | false | 190 | 190 | call to fun2 |
| run_fun2 | false | 192 | 192 | ExprStmt |

4
cpp/ql/test/library-tests/controlflow/exits/exits.expected
View File

@@ -1,5 +1,5 @@
| file://:0:0:0:0 | operator= | operator= | returns |
| file://:0:0:0:0 | operator= | operator= | returns |
| file://:0:0:0:0 | operator= | __va_list_tag::operator= | returns |
| file://:0:0:0:0 | operator= | __va_list_tag::operator= | returns |
| test.cpp:1:6:1:9 | exit | exit | exits |
| test.cpp:2:6:2:10 | _exit | _exit | exits |
| test.cpp:3:6:3:10 | abort | abort | exits |

2
cpp/ql/test/library-tests/declaration/IsMember.expected
View File

@@ -43,5 +43,7 @@
| declaration.cpp:122:5:122:20 | myMemberVariable |
| file://:0:0:0:0 | fp_offset |
| file://:0:0:0:0 | gp_offset |
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | overflow_arg_area |
| file://:0:0:0:0 | reg_save_area |

1
cpp/ql/test/library-tests/depends_friends/Friend1.expected
View File

@@ -1,3 +1,4 @@
| file://:0:0:0:0 | __va_list_tag | file://:0:0:0:0 | __va_list_tag |
| friends.cpp:1:7:1:13 | Friend1 | friends.cpp:1:7:1:13 | Friend1 |
| friends.cpp:10:7:10:13 | Friend2 | friends.cpp:10:7:10:13 | Friend2 |
| friends.cpp:24:7:24:7 | C | friends.cpp:1:7:1:13 | Friend1 |

510
cpp/ql/test/library-tests/destructors/cfg.expected
View File

@@ -1,255 +1,255 @@
| C::C | false | 198 | 198 | C |
| C::C | false | 399 | 399 | C |
| C::operator= | false | 392 | 392 | operator= |
| C::~C | false | 332 | 332 | ~C |
| Class2::Class2 | false | 540 | 540 | Class2 |
| Class2::Class2 | false | 546 | 546 | return ... |
| Class2::Class2 | false | 548 | 548 | { ... } |
| Class2::Class2 | false | 549 | 549 | Class2 |
| Class2::Class2 | true | 546 | 540 | |
| Class2::Class2 | true | 548 | 546 | |
| Class2::operator= | false | 534 | 534 | operator= |
| Class2::~Class2 | false | 469 | 469 | ~Class2 |
| Outer::Inner::Inner | false | 490 | 490 | Inner |
| Outer::Inner::Inner | false | 511 | 511 | Inner |
| Outer::Inner::Inner | false | 530 | 530 | return ... |
| Outer::Inner::Inner | false | 532 | 532 | { ... } |
| Outer::Inner::Inner | true | 530 | 490 | |
| Outer::Inner::Inner | true | 532 | 530 | |
| Outer::Inner::operator= | false | 504 | 504 | operator= |
| Outer::Inner::~Inner | false | 472 | 472 | ~Inner |
| Outer::Inner::~Inner | false | 519 | 519 | return ... |
| Outer::Inner::~Inner | false | 521 | 521 | { ... } |
| Outer::Inner::~Inner | true | 519 | 472 | |
| Outer::Inner::~Inner | true | 521 | 519 | |
| Outer::f2 | false | 441 | 441 | f2 |
| Outer::f2 | false | 449 | 449 | declaration |
| Outer::f2 | false | 451 | 451 | i |
| Outer::f2 | false | 453 | 453 | (bool)... |
| Outer::f2 | false | 454 | 454 | return ... |
| Outer::f2 | false | 456 | 456 | { ... } |
| Outer::f2 | false | 458 | 458 | if (...) ... |
| Outer::f2 | false | 460 | 460 | declaration |
| Outer::f2 | false | 462 | 462 | return ... |
| Outer::f2 | false | 464 | 464 | { ... } |
| Outer::f2 | false | 466 | 466 | c |
| Outer::f2 | false | 468 | 468 | call to c.~Class2 |
| Outer::f2 | false | 470 | 470 | inner |
| Outer::f2 | false | 471 | 471 | call to inner.~Inner |
| Outer::f2 | false | 476 | 476 | call to getClass2 |
| Outer::f2 | false | 478 | 478 | initializer for c |
| Outer::f2 | false | 483 | 483 | call to Inner |
| Outer::f2 | false | 492 | 492 | c |
| Outer::f2 | false | 494 | 494 | (const Class2)... |
| Outer::f2 | false | 495 | 495 | (reference to) |
| Outer::f2 | false | 496 | 496 | initializer for inner |
| Outer::f2 | true | 449 | 478 | |
| Outer::f2 | true | 451 | 456 | T |
| Outer::f2 | true | 451 | 460 | F |
| Outer::f2 | true | 454 | 466 | |
| Outer::f2 | true | 456 | 454 | |
| Outer::f2 | true | 458 | 451 | |
| Outer::f2 | true | 460 | 496 | |
| Outer::f2 | true | 462 | 470 | |
| Outer::f2 | true | 464 | 449 | |
| Outer::f2 | true | 466 | 468 | |
| Outer::f2 | true | 468 | 441 | |
| Outer::f2 | true | 470 | 471 | |
| Outer::f2 | true | 471 | 466 | |
| Outer::f2 | true | 476 | 458 | |
| Outer::f2 | true | 478 | 476 | |
| Outer::f2 | true | 483 | 462 | |
| Outer::f2 | true | 492 | 483 | |
| Outer::f2 | true | 496 | 492 | |
| Outer::operator= | false | 426 | 426 | operator= |
| Outer::operator= | false | 437 | 437 | operator= |
| f | false | 182 | 182 | f |
| f | false | 193 | 193 | declaration |
| f | false | 196 | 196 | call to C |
| f | false | 201 | 201 | 120 |
| f | false | 202 | 202 | initializer for c20 |
| f | false | 206 | 206 | call to C |
| f | false | 210 | 210 | 121 |
| f | false | 211 | 211 | initializer for c21 |
| f | false | 214 | 214 | declaration |
| f | false | 217 | 217 | call to C |
| f | false | 221 | 221 | 130 |
| f | false | 222 | 222 | initializer for c30 |
| f | false | 225 | 225 | declaration |
| f | false | 227 | 227 | { ... } |
| f | false | 230 | 230 | call to C |
| f | false | 234 | 234 | 131 |
| f | false | 235 | 235 | initializer for c31 |
| f | false | 239 | 239 | call to C |
| f | false | 243 | 243 | 132 |
| f | false | 244 | 244 | initializer for c32 |
| f | false | 248 | 248 | call to C |
| f | false | 252 | 252 | 133 |
| f | false | 253 | 253 | initializer for c33 |
| f | false | 256 | 256 | declaration |
| f | false | 258 | 258 | b1 |
| f | false | 260 | 260 | (bool)... |
| f | false | 261 | 261 | goto ... |
| f | false | 263 | 263 | if (...) ... |
| f | false | 265 | 265 | declaration |
| f | false | 267 | 267 | b2 |
| f | false | 269 | 269 | (bool)... |
| f | false | 270 | 270 | return ... |
| f | false | 272 | 272 | if (...) ... |
| f | false | 274 | 274 | declaration |
| f | false | 276 | 276 | { ... } |
| f | false | 279 | 279 | call to C |
| f | false | 283 | 283 | 134 |
| f | false | 284 | 284 | initializer for c34 |
| f | false | 287 | 287 | declaration |
| f | false | 289 | 289 | { ... } |
| f | false | 291 | 291 | declaration |
| f | false | 293 | 293 | { ... } |
| f | false | 296 | 296 | call to C |
| f | false | 300 | 300 | 122 |
| f | false | 301 | 301 | initializer for c22 |
| f | false | 304 | 304 | declaration |
| f | false | 306 | 306 | { ... } |
| f | false | 309 | 309 | call to C |
| f | false | 313 | 313 | 123 |
| f | false | 314 | 314 | initializer for c23 |
| f | false | 317 | 317 | label ...: |
| f | false | 319 | 319 | declaration |
| f | false | 321 | 321 | { ... } |
| f | false | 323 | 323 | declaration |
| f | false | 325 | 325 | return ... |
| f | false | 327 | 327 | { ... } |
| f | false | 329 | 329 | c10 |
| f | false | 331 | 331 | call to c10.~C |
| f | false | 333 | 333 | c11 |
| f | false | 334 | 334 | call to c11.~C |
| f | false | 335 | 335 | c23 |
| f | false | 337 | 337 | call to c23.~C |
| f | false | 338 | 338 | c22 |
| f | false | 340 | 340 | call to c22.~C |
| f | false | 341 | 341 | c20 |
| f | false | 343 | 343 | call to c20.~C |
| f | false | 344 | 344 | c21 |
| f | false | 345 | 345 | call to c21.~C |
| f | false | 346 | 346 | c34 |
| f | false | 348 | 348 | call to c34.~C |
| f | false | 349 | 349 | c31 |
| f | false | 351 | 351 | call to c31.~C |
| f | false | 352 | 352 | c32 |
| f | false | 353 | 353 | call to c32.~C |
| f | false | 354 | 354 | c33 |
| f | false | 355 | 355 | call to c33.~C |
| f | false | 356 | 356 | c20 |
| f | false | 357 | 357 | call to c20.~C |
| f | false | 358 | 358 | c31 |
| f | false | 359 | 359 | call to c31.~C |
| f | false | 360 | 360 | c32 |
| f | false | 361 | 361 | call to c32.~C |
| f | false | 362 | 362 | c20 |
| f | false | 363 | 363 | call to c20.~C |
| f | false | 364 | 364 | c31 |
| f | false | 365 | 365 | call to c31.~C |
| f | false | 366 | 366 | c30 |
| f | false | 368 | 368 | call to c30.~C |
| f | false | 370 | 370 | call to C |
| f | false | 374 | 374 | 110 |
| f | false | 375 | 375 | initializer for c10 |
| f | false | 379 | 379 | call to C |
| f | false | 383 | 383 | 111 |
| f | false | 384 | 384 | initializer for c11 |
| f | true | 193 | 375 | |
| f | true | 196 | 227 | |
| f | true | 201 | 196 | |
| f | true | 202 | 201 | |
| f | true | 206 | 344 | |
| f | true | 210 | 206 | |
| f | true | 211 | 210 | |
| f | true | 214 | 202 | |
| f | true | 217 | 366 | |
| f | true | 221 | 217 | |
| f | true | 222 | 221 | |
| f | true | 225 | 222 | |
| f | true | 227 | 225 | |
| f | true | 230 | 263 | |
| f | true | 234 | 230 | |
| f | true | 235 | 234 | |
| f | true | 239 | 272 | |
| f | true | 243 | 239 | |
| f | true | 244 | 243 | |
| f | true | 248 | 354 | |
| f | true | 252 | 248 | |
| f | true | 253 | 252 | |
| f | true | 256 | 235 | |
| f | true | 258 | 261 | T |
| f | true | 258 | 265 | F |
| f | true | 261 | 364 | |
| f | true | 263 | 258 | |
| f | true | 265 | 244 | |
| f | true | 267 | 270 | T |
| f | true | 267 | 274 | F |
| f | true | 270 | 360 | |
| f | true | 272 | 267 | |
| f | true | 274 | 253 | |
| f | true | 276 | 256 | |
| f | true | 279 | 346 | |
| f | true | 283 | 279 | |
| f | true | 284 | 283 | |
| f | true | 287 | 284 | |
| f | true | 289 | 287 | |
| f | true | 291 | 211 | |
| f | true | 293 | 214 | |
| f | true | 296 | 338 | |
| f | true | 300 | 296 | |
| f | true | 301 | 300 | |
| f | true | 304 | 301 | |
| f | true | 306 | 304 | |
| f | true | 309 | 335 | |
| f | true | 313 | 309 | |
| f | true | 314 | 313 | |
| f | true | 317 | 319 | |
| f | true | 319 | 314 | |
| f | true | 321 | 317 | |
| f | true | 323 | 384 | |
| f | true | 325 | 333 | |
| f | true | 327 | 193 | |
| f | true | 329 | 331 | |
| f | true | 331 | 182 | |
| f | true | 333 | 334 | |
| f | true | 334 | 329 | |
| f | true | 335 | 337 | |
| f | true | 337 | 323 | |
| f | true | 338 | 340 | |
| f | true | 340 | 321 | |
| f | true | 341 | 343 | |
| f | true | 343 | 306 | |
| f | true | 344 | 345 | |
| f | true | 345 | 341 | |
| f | true | 346 | 348 | |
| f | true | 348 | 291 | |
| f | true | 349 | 351 | |
| f | true | 351 | 289 | |
| f | true | 352 | 353 | |
| f | true | 353 | 349 | |
| f | true | 354 | 355 | |
| f | true | 355 | 352 | |
| f | true | 356 | 357 | |
| f | true | 357 | 329 | |
| f | true | 358 | 359 | |
| f | true | 359 | 356 | |
| f | true | 360 | 361 | |
| f | true | 361 | 358 | |
| f | true | 362 | 363 | |
| f | true | 363 | 317 | |
| f | true | 364 | 365 | |
| f | true | 365 | 362 | |
| f | true | 366 | 368 | |
| f | true | 368 | 276 | |
| f | true | 370 | 293 | |
| f | true | 374 | 370 | |
| f | true | 375 | 374 | |
| f | true | 379 | 325 | |
| f | true | 383 | 379 | |
| f | true | 384 | 383 | |
| getClass2 | false | 422 | 422 | getClass2 |
| operator= | false | 93 | 93 | operator= |
| operator= | false | 100 | 100 | operator= |
| C::C | false | 197 | 197 | C |
| C::C | false | 398 | 398 | C |
| C::operator= | false | 391 | 391 | operator= |
| C::~C | false | 331 | 331 | ~C |
| Class2::Class2 | false | 538 | 538 | Class2 |
| Class2::Class2 | false | 544 | 544 | return ... |
| Class2::Class2 | false | 546 | 546 | { ... } |
| Class2::Class2 | false | 547 | 547 | Class2 |
| Class2::Class2 | true | 544 | 538 | |
| Class2::Class2 | true | 546 | 544 | |
| Class2::operator= | false | 532 | 532 | operator= |
| Class2::~Class2 | false | 467 | 467 | ~Class2 |
| Outer::Inner::Inner | false | 488 | 488 | Inner |
| Outer::Inner::Inner | false | 509 | 509 | Inner |
| Outer::Inner::Inner | false | 528 | 528 | return ... |
| Outer::Inner::Inner | false | 530 | 530 | { ... } |
| Outer::Inner::Inner | true | 528 | 488 | |
| Outer::Inner::Inner | true | 530 | 528 | |
| Outer::Inner::operator= | false | 502 | 502 | operator= |
| Outer::Inner::~Inner | false | 470 | 470 | ~Inner |
| Outer::Inner::~Inner | false | 517 | 517 | return ... |
| Outer::Inner::~Inner | false | 519 | 519 | { ... } |
| Outer::Inner::~Inner | true | 517 | 470 | |
| Outer::Inner::~Inner | true | 519 | 517 | |
| Outer::f2 | false | 439 | 439 | f2 |
| Outer::f2 | false | 447 | 447 | declaration |
| Outer::f2 | false | 449 | 449 | i |
| Outer::f2 | false | 451 | 451 | (bool)... |
| Outer::f2 | false | 452 | 452 | return ... |
| Outer::f2 | false | 454 | 454 | { ... } |
| Outer::f2 | false | 456 | 456 | if (...) ... |
| Outer::f2 | false | 458 | 458 | declaration |
| Outer::f2 | false | 460 | 460 | return ... |
| Outer::f2 | false | 462 | 462 | { ... } |
| Outer::f2 | false | 464 | 464 | c |
| Outer::f2 | false | 466 | 466 | call to c.~Class2 |
| Outer::f2 | false | 468 | 468 | inner |
| Outer::f2 | false | 469 | 469 | call to inner.~Inner |
| Outer::f2 | false | 474 | 474 | call to getClass2 |
| Outer::f2 | false | 476 | 476 | initializer for c |
| Outer::f2 | false | 481 | 481 | call to Inner |
| Outer::f2 | false | 490 | 490 | c |
| Outer::f2 | false | 492 | 492 | (const Class2)... |
| Outer::f2 | false | 493 | 493 | (reference to) |
| Outer::f2 | false | 494 | 494 | initializer for inner |
| Outer::f2 | true | 447 | 476 | |
| Outer::f2 | true | 449 | 454 | T |
| Outer::f2 | true | 449 | 458 | F |
| Outer::f2 | true | 452 | 464 | |
| Outer::f2 | true | 454 | 452 | |
| Outer::f2 | true | 456 | 449 | |
| Outer::f2 | true | 458 | 494 | |
| Outer::f2 | true | 460 | 468 | |
| Outer::f2 | true | 462 | 447 | |
| Outer::f2 | true | 464 | 466 | |
| Outer::f2 | true | 466 | 439 | |
| Outer::f2 | true | 468 | 469 | |
| Outer::f2 | true | 469 | 464 | |
| Outer::f2 | true | 474 | 456 | |
| Outer::f2 | true | 476 | 474 | |
| Outer::f2 | true | 481 | 460 | |
| Outer::f2 | true | 490 | 481 | |
| Outer::f2 | true | 494 | 490 | |
| Outer::operator= | false | 424 | 424 | operator= |
| Outer::operator= | false | 435 | 435 | operator= |
| __va_list_tag::operator= | false | 93 | 93 | operator= |
| __va_list_tag::operator= | false | 100 | 100 | operator= |
| f | false | 181 | 181 | f |
| f | false | 192 | 192 | declaration |
| f | false | 195 | 195 | call to C |
| f | false | 200 | 200 | 120 |
| f | false | 201 | 201 | initializer for c20 |
| f | false | 205 | 205 | call to C |
| f | false | 209 | 209 | 121 |
| f | false | 210 | 210 | initializer for c21 |
| f | false | 213 | 213 | declaration |
| f | false | 216 | 216 | call to C |
| f | false | 220 | 220 | 130 |
| f | false | 221 | 221 | initializer for c30 |
| f | false | 224 | 224 | declaration |
| f | false | 226 | 226 | { ... } |
| f | false | 229 | 229 | call to C |
| f | false | 233 | 233 | 131 |
| f | false | 234 | 234 | initializer for c31 |
| f | false | 238 | 238 | call to C |
| f | false | 242 | 242 | 132 |
| f | false | 243 | 243 | initializer for c32 |
| f | false | 247 | 247 | call to C |
| f | false | 251 | 251 | 133 |
| f | false | 252 | 252 | initializer for c33 |
| f | false | 255 | 255 | declaration |
| f | false | 257 | 257 | b1 |
| f | false | 259 | 259 | (bool)... |
| f | false | 260 | 260 | goto ... |
| f | false | 262 | 262 | if (...) ... |
| f | false | 264 | 264 | declaration |
| f | false | 266 | 266 | b2 |
| f | false | 268 | 268 | (bool)... |
| f | false | 269 | 269 | return ... |
| f | false | 271 | 271 | if (...) ... |
| f | false | 273 | 273 | declaration |
| f | false | 275 | 275 | { ... } |
| f | false | 278 | 278 | call to C |
| f | false | 282 | 282 | 134 |
| f | false | 283 | 283 | initializer for c34 |
| f | false | 286 | 286 | declaration |
| f | false | 288 | 288 | { ... } |
| f | false | 290 | 290 | declaration |
| f | false | 292 | 292 | { ... } |
| f | false | 295 | 295 | call to C |
| f | false | 299 | 299 | 122 |
| f | false | 300 | 300 | initializer for c22 |
| f | false | 303 | 303 | declaration |
| f | false | 305 | 305 | { ... } |
| f | false | 308 | 308 | call to C |
| f | false | 312 | 312 | 123 |
| f | false | 313 | 313 | initializer for c23 |
| f | false | 316 | 316 | label ...: |
| f | false | 318 | 318 | declaration |
| f | false | 320 | 320 | { ... } |
| f | false | 322 | 322 | declaration |
| f | false | 324 | 324 | return ... |
| f | false | 326 | 326 | { ... } |
| f | false | 328 | 328 | c10 |
| f | false | 330 | 330 | call to c10.~C |
| f | false | 332 | 332 | c11 |
| f | false | 333 | 333 | call to c11.~C |
| f | false | 334 | 334 | c23 |
| f | false | 336 | 336 | call to c23.~C |
| f | false | 337 | 337 | c22 |
| f | false | 339 | 339 | call to c22.~C |
| f | false | 340 | 340 | c20 |
| f | false | 342 | 342 | call to c20.~C |
| f | false | 343 | 343 | c21 |
| f | false | 344 | 344 | call to c21.~C |
| f | false | 345 | 345 | c34 |
| f | false | 347 | 347 | call to c34.~C |
| f | false | 348 | 348 | c31 |
| f | false | 350 | 350 | call to c31.~C |
| f | false | 351 | 351 | c32 |
| f | false | 352 | 352 | call to c32.~C |
| f | false | 353 | 353 | c33 |
| f | false | 354 | 354 | call to c33.~C |
| f | false | 355 | 355 | c20 |
| f | false | 356 | 356 | call to c20.~C |
| f | false | 357 | 357 | c31 |
| f | false | 358 | 358 | call to c31.~C |
| f | false | 359 | 359 | c32 |
| f | false | 360 | 360 | call to c32.~C |
| f | false | 361 | 361 | c20 |
| f | false | 362 | 362 | call to c20.~C |
| f | false | 363 | 363 | c31 |
| f | false | 364 | 364 | call to c31.~C |
| f | false | 365 | 365 | c30 |
| f | false | 367 | 367 | call to c30.~C |
| f | false | 369 | 369 | call to C |
| f | false | 373 | 373 | 110 |
| f | false | 374 | 374 | initializer for c10 |
| f | false | 378 | 378 | call to C |
| f | false | 382 | 382 | 111 |
| f | false | 383 | 383 | initializer for c11 |
| f | true | 192 | 374 | |
| f | true | 195 | 226 | |
| f | true | 200 | 195 | |
| f | true | 201 | 200 | |
| f | true | 205 | 343 | |
| f | true | 209 | 205 | |
| f | true | 210 | 209 | |
| f | true | 213 | 201 | |
| f | true | 216 | 365 | |
| f | true | 220 | 216 | |
| f | true | 221 | 220 | |
| f | true | 224 | 221 | |
| f | true | 226 | 224 | |
| f | true | 229 | 262 | |
| f | true | 233 | 229 | |
| f | true | 234 | 233 | |
| f | true | 238 | 271 | |
| f | true | 242 | 238 | |
| f | true | 243 | 242 | |
| f | true | 247 | 353 | |
| f | true | 251 | 247 | |
| f | true | 252 | 251 | |
| f | true | 255 | 234 | |
| f | true | 257 | 260 | T |
| f | true | 257 | 264 | F |
| f | true | 260 | 363 | |
| f | true | 262 | 257 | |
| f | true | 264 | 243 | |
| f | true | 266 | 269 | T |
| f | true | 266 | 273 | F |
| f | true | 269 | 359 | |
| f | true | 271 | 266 | |
| f | true | 273 | 252 | |
| f | true | 275 | 255 | |
| f | true | 278 | 345 | |
| f | true | 282 | 278 | |
| f | true | 283 | 282 | |
| f | true | 286 | 283 | |
| f | true | 288 | 286 | |
| f | true | 290 | 210 | |
| f | true | 292 | 213 | |
| f | true | 295 | 337 | |
| f | true | 299 | 295 | |
| f | true | 300 | 299 | |
| f | true | 303 | 300 | |
| f | true | 305 | 303 | |
| f | true | 308 | 334 | |
| f | true | 312 | 308 | |
| f | true | 313 | 312 | |
| f | true | 316 | 318 | |
| f | true | 318 | 313 | |
| f | true | 320 | 316 | |
| f | true | 322 | 383 | |
| f | true | 324 | 332 | |
| f | true | 326 | 192 | |
| f | true | 328 | 330 | |
| f | true | 330 | 181 | |
| f | true | 332 | 333 | |
| f | true | 333 | 328 | |
| f | true | 334 | 336 | |
| f | true | 336 | 322 | |
| f | true | 337 | 339 | |
| f | true | 339 | 320 | |
| f | true | 340 | 342 | |
| f | true | 342 | 305 | |
| f | true | 343 | 344 | |
| f | true | 344 | 340 | |
| f | true | 345 | 347 | |
| f | true | 347 | 290 | |
| f | true | 348 | 350 | |
| f | true | 350 | 288 | |
| f | true | 351 | 352 | |
| f | true | 352 | 348 | |
| f | true | 353 | 354 | |
| f | true | 354 | 351 | |
| f | true | 355 | 356 | |
| f | true | 356 | 328 | |
| f | true | 357 | 358 | |
| f | true | 358 | 355 | |
| f | true | 359 | 360 | |
| f | true | 360 | 357 | |
| f | true | 361 | 362 | |
| f | true | 362 | 316 | |
| f | true | 363 | 364 | |
| f | true | 364 | 361 | |
| f | true | 365 | 367 | |
| f | true | 367 | 275 | |
| f | true | 369 | 292 | |
| f | true | 373 | 369 | |
| f | true | 374 | 373 | |
| f | true | 378 | 324 | |
| f | true | 382 | 378 | |
| f | true | 383 | 382 | |
| getClass2 | false | 420 | 420 | getClass2 |

2
cpp/ql/test/library-tests/functions/functions/Functions2.expected
View File

@@ -4,6 +4,8 @@
| ODASA-5186.cpp:4:8:4:14 | MyClass<int> | Struct | ODASA-5186.cpp:5:8:5:8 | operator== | member function |
| ODASA-5186.hpp:2:8:2:17 | NEQ_helper<MyClass<int>> | Struct | ODASA-5186.hpp:2:8:2:8 | operator= | member function |
| ODASA-5186.hpp:2:8:2:17 | NEQ_helper<MyClass<int>> | Struct | ODASA-5186.hpp:2:8:2:8 | operator= | member function |
| file://:0:0:0:0 | __va_list_tag | Struct | file://:0:0:0:0 | operator= | member function |
| file://:0:0:0:0 | __va_list_tag | Struct | file://:0:0:0:0 | operator= | member function |
| functions.cpp:7:8:7:8 | A | Struct | functions.cpp:7:8:7:8 | operator= | member function |
| functions.cpp:7:8:7:8 | A | Struct | functions.cpp:7:8:7:8 | operator= | member function |
| functions.cpp:7:8:7:8 | A | Struct | functions.cpp:8:7:8:8 | af | member function |

16
cpp/ql/test/library-tests/ir/ir/PrintAST.expected
View File

@@ -1,3 +1,11 @@
#-----| __va_list_tag::operator=(__va_list_tag &&) -> __va_list_tag &
#-----| params:
#-----| 0: p#0
#-----| Type = __va_list_tag &&
#-----| __va_list_tag::operator=(const __va_list_tag &) -> __va_list_tag &
#-----| params:
#-----| 0: p#0
#-----| Type = const __va_list_tag &
#-----| operator delete(void *, unsigned long) -> void
#-----| params:
#-----| 0: p#0
@@ -30,14 +38,6 @@
#-----| Type = unsigned long
#-----| 1: p#1
#-----| Type = align_val_t
#-----| operator=(__va_list_tag &&) -> __va_list_tag &
#-----| params:
#-----| 0: p#0
#-----| Type = __va_list_tag &&
#-----| operator=(const __va_list_tag &) -> __va_list_tag &
#-----| params:
#-----| 0: p#0
#-----| Type = const __va_list_tag &
ir.cpp:
# 1| Constants() -> void
# 1| params:

4
cpp/ql/test/library-tests/lambdas/cfg/cfg.expected
View File

@@ -59,6 +59,8 @@
| <no scope> | true | 259 | 195 | |
| <no scope> | true | 261 | 259 | |
| <no scope> | true | 263 | 206 | |
| __va_list_tag::operator= | false | 92 | 92 | operator= |
| __va_list_tag::operator= | false | 99 | 99 | operator= |
| main | false | 147 | 147 | main |
| main | false | 269 | 269 | declaration |
| main | false | 271 | 271 | call to printf |
@@ -98,6 +100,4 @@
| main | true | 315 | 147 | |
| main | true | 316 | 315 | |
| main | true | 318 | 269 | |
| operator= | false | 92 | 92 | operator= |
| operator= | false | 99 | 99 | operator= |
| printf | false | 209 | 209 | printf |

2
cpp/ql/test/library-tests/members/getters/members.expected
View File

@@ -1,5 +1,3 @@
| file://:0:0:0:0 | <none> | file://:0:0:0:0 | operator= | operator=(__va_list_tag &&) | Orphan |
| file://:0:0:0:0 | <none> | file://:0:0:0:0 | operator= | operator=(const __va_list_tag &) | Orphan |
| file://:0:0:0:0 | <none> | test.cpp:34:6:34:6 | g | g() | Orphan |
| test.cpp:2:7:2:7 | C | test.cpp:2:7:2:7 | operator= | C::operator=(C &&) | getAMember(), getAMember(6), getAMemberFunction(), getCanonicalMember(6), getDeclaringType() |
| test.cpp:2:7:2:7 | C | test.cpp:2:7:2:7 | operator= | C::operator=(const C &) | getAMember(), getAMember(6), getAMemberFunction(), getCanonicalMember(6), getDeclaringType() |

1
cpp/ql/test/library-tests/members/templates/members.expected
View File

@@ -2,6 +2,7 @@
| file://:0:0:0:0 | __va_list_tag | 1 __va_list_tag::fp_offset |
| file://:0:0:0:0 | __va_list_tag | 2 __va_list_tag::overflow_arg_area |
| file://:0:0:0:0 | __va_list_tag | 3 __va_list_tag::reg_save_area |
| file://:0:0:0:0 | __va_list_tag | 6 __va_list_tag::operator= |
| h.h:2:7:2:8 | CA | 0 CA::CB<TB> |
| h.h:2:7:2:8 | CA | 0 CA::CB<double> |
| h.h:2:7:2:8 | CA | 0 CA::CB<float> |

4
cpp/ql/test/library-tests/namespaces/namespaces/decls.expected
View File

@@ -1,8 +1,8 @@
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | __va_list_tag | __va_list_tag | true |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | fp_offset | __va_list_tag::fp_offset | false |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | gp_offset | __va_list_tag::gp_offset | false |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | operator= | operator= | true |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | operator= | operator= | true |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | operator= | __va_list_tag::operator= | false |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | operator= | __va_list_tag::operator= | false |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | overflow_arg_area | __va_list_tag::overflow_arg_area | false |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | p#0 | <none> | false |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | p#0 | <none> | false |

2
cpp/ql/test/library-tests/noexcept/copy_from_prototype/copy_from_prototype.expected
View File

@@ -26,3 +26,5 @@
| copy_from_prototype.cpp:22:8:22:8 | operator= | e<int>::operator=(e<int> &&) | copy_from_prototype.cpp:22:8:22:8 | e<int> | <no expr> |
| copy_from_prototype.cpp:23:26:23:26 | e | e<T>::e<(unnamed)>() | copy_from_prototype.cpp:22:8:22:8 | e<T> | 456 |
| copy_from_prototype.cpp:26:35:26:43 | e | e<int>::e<(unnamed)>() | copy_from_prototype.cpp:22:8:22:8 | e<int> | 456 |
| file://:0:0:0:0 | operator= | __va_list_tag::operator=(__va_list_tag &&) | file://:0:0:0:0 | __va_list_tag | <none> |
| file://:0:0:0:0 | operator= | __va_list_tag::operator=(const __va_list_tag &) | file://:0:0:0:0 | __va_list_tag | <none> |

2
cpp/ql/test/library-tests/pod/isPOD03.expected
View File

@@ -1,4 +1,4 @@
| file://:0:0:0:0 | __va_list_tag | true |
| file://:0:0:0:0 | __va_list_tag | false |
| test1.cpp:5:8:5:8 | S | false |
| test2.cpp:6:8:6:10 | Foo | true |
| test3.cpp:2:7:2:14 | MyClass1 | true |

4
cpp/ql/test/library-tests/qualifiers/class-enum/decls.expected
View File

@@ -1,8 +1,8 @@
| file://:0:0:0:0 | __va_list_tag | __va_list_tag |
| file://:0:0:0:0 | fp_offset | __va_list_tag::fp_offset |
| file://:0:0:0:0 | gp_offset | __va_list_tag::gp_offset |
| file://:0:0:0:0 | operator= | operator= |
| file://:0:0:0:0 | operator= | operator= |
| file://:0:0:0:0 | operator= | __va_list_tag::operator= |
| file://:0:0:0:0 | operator= | __va_list_tag::operator= |
| file://:0:0:0:0 | overflow_arg_area | __va_list_tag::overflow_arg_area |
| file://:0:0:0:0 | reg_save_area | __va_list_tag::reg_save_area |
| test.cpp:2:7:2:7 | operator= | MyEnumClass::operator= |

4
cpp/ql/test/library-tests/scopes/parents/parents.expected
View File

@@ -1,9 +1,9 @@
| 0 | file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | __va_list_tag |
| 0 | file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | operator= |
| 0 | file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | operator= |
| 0 | file://:0:0:0:0 | (global namespace) | parents.cpp:2:11:2:13 | foo |
| 1 | file://:0:0:0:0 | __va_list_tag | file://:0:0:0:0 | fp_offset |
| 1 | file://:0:0:0:0 | __va_list_tag | file://:0:0:0:0 | gp_offset |
| 1 | file://:0:0:0:0 | __va_list_tag | file://:0:0:0:0 | operator= |
| 1 | file://:0:0:0:0 | __va_list_tag | file://:0:0:0:0 | operator= |
| 1 | file://:0:0:0:0 | __va_list_tag | file://:0:0:0:0 | overflow_arg_area |
| 1 | file://:0:0:0:0 | __va_list_tag | file://:0:0:0:0 | reg_save_area |
| 1 | file://:0:0:0:0 | operator= | file://:0:0:0:0 | p#0 |

4
cpp/ql/test/library-tests/scopes/scopes/Scopes1.expected
View File

@@ -1,7 +1,5 @@
| file://:0:0:0:0 | (global namespace) | GlobalNamespace | file://:0:0:0:0 | operator delete[] | |
| file://:0:0:0:0 | (global namespace) | GlobalNamespace | file://:0:0:0:0 | operator new[] | |
| file://:0:0:0:0 | (global namespace) | GlobalNamespace | file://:0:0:0:0 | operator= | |
| file://:0:0:0:0 | (global namespace) | GlobalNamespace | file://:0:0:0:0 | operator= | |
| file://:0:0:0:0 | (global namespace) | GlobalNamespace | scopes.cpp:2:7:2:7 | A | Class |
| file://:0:0:0:0 | (global namespace) | GlobalNamespace | scopes.cpp:7:7:7:7 | B | Class |
| file://:0:0:0:0 | (global namespace) | GlobalNamespace | scopes.cpp:11:7:11:7 | C | Class |
@@ -15,6 +13,8 @@
| file://:0:0:0:0 | (global namespace) | GlobalNamespace | scopes.cpp:74:11:74:13 | One | Namespace |
| file://:0:0:0:0 | __va_list_tag | Class | file://:0:0:0:0 | fp_offset | |
| file://:0:0:0:0 | __va_list_tag | Class | file://:0:0:0:0 | gp_offset | |
| file://:0:0:0:0 | __va_list_tag | Class | file://:0:0:0:0 | operator= | |
| file://:0:0:0:0 | __va_list_tag | Class | file://:0:0:0:0 | operator= | |
| file://:0:0:0:0 | __va_list_tag | Class | file://:0:0:0:0 | overflow_arg_area | |
| file://:0:0:0:0 | __va_list_tag | Class | file://:0:0:0:0 | reg_save_area | |
| scopes.cpp:2:7:2:7 | A | Class | scopes.cpp:2:7:2:7 | operator= | |

2
cpp/ql/test/library-tests/scopes/scopes/Scopes3.expected
View File

@@ -1,3 +1,5 @@
| file://:0:0:0:0 | operator= | | file://:0:0:0:0 | __va_list_tag | 6 |
| file://:0:0:0:0 | operator= | | file://:0:0:0:0 | __va_list_tag | 6 |
| scopes.cpp:2:7:2:7 | operator= | | scopes.cpp:2:7:2:7 | A | 2 |
| scopes.cpp:2:7:2:7 | operator= | | scopes.cpp:2:7:2:7 | A | 2 |
| scopes.cpp:7:7:7:7 | operator= | | scopes.cpp:7:7:7:7 | B | 2 |

4
cpp/ql/test/library-tests/scopes/scopes/Scopes4.expected
View File

@@ -1,7 +1,7 @@
| file://:0:0:0:0 | operator delete[] | isTopLevel() | 1 | 1 |
| file://:0:0:0:0 | operator new[] | isTopLevel() | 1 | 1 |
| file://:0:0:0:0 | operator= | isTopLevel() | 1 | 1 |
| file://:0:0:0:0 | operator= | isTopLevel() | 1 | 1 |
| file://:0:0:0:0 | operator= | | 1 | 1 |
| file://:0:0:0:0 | operator= | | 1 | 1 |
| scopes.cpp:2:7:2:7 | operator= | | 1 | 1 |
| scopes.cpp:2:7:2:7 | operator= | | 1 | 1 |
| scopes.cpp:7:7:7:7 | operator= | | 1 | 1 |

2
cpp/ql/test/library-tests/special_members/detect/detect.expected
View File

@@ -21,9 +21,11 @@
| 4 copy assignment | C::operator=(Cinside_lref c) |
| 4 copy assignment | C::operator=(const volatile C & c) |
| 4 copy assignment | C::operator=(rref c_copy) |
| 4 copy assignment | __va_list_tag::operator=(const __va_list_tag & p#0) |
| 5 move assignment | C::operator=(Ctop_rref c) |
| 5 move assignment | C::operator=(const volatile C && c) |
| 5 move assignment | C::operator=(rref c_move) |
| 5 move assignment | __va_list_tag::operator=(__va_list_tag && p#0) |
| 6 none of the above | C::operator=(int i) |
| 6 none of the above | C::operator=(volatile C & c_templated) |
| 6 none of the above | C::operator=(volatile C && c_templated) |

9
cpp/ql/test/library-tests/structs/compatible_cpp/compatible.expected
View File

@@ -34,7 +34,8 @@
| b2.cpp:21:7:21:12 | Damson | 5 members | 2 locations | 4 | bar |
| b2.cpp:21:7:21:12 | Damson | 5 members | 2 locations | 4 | foo |
| b2.cpp:21:7:21:12 | Damson | 5 members | 2 locations | 4 | operator= |
| file://:0:0:0:0 | __va_list_tag | 4 members | 0 locations | 0 | gp_offset |
| file://:0:0:0:0 | __va_list_tag | 4 members | 0 locations | 1 | fp_offset |
| file://:0:0:0:0 | __va_list_tag | 4 members | 0 locations | 2 | overflow_arg_area |
| file://:0:0:0:0 | __va_list_tag | 4 members | 0 locations | 3 | reg_save_area |
| file://:0:0:0:0 | __va_list_tag | 6 members | 0 locations | 0 | gp_offset |
| file://:0:0:0:0 | __va_list_tag | 6 members | 0 locations | 1 | fp_offset |
| file://:0:0:0:0 | __va_list_tag | 6 members | 0 locations | 2 | overflow_arg_area |
| file://:0:0:0:0 | __va_list_tag | 6 members | 0 locations | 3 | reg_save_area |
| file://:0:0:0:0 | __va_list_tag | 6 members | 0 locations | 6 | operator= |

2
cpp/ql/test/library-tests/typedefs/Typedefs1.expected
View File

@@ -3,8 +3,6 @@
| file://:0:0:0:0 | (global namespace) | ODASA-6095-B.hpp:4:8:4:18 | MyTemplate2<X> |
| file://:0:0:0:0 | (global namespace) | ODASA-6095-B.hpp:4:8:4:18 | MyTemplate2<char> |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | __va_list_tag |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | (global namespace) | typedefs.cpp:6:6:6:7 | f1 |
| file://:0:0:0:0 | (global namespace) | typedefs.cpp:12:7:12:7 | A |
| file://:0:0:0:0 | (global namespace) | typedefs.cpp:26:7:26:7 | B |

298
cpp/ql/test/library-tests/virtual_functions/cfg/cfg.expected
View File

@@ -1,149 +1,149 @@
| Base::Base | false | 216 | 216 | Base |
| Base::Base | false | 221 | 221 | return ... |
| Base::Base | false | 223 | 223 | { ... } |
| Base::Base | false | 364 | 364 | Base |
| Base::Base | false | 368 | 368 | Base |
| Base::Base | true | 221 | 216 | |
| Base::Base | true | 223 | 221 | |
| Base::Base_f | false | 408 | 408 | Base_f |
| Base::Base_f | false | 413 | 413 | declaration |
| Base::Base_f | false | 417 | 417 | 1 |
| Base::Base_f | false | 418 | 418 | return ... |
| Base::Base_f | false | 420 | 420 | { ... } |
| Base::Base_f | false | 425 | 425 | call to f |
| Base::Base_f | false | 427 | 427 | this |
| Base::Base_f | false | 428 | 428 | initializer for i |
| Base::Base_f | true | 413 | 428 | |
| Base::Base_f | true | 417 | 408 | |
| Base::Base_f | true | 418 | 417 | |
| Base::Base_f | true | 420 | 413 | |
| Base::Base_f | true | 427 | 425 | |
| Base::Base_f | true | 428 | 427 | |
| Base::Base_g | false | 372 | 372 | Base_g |
| Base::Base_g | false | 377 | 377 | declaration |
| Base::Base_g | false | 381 | 381 | 4 |
| Base::Base_g | false | 382 | 382 | return ... |
| Base::Base_g | false | 384 | 384 | { ... } |
| Base::Base_g | false | 389 | 389 | call to g |
| Base::Base_g | false | 392 | 392 | this |
| Base::Base_g | false | 393 | 393 | initializer for i |
| Base::Base_g | true | 377 | 393 | |
| Base::Base_g | true | 381 | 372 | |
| Base::Base_g | true | 382 | 381 | |
| Base::Base_g | true | 384 | 377 | |
| Base::Base_g | true | 389 | 382 | |
| Base::Base_g | true | 392 | 389 | |
| Base::Base_g | true | 393 | 392 | |
| Base::f | false | 302 | 302 | f |
| Base::f | false | 438 | 438 | call to abort |
| Base::f | false | 440 | 440 | ExprStmt |
| Base::f | false | 442 | 442 | return ... |
| Base::f | false | 444 | 444 | { ... } |
| Base::f | true | 440 | 438 | |
| Base::f | true | 442 | 302 | |
| Base::f | true | 444 | 440 | |
| Base::g | false | 231 | 231 | g |
| Base::g | false | 403 | 403 | 3 |
| Base::g | false | 404 | 404 | return ... |
| Base::g | false | 406 | 406 | { ... } |
| Base::g | true | 403 | 231 | |
| Base::g | true | 404 | 403 | |
| Base::g | true | 406 | 404 | |
| Base::operator= | false | 350 | 350 | operator= |
| Base::operator= | false | 360 | 360 | operator= |
| abort | false | 346 | 346 | abort |
| fun_f1 | false | 313 | 313 | fun_f1 |
| fun_f1 | false | 318 | 318 | declaration |
| fun_f1 | false | 320 | 320 | declaration |
| fun_f1 | false | 324 | 324 | 2 |
| fun_f1 | false | 325 | 325 | return ... |
| fun_f1 | false | 327 | 327 | { ... } |
| fun_f1 | false | 330 | 330 | call to Base |
| fun_f1 | false | 331 | 331 | new |
| fun_f1 | false | 333 | 333 | initializer for p1 |
| fun_f1 | false | 338 | 338 | call to f |
| fun_f1 | false | 340 | 340 | p1 |
| fun_f1 | false | 342 | 342 | initializer for i |
| fun_f1 | true | 318 | 333 | |
| fun_f1 | true | 320 | 342 | |
| fun_f1 | true | 324 | 313 | |
| fun_f1 | true | 325 | 324 | |
| fun_f1 | true | 327 | 318 | |
| fun_f1 | true | 330 | 331 | |
| fun_f1 | true | 331 | 320 | |
| fun_f1 | true | 333 | 330 | |
| fun_f1 | true | 338 | 325 | |
| fun_f1 | true | 340 | 338 | |
| fun_f1 | true | 342 | 340 | |
| fun_f2 | false | 277 | 277 | fun_f2 |
| fun_f2 | false | 282 | 282 | declaration |
| fun_f2 | false | 284 | 284 | declaration |
| fun_f2 | false | 288 | 288 | 2 |
| fun_f2 | false | 289 | 289 | return ... |
| fun_f2 | false | 291 | 291 | { ... } |
| fun_f2 | false | 294 | 294 | call to Base |
| fun_f2 | false | 295 | 295 | new |
| fun_f2 | false | 297 | 297 | initializer for p1 |
| fun_f2 | false | 305 | 305 | call to f |
| fun_f2 | false | 307 | 307 | p1 |
| fun_f2 | false | 309 | 309 | initializer for i |
| fun_f2 | true | 282 | 297 | |
| fun_f2 | true | 284 | 309 | |
| fun_f2 | true | 288 | 277 | |
| fun_f2 | true | 289 | 288 | |
| fun_f2 | true | 291 | 282 | |
| fun_f2 | true | 294 | 295 | |
| fun_f2 | true | 295 | 284 | |
| fun_f2 | true | 297 | 294 | |
| fun_f2 | true | 307 | 305 | |
| fun_f2 | true | 309 | 307 | |
| fun_g1 | false | 244 | 244 | fun_g1 |
| fun_g1 | false | 249 | 249 | declaration |
| fun_g1 | false | 251 | 251 | declaration |
| fun_g1 | false | 255 | 255 | 2 |
| fun_g1 | false | 256 | 256 | return ... |
| fun_g1 | false | 258 | 258 | { ... } |
| fun_g1 | false | 261 | 261 | call to Base |
| fun_g1 | false | 262 | 262 | new |
| fun_g1 | false | 264 | 264 | initializer for p1 |
| fun_g1 | false | 269 | 269 | call to g |
| fun_g1 | false | 271 | 271 | p1 |
| fun_g1 | false | 273 | 273 | initializer for i |
| fun_g1 | true | 249 | 264 | |
| fun_g1 | true | 251 | 273 | |
| fun_g1 | true | 255 | 244 | |
| fun_g1 | true | 256 | 255 | |
| fun_g1 | true | 258 | 249 | |
| fun_g1 | true | 261 | 262 | |
| fun_g1 | true | 262 | 251 | |
| fun_g1 | true | 264 | 261 | |
| fun_g1 | true | 269 | 256 | |
| fun_g1 | true | 271 | 269 | |
| fun_g1 | true | 273 | 271 | |
| fun_g2 | false | 193 | 193 | fun_g2 |
| fun_g2 | false | 198 | 198 | declaration |
| fun_g2 | false | 200 | 200 | declaration |
| fun_g2 | false | 204 | 204 | 2 |
| fun_g2 | false | 205 | 205 | return ... |
| fun_g2 | false | 207 | 207 | { ... } |
| fun_g2 | false | 215 | 215 | call to Base |
| fun_g2 | false | 224 | 224 | new |
| fun_g2 | false | 226 | 226 | initializer for p1 |
| fun_g2 | false | 236 | 236 | call to g |
| fun_g2 | false | 238 | 238 | p1 |
| fun_g2 | false | 240 | 240 | initializer for i |
| fun_g2 | true | 198 | 226 | |
| fun_g2 | true | 200 | 240 | |
| fun_g2 | true | 204 | 193 | |
| fun_g2 | true | 205 | 204 | |
| fun_g2 | true | 207 | 198 | |
| fun_g2 | true | 215 | 224 | |
| fun_g2 | true | 224 | 200 | |
| fun_g2 | true | 226 | 215 | |
| fun_g2 | true | 236 | 205 | |
| fun_g2 | true | 238 | 236 | |
| fun_g2 | true | 240 | 238 | |
| operator delete | false | 213 | 213 | operator delete |
| operator new | false | 211 | 211 | operator new |
| operator= | false | 92 | 92 | operator= |
| operator= | false | 99 | 99 | operator= |
| Base::Base | false | 215 | 215 | Base |
| Base::Base | false | 220 | 220 | return ... |
| Base::Base | false | 222 | 222 | { ... } |
| Base::Base | false | 363 | 363 | Base |
| Base::Base | false | 367 | 367 | Base |
| Base::Base | true | 220 | 215 | |
| Base::Base | true | 222 | 220 | |
| Base::Base_f | false | 407 | 407 | Base_f |
| Base::Base_f | false | 412 | 412 | declaration |
| Base::Base_f | false | 416 | 416 | 1 |
| Base::Base_f | false | 417 | 417 | return ... |
| Base::Base_f | false | 419 | 419 | { ... } |
| Base::Base_f | false | 424 | 424 | call to f |
| Base::Base_f | false | 426 | 426 | this |
| Base::Base_f | false | 427 | 427 | initializer for i |
| Base::Base_f | true | 412 | 427 | |
| Base::Base_f | true | 416 | 407 | |
| Base::Base_f | true | 417 | 416 | |
| Base::Base_f | true | 419 | 412 | |
| Base::Base_f | true | 426 | 424 | |
| Base::Base_f | true | 427 | 426 | |
| Base::Base_g | false | 371 | 371 | Base_g |
| Base::Base_g | false | 376 | 376 | declaration |
| Base::Base_g | false | 380 | 380 | 4 |
| Base::Base_g | false | 381 | 381 | return ... |
| Base::Base_g | false | 383 | 383 | { ... } |
| Base::Base_g | false | 388 | 388 | call to g |
| Base::Base_g | false | 391 | 391 | this |
| Base::Base_g | false | 392 | 392 | initializer for i |
| Base::Base_g | true | 376 | 392 | |
| Base::Base_g | true | 380 | 371 | |
| Base::Base_g | true | 381 | 380 | |
| Base::Base_g | true | 383 | 376 | |
| Base::Base_g | true | 388 | 381 | |
| Base::Base_g | true | 391 | 388 | |
| Base::Base_g | true | 392 | 391 | |
| Base::f | false | 301 | 301 | f |
| Base::f | false | 437 | 437 | call to abort |
| Base::f | false | 439 | 439 | ExprStmt |
| Base::f | false | 441 | 441 | return ... |
| Base::f | false | 443 | 443 | { ... } |
| Base::f | true | 439 | 437 | |
| Base::f | true | 441 | 301 | |
| Base::f | true | 443 | 439 | |
| Base::g | false | 230 | 230 | g |
| Base::g | false | 402 | 402 | 3 |
| Base::g | false | 403 | 403 | return ... |
| Base::g | false | 405 | 405 | { ... } |
| Base::g | true | 402 | 230 | |
| Base::g | true | 403 | 402 | |
| Base::g | true | 405 | 403 | |
| Base::operator= | false | 349 | 349 | operator= |
| Base::operator= | false | 359 | 359 | operator= |
| __va_list_tag::operator= | false | 92 | 92 | operator= |
| __va_list_tag::operator= | false | 99 | 99 | operator= |
| abort | false | 345 | 345 | abort |
| fun_f1 | false | 312 | 312 | fun_f1 |
| fun_f1 | false | 317 | 317 | declaration |
| fun_f1 | false | 319 | 319 | declaration |
| fun_f1 | false | 323 | 323 | 2 |
| fun_f1 | false | 324 | 324 | return ... |
| fun_f1 | false | 326 | 326 | { ... } |
| fun_f1 | false | 329 | 329 | call to Base |
| fun_f1 | false | 330 | 330 | new |
| fun_f1 | false | 332 | 332 | initializer for p1 |
| fun_f1 | false | 337 | 337 | call to f |
| fun_f1 | false | 339 | 339 | p1 |
| fun_f1 | false | 341 | 341 | initializer for i |
| fun_f1 | true | 317 | 332 | |
| fun_f1 | true | 319 | 341 | |
| fun_f1 | true | 323 | 312 | |
| fun_f1 | true | 324 | 323 | |
| fun_f1 | true | 326 | 317 | |
| fun_f1 | true | 329 | 330 | |
| fun_f1 | true | 330 | 319 | |
| fun_f1 | true | 332 | 329 | |
| fun_f1 | true | 337 | 324 | |
| fun_f1 | true | 339 | 337 | |
| fun_f1 | true | 341 | 339 | |
| fun_f2 | false | 276 | 276 | fun_f2 |
| fun_f2 | false | 281 | 281 | declaration |
| fun_f2 | false | 283 | 283 | declaration |
| fun_f2 | false | 287 | 287 | 2 |
| fun_f2 | false | 288 | 288 | return ... |
| fun_f2 | false | 290 | 290 | { ... } |
| fun_f2 | false | 293 | 293 | call to Base |
| fun_f2 | false | 294 | 294 | new |
| fun_f2 | false | 296 | 296 | initializer for p1 |
| fun_f2 | false | 304 | 304 | call to f |
| fun_f2 | false | 306 | 306 | p1 |
| fun_f2 | false | 308 | 308 | initializer for i |
| fun_f2 | true | 281 | 296 | |
| fun_f2 | true | 283 | 308 | |
| fun_f2 | true | 287 | 276 | |
| fun_f2 | true | 288 | 287 | |
| fun_f2 | true | 290 | 281 | |
| fun_f2 | true | 293 | 294 | |
| fun_f2 | true | 294 | 283 | |
| fun_f2 | true | 296 | 293 | |
| fun_f2 | true | 306 | 304 | |
| fun_f2 | true | 308 | 306 | |
| fun_g1 | false | 243 | 243 | fun_g1 |
| fun_g1 | false | 248 | 248 | declaration |
| fun_g1 | false | 250 | 250 | declaration |
| fun_g1 | false | 254 | 254 | 2 |
| fun_g1 | false | 255 | 255 | return ... |
| fun_g1 | false | 257 | 257 | { ... } |
| fun_g1 | false | 260 | 260 | call to Base |
| fun_g1 | false | 261 | 261 | new |
| fun_g1 | false | 263 | 263 | initializer for p1 |
| fun_g1 | false | 268 | 268 | call to g |
| fun_g1 | false | 270 | 270 | p1 |
| fun_g1 | false | 272 | 272 | initializer for i |
| fun_g1 | true | 248 | 263 | |
| fun_g1 | true | 250 | 272 | |
| fun_g1 | true | 254 | 243 | |
| fun_g1 | true | 255 | 254 | |
| fun_g1 | true | 257 | 248 | |
| fun_g1 | true | 260 | 261 | |
| fun_g1 | true | 261 | 250 | |
| fun_g1 | true | 263 | 260 | |
| fun_g1 | true | 268 | 255 | |
| fun_g1 | true | 270 | 268 | |
| fun_g1 | true | 272 | 270 | |
| fun_g2 | false | 192 | 192 | fun_g2 |
| fun_g2 | false | 197 | 197 | declaration |
| fun_g2 | false | 199 | 199 | declaration |
| fun_g2 | false | 203 | 203 | 2 |
| fun_g2 | false | 204 | 204 | return ... |
| fun_g2 | false | 206 | 206 | { ... } |
| fun_g2 | false | 214 | 214 | call to Base |
| fun_g2 | false | 223 | 223 | new |
| fun_g2 | false | 225 | 225 | initializer for p1 |
| fun_g2 | false | 235 | 235 | call to g |
| fun_g2 | false | 237 | 237 | p1 |
| fun_g2 | false | 239 | 239 | initializer for i |
| fun_g2 | true | 197 | 225 | |
| fun_g2 | true | 199 | 239 | |
| fun_g2 | true | 203 | 192 | |
| fun_g2 | true | 204 | 203 | |
| fun_g2 | true | 206 | 197 | |
| fun_g2 | true | 214 | 223 | |
| fun_g2 | true | 223 | 199 | |
| fun_g2 | true | 225 | 214 | |
| fun_g2 | true | 235 | 204 | |
| fun_g2 | true | 237 | 235 | |
| fun_g2 | true | 239 | 237 | |
| operator delete | false | 212 | 212 | operator delete |
| operator new | false | 210 | 210 | operator new |

330
cpp/ql/test/successor-tests/conditional_destructors/cfg.expected
View File

@@ -1,167 +1,167 @@
| C1::C1 | false | 266 | 266 | C1 |
| C1::C1 | false | 388 | 388 | C1 |
| C1::C1 | false | 392 | 392 | C1 |
| C1::C1 | false | 429 | 429 | this |
| C1::C1 | false | 430 | 430 | val |
| C1::C1 | false | 432 | 432 | x |
| C1::C1 | false | 434 | 434 | ... = ... |
| C1::C1 | false | 436 | 436 | ExprStmt |
| C1::C1 | false | 438 | 438 | return ... |
| C1::C1 | false | 440 | 440 | { ... } |
| C1::C1 | true | 429 | 430 | |
| C1::C1 | true | 430 | 434 | |
| C1::C1 | true | 432 | 429 | |
| C1::C1 | true | 434 | 438 | |
| C1::C1 | true | 436 | 432 | |
| C1::C1 | true | 438 | 266 | |
| C1::C1 | true | 440 | 436 | |
| C1::operator= | false | 378 | 378 | operator= |
| C1::operator= | false | 384 | 384 | operator= |
| C1::operator== | false | 256 | 256 | operator== |
| C1::operator== | false | 406 | 406 | this |
| C1::operator== | false | 408 | 408 | val |
| C1::operator== | false | 410 | 410 | other |
| C1::operator== | false | 412 | 412 | (reference dereference) |
| C1::operator== | false | 413 | 413 | val |
| C1::operator== | false | 415 | 415 | ... == ... |
| C1::operator== | false | 417 | 417 | return ... |
| C1::operator== | false | 419 | 419 | { ... } |
| C1::C1 | false | 264 | 264 | C1 |
| C1::C1 | false | 386 | 386 | C1 |
| C1::C1 | false | 390 | 390 | C1 |
| C1::C1 | false | 427 | 427 | this |
| C1::C1 | false | 428 | 428 | val |
| C1::C1 | false | 430 | 430 | x |
| C1::C1 | false | 432 | 432 | ... = ... |
| C1::C1 | false | 434 | 434 | ExprStmt |
| C1::C1 | false | 436 | 436 | return ... |
| C1::C1 | false | 438 | 438 | { ... } |
| C1::C1 | true | 427 | 428 | |
| C1::C1 | true | 428 | 432 | |
| C1::C1 | true | 430 | 427 | |
| C1::C1 | true | 432 | 436 | |
| C1::C1 | true | 434 | 430 | |
| C1::C1 | true | 436 | 264 | |
| C1::C1 | true | 438 | 434 | |
| C1::operator= | false | 376 | 376 | operator= |
| C1::operator= | false | 382 | 382 | operator= |
| C1::operator== | false | 254 | 254 | operator== |
| C1::operator== | false | 404 | 404 | this |
| C1::operator== | false | 406 | 406 | val |
| C1::operator== | false | 408 | 408 | other |
| C1::operator== | false | 410 | 410 | (reference dereference) |
| C1::operator== | false | 411 | 411 | val |
| C1::operator== | false | 413 | 413 | ... == ... |
| C1::operator== | false | 415 | 415 | return ... |
| C1::operator== | false | 417 | 417 | { ... } |
| C1::operator== | true | 404 | 406 | |
| C1::operator== | true | 406 | 408 | |
| C1::operator== | true | 408 | 410 | |
| C1::operator== | true | 410 | 413 | |
| C1::operator== | true | 413 | 415 | |
| C1::operator== | true | 415 | 256 | |
| C1::operator== | true | 417 | 406 | |
| C1::operator== | true | 419 | 417 | |
| C2::C2 | false | 203 | 203 | C2 |
| C2::C2 | false | 315 | 315 | C2 |
| C2::C2 | false | 363 | 363 | this |
| C2::C2 | false | 364 | 364 | val |
| C2::C2 | false | 366 | 366 | x |
| C2::C2 | false | 368 | 368 | ... = ... |
| C2::C2 | false | 370 | 370 | ExprStmt |
| C2::C2 | false | 372 | 372 | return ... |
| C2::C2 | false | 374 | 374 | { ... } |
| C2::C2 | true | 363 | 364 | |
| C2::C2 | true | 364 | 368 | |
| C2::C2 | true | 366 | 363 | |
| C2::C2 | true | 368 | 372 | |
| C2::C2 | true | 370 | 366 | |
| C2::C2 | true | 372 | 203 | |
| C2::C2 | true | 374 | 370 | |
| C2::operator= | false | 309 | 309 | operator= |
| C2::operator== | false | 193 | 193 | operator== |
| C2::operator== | false | 329 | 329 | this |
| C2::operator== | false | 331 | 331 | val |
| C2::operator== | false | 333 | 333 | other |
| C2::operator== | false | 335 | 335 | (reference dereference) |
| C2::operator== | false | 336 | 336 | val |
| C2::operator== | false | 338 | 338 | ... == ... |
| C2::operator== | false | 340 | 340 | return ... |
| C2::operator== | false | 342 | 342 | { ... } |
| C1::operator== | true | 408 | 411 | |
| C1::operator== | true | 411 | 413 | |
| C1::operator== | true | 413 | 254 | |
| C1::operator== | true | 415 | 404 | |
| C1::operator== | true | 417 | 415 | |
| C2::C2 | false | 201 | 201 | C2 |
| C2::C2 | false | 313 | 313 | C2 |
| C2::C2 | false | 361 | 361 | this |
| C2::C2 | false | 362 | 362 | val |
| C2::C2 | false | 364 | 364 | x |
| C2::C2 | false | 366 | 366 | ... = ... |
| C2::C2 | false | 368 | 368 | ExprStmt |
| C2::C2 | false | 370 | 370 | return ... |
| C2::C2 | false | 372 | 372 | { ... } |
| C2::C2 | true | 361 | 362 | |
| C2::C2 | true | 362 | 366 | |
| C2::C2 | true | 364 | 361 | |
| C2::C2 | true | 366 | 370 | |
| C2::C2 | true | 368 | 364 | |
| C2::C2 | true | 370 | 201 | |
| C2::C2 | true | 372 | 368 | |
| C2::operator= | false | 307 | 307 | operator= |
| C2::operator== | false | 191 | 191 | operator== |
| C2::operator== | false | 327 | 327 | this |
| C2::operator== | false | 329 | 329 | val |
| C2::operator== | false | 331 | 331 | other |
| C2::operator== | false | 333 | 333 | (reference dereference) |
| C2::operator== | false | 334 | 334 | val |
| C2::operator== | false | 336 | 336 | ... == ... |
| C2::operator== | false | 338 | 338 | return ... |
| C2::operator== | false | 340 | 340 | { ... } |
| C2::operator== | true | 327 | 329 | |
| C2::operator== | true | 329 | 331 | |
| C2::operator== | true | 331 | 333 | |
| C2::operator== | true | 333 | 336 | |
| C2::operator== | true | 336 | 338 | |
| C2::operator== | true | 338 | 193 | |
| C2::operator== | true | 340 | 329 | |
| C2::operator== | true | 342 | 340 | |
| C2::~C2 | false | 344 | 344 | ~C2 |
| C2::~C2 | false | 349 | 349 | ; |
| C2::~C2 | false | 351 | 351 | return ... |
| C2::~C2 | false | 353 | 353 | { ... } |
| C2::~C2 | true | 349 | 351 | |
| C2::~C2 | true | 351 | 344 | |
| C2::~C2 | true | 353 | 349 | |
| f1 | false | 246 | 246 | f1 |
| f1 | false | 263 | 263 | call to operator== |
| f1 | false | 264 | 264 | call to C1 |
| f1 | false | 269 | 269 | 1 |
| f1 | false | 270 | 270 | (const C1)... |
| f1 | false | 271 | 271 | call to C1 |
| f1 | false | 275 | 275 | 2 |
| f1 | false | 276 | 276 | (const C1)... |
| f1 | false | 277 | 277 | (reference to) |
| f1 | false | 278 | 278 | ; |
| f1 | false | 280 | 280 | { ... } |
| f1 | false | 282 | 282 | if (...) ... |
| f1 | false | 285 | 285 | call to operator== |
| f1 | false | 286 | 286 | call to C1 |
| f1 | false | 290 | 290 | 3 |
| f1 | false | 291 | 291 | (const C1)... |
| f1 | false | 292 | 292 | call to C1 |
| f1 | false | 296 | 296 | 3 |
| f1 | false | 297 | 297 | (const C1)... |
| f1 | false | 298 | 298 | (reference to) |
| f1 | false | 299 | 299 | ; |
| f1 | false | 301 | 301 | { ... } |
| f1 | false | 303 | 303 | if (...) ... |
| f1 | false | 305 | 305 | return ... |
| f1 | false | 307 | 307 | { ... } |
| f1 | true | 263 | 280 | T |
| f1 | true | 263 | 303 | F |
| f1 | true | 264 | 263 | |
| f1 | true | 269 | 264 | |
| f1 | true | 271 | 269 | |
| f1 | true | 275 | 271 | |
| f1 | true | 278 | 303 | |
| f1 | true | 280 | 278 | |
| f1 | true | 282 | 275 | |
| f1 | true | 285 | 301 | T |
| f1 | true | 285 | 305 | F |
| f1 | true | 286 | 285 | |
| f1 | true | 290 | 286 | |
| f1 | true | 292 | 290 | |
| f1 | true | 296 | 292 | |
| f1 | true | 299 | 305 | |
| f1 | true | 301 | 299 | |
| f1 | true | 303 | 296 | |
| f1 | true | 305 | 246 | |
| f1 | true | 307 | 282 | |
| f2 | false | 183 | 183 | f2 |
| f2 | false | 200 | 200 | call to operator== |
| f2 | false | 201 | 201 | call to C2 |
| f2 | false | 206 | 206 | 1 |
| f2 | false | 207 | 207 | (const C2)... |
| f2 | false | 208 | 208 | call to C2 |
| f2 | false | 212 | 212 | 2 |
| f2 | false | 213 | 213 | (const C2)... |
| f2 | false | 214 | 214 | (reference to) |
| f2 | false | 215 | 215 | ; |
| f2 | false | 217 | 217 | { ... } |
| f2 | false | 219 | 219 | if (...) ... |
| f2 | false | 222 | 222 | call to operator== |
| f2 | false | 223 | 223 | call to C2 |
| f2 | false | 227 | 227 | 3 |
| f2 | false | 228 | 228 | (const C2)... |
| f2 | false | 229 | 229 | call to C2 |
| f2 | false | 233 | 233 | 3 |
| f2 | false | 234 | 234 | (const C2)... |
| f2 | false | 235 | 235 | (reference to) |
| f2 | false | 236 | 236 | ; |
| f2 | false | 238 | 238 | { ... } |
| f2 | false | 240 | 240 | if (...) ... |
| f2 | false | 242 | 242 | return ... |
| f2 | false | 244 | 244 | { ... } |
| f2 | true | 200 | 217 | T |
| f2 | true | 200 | 240 | F |
| f2 | true | 201 | 200 | |
| f2 | true | 206 | 201 | |
| f2 | true | 208 | 206 | |
| f2 | true | 212 | 208 | |
| f2 | true | 215 | 240 | |
| f2 | true | 217 | 215 | |
| f2 | true | 219 | 212 | |
| f2 | true | 222 | 238 | T |
| f2 | true | 222 | 242 | F |
| f2 | true | 223 | 222 | |
| f2 | true | 227 | 223 | |
| f2 | true | 229 | 227 | |
| f2 | true | 233 | 229 | |
| f2 | true | 236 | 242 | |
| f2 | true | 238 | 236 | |
| f2 | true | 240 | 233 | |
| f2 | true | 242 | 183 | |
| f2 | true | 244 | 219 | |
| operator= | false | 90 | 90 | operator= |
| operator= | false | 97 | 97 | operator= |
| C2::operator== | true | 331 | 334 | |
| C2::operator== | true | 334 | 336 | |
| C2::operator== | true | 336 | 191 | |
| C2::operator== | true | 338 | 327 | |
| C2::operator== | true | 340 | 338 | |
| C2::~C2 | false | 342 | 342 | ~C2 |
| C2::~C2 | false | 347 | 347 | ; |
| C2::~C2 | false | 349 | 349 | return ... |
| C2::~C2 | false | 351 | 351 | { ... } |
| C2::~C2 | true | 347 | 349 | |
| C2::~C2 | true | 349 | 342 | |
| C2::~C2 | true | 351 | 347 | |
| __va_list_tag::operator= | false | 90 | 90 | operator= |
| __va_list_tag::operator= | false | 97 | 97 | operator= |
| f1 | false | 244 | 244 | f1 |
| f1 | false | 261 | 261 | call to operator== |
| f1 | false | 262 | 262 | call to C1 |
| f1 | false | 267 | 267 | 1 |
| f1 | false | 268 | 268 | (const C1)... |
| f1 | false | 269 | 269 | call to C1 |
| f1 | false | 273 | 273 | 2 |
| f1 | false | 274 | 274 | (const C1)... |
| f1 | false | 275 | 275 | (reference to) |
| f1 | false | 276 | 276 | ; |
| f1 | false | 278 | 278 | { ... } |
| f1 | false | 280 | 280 | if (...) ... |
| f1 | false | 283 | 283 | call to operator== |
| f1 | false | 284 | 284 | call to C1 |
| f1 | false | 288 | 288 | 3 |
| f1 | false | 289 | 289 | (const C1)... |
| f1 | false | 290 | 290 | call to C1 |
| f1 | false | 294 | 294 | 3 |
| f1 | false | 295 | 295 | (const C1)... |
| f1 | false | 296 | 296 | (reference to) |
| f1 | false | 297 | 297 | ; |
| f1 | false | 299 | 299 | { ... } |
| f1 | false | 301 | 301 | if (...) ... |
| f1 | false | 303 | 303 | return ... |
| f1 | false | 305 | 305 | { ... } |
| f1 | true | 261 | 278 | T |
| f1 | true | 261 | 301 | F |
| f1 | true | 262 | 261 | |
| f1 | true | 267 | 262 | |
| f1 | true | 269 | 267 | |
| f1 | true | 273 | 269 | |
| f1 | true | 276 | 301 | |
| f1 | true | 278 | 276 | |
| f1 | true | 280 | 273 | |
| f1 | true | 283 | 299 | T |
| f1 | true | 283 | 303 | F |
| f1 | true | 284 | 283 | |
| f1 | true | 288 | 284 | |
| f1 | true | 290 | 288 | |
| f1 | true | 294 | 290 | |
| f1 | true | 297 | 303 | |
| f1 | true | 299 | 297 | |
| f1 | true | 301 | 294 | |
| f1 | true | 303 | 244 | |
| f1 | true | 305 | 280 | |
| f2 | false | 181 | 181 | f2 |
| f2 | false | 198 | 198 | call to operator== |
| f2 | false | 199 | 199 | call to C2 |
| f2 | false | 204 | 204 | 1 |
| f2 | false | 205 | 205 | (const C2)... |
| f2 | false | 206 | 206 | call to C2 |
| f2 | false | 210 | 210 | 2 |
| f2 | false | 211 | 211 | (const C2)... |
| f2 | false | 212 | 212 | (reference to) |
| f2 | false | 213 | 213 | ; |
| f2 | false | 215 | 215 | { ... } |
| f2 | false | 217 | 217 | if (...) ... |
| f2 | false | 220 | 220 | call to operator== |
| f2 | false | 221 | 221 | call to C2 |
| f2 | false | 225 | 225 | 3 |
| f2 | false | 226 | 226 | (const C2)... |
| f2 | false | 227 | 227 | call to C2 |
| f2 | false | 231 | 231 | 3 |
| f2 | false | 232 | 232 | (const C2)... |
| f2 | false | 233 | 233 | (reference to) |
| f2 | false | 234 | 234 | ; |
| f2 | false | 236 | 236 | { ... } |
| f2 | false | 238 | 238 | if (...) ... |
| f2 | false | 240 | 240 | return ... |
| f2 | false | 242 | 242 | { ... } |
| f2 | true | 198 | 215 | T |
| f2 | true | 198 | 238 | F |
| f2 | true | 199 | 198 | |
| f2 | true | 204 | 199 | |
| f2 | true | 206 | 204 | |
| f2 | true | 210 | 206 | |
| f2 | true | 213 | 238 | |
| f2 | true | 215 | 213 | |
| f2 | true | 217 | 210 | |
| f2 | true | 220 | 236 | T |
| f2 | true | 220 | 240 | F |
| f2 | true | 221 | 220 | |
| f2 | true | 225 | 221 | |
| f2 | true | 227 | 225 | |
| f2 | true | 231 | 227 | |
| f2 | true | 234 | 240 | |
| f2 | true | 236 | 234 | |
| f2 | true | 238 | 231 | |
| f2 | true | 240 | 181 | |
| f2 | true | 242 | 217 | |

4
cpp/ql/test/successor-tests/exceptionhandler/ellipsisexceptionhandler/graphable.expected
View File

@@ -1,3 +1,5 @@
| __va_list_tag::operator= | false | 92 | 92 | operator= |
| __va_list_tag::operator= | false | 99 | 99 | operator= |
| f | false | 175 | 175 | f |
| f | false | 182 | 182 | 1 |
| f | false | 183 | 183 | throw ... |
@@ -55,5 +57,3 @@
| g | true | 169 | 164 | |
| g | true | 171 | 145 | |
| g | true | 173 | 169 | |
| operator= | false | 92 | 92 | operator= |
| operator= | false | 99 | 99 | operator= |

132
cpp/ql/test/successor-tests/exceptionhandler/exceptionhandler/graphable.expected
View File

@@ -1,67 +1,67 @@
| C::operator= | false | 252 | 252 | operator= |
| C::operator= | false | 263 | 263 | operator= |
| D::operator= | false | 234 | 234 | operator= |
| D::operator= | false | 245 | 245 | operator= |
| f | false | 151 | 151 | f |
| f | false | 159 | 159 | call to g |
| f | false | 161 | 161 | ExprStmt |
| f | false | 165 | 165 | 2 |
| f | false | 166 | 166 | throw ... |
| f | false | 168 | 168 | ExprStmt |
| f | false | 170 | 170 | label ...: |
| f | false | 172 | 172 | { ... } |
| f | false | 180 | 180 | 4 |
| f | false | 181 | 181 | ExprStmt |
| f | false | 183 | 183 | { ... } |
| f | false | 185 | 185 | <handler> |
| f | false | 186 | 186 | try { ... } |
| f | false | 188 | 188 | { ... } |
| f | false | 195 | 195 | 5 |
| f | false | 196 | 196 | ExprStmt |
| f | false | 198 | 198 | { ... } |
| f | false | 205 | 205 | 6 |
| f | false | 206 | 206 | ExprStmt |
| f | false | 208 | 208 | { ... } |
| f | false | 210 | 210 | <handler> |
| f | false | 211 | 211 | <handler> |
| f | false | 212 | 212 | try { ... } |
| f | false | 214 | 214 | return ... |
| f | false | 216 | 216 | { ... } |
| f | true | 159 | 168 | |
| f | true | 161 | 159 | |
| f | true | 165 | 166 | |
| f | true | 166 | 185 | |
| f | true | 168 | 165 | |
| f | true | 170 | 214 | |
| f | true | 172 | 161 | |
| f | true | 180 | 214 | |
| f | true | 181 | 180 | |
| C::operator= | false | 250 | 250 | operator= |
| C::operator= | false | 261 | 261 | operator= |
| D::operator= | false | 232 | 232 | operator= |
| D::operator= | false | 243 | 243 | operator= |
| __va_list_tag::operator= | false | 92 | 92 | operator= |
| __va_list_tag::operator= | false | 99 | 99 | operator= |
| f | false | 149 | 149 | f |
| f | false | 157 | 157 | call to g |
| f | false | 159 | 159 | ExprStmt |
| f | false | 163 | 163 | 2 |
| f | false | 164 | 164 | throw ... |
| f | false | 166 | 166 | ExprStmt |
| f | false | 168 | 168 | label ...: |
| f | false | 170 | 170 | { ... } |
| f | false | 178 | 178 | 4 |
| f | false | 179 | 179 | ExprStmt |
| f | false | 181 | 181 | { ... } |
| f | false | 183 | 183 | <handler> |
| f | false | 184 | 184 | try { ... } |
| f | false | 186 | 186 | { ... } |
| f | false | 193 | 193 | 5 |
| f | false | 194 | 194 | ExprStmt |
| f | false | 196 | 196 | { ... } |
| f | false | 203 | 203 | 6 |
| f | false | 204 | 204 | ExprStmt |
| f | false | 206 | 206 | { ... } |
| f | false | 208 | 208 | <handler> |
| f | false | 209 | 209 | <handler> |
| f | false | 210 | 210 | try { ... } |
| f | false | 212 | 212 | return ... |
| f | false | 214 | 214 | { ... } |
| f | true | 157 | 166 | |
| f | true | 159 | 157 | |
| f | true | 163 | 164 | |
| f | true | 164 | 183 | |
| f | true | 166 | 163 | |
| f | true | 168 | 212 | |
| f | true | 170 | 159 | |
| f | true | 178 | 212 | |
| f | true | 179 | 178 | |
| f | true | 181 | 179 | |
| f | true | 183 | 181 | |
| f | true | 185 | 183 | |
| f | true | 185 | 210 | |
| f | true | 186 | 172 | |
| f | true | 188 | 186 | |
| f | true | 195 | 214 | |
| f | true | 196 | 195 | |
| f | true | 198 | 196 | |
| f | true | 205 | 214 | |
| f | true | 206 | 205 | |
| f | true | 208 | 206 | |
| f | true | 210 | 198 | |
| f | true | 210 | 211 | |
| f | true | 211 | 151 | |
| f | true | 211 | 208 | |
| f | true | 212 | 188 | |
| f | true | 214 | 151 | |
| f | true | 216 | 212 | |
| g | false | 156 | 156 | g |
| g | false | 224 | 224 | 1 |
| g | false | 225 | 225 | throw ... |
| g | false | 227 | 227 | ExprStmt |
| g | false | 229 | 229 | { ... } |
| g | true | 224 | 225 | |
| g | true | 225 | 156 | |
| g | true | 227 | 224 | |
| g | true | 229 | 227 | |
| operator= | false | 92 | 92 | operator= |
| operator= | false | 99 | 99 | operator= |
| f | true | 183 | 208 | |
| f | true | 184 | 170 | |
| f | true | 186 | 184 | |
| f | true | 193 | 212 | |
| f | true | 194 | 193 | |
| f | true | 196 | 194 | |
| f | true | 203 | 212 | |
| f | true | 204 | 203 | |
| f | true | 206 | 204 | |
| f | true | 208 | 196 | |
| f | true | 208 | 209 | |
| f | true | 209 | 149 | |
| f | true | 209 | 206 | |
| f | true | 210 | 186 | |
| f | true | 212 | 149 | |
| f | true | 214 | 210 | |
| g | false | 154 | 154 | g |
| g | false | 222 | 222 | 1 |
| g | false | 223 | 223 | throw ... |
| g | false | 225 | 225 | ExprStmt |
| g | false | 227 | 227 | { ... } |
| g | true | 222 | 223 | |
| g | true | 223 | 154 | |
| g | true | 225 | 222 | |
| g | true | 227 | 225 | |

1016
cpp/ql/test/successor-tests/stackvariables/stackvariables/graphable.expected
View File

File diff suppressed because it is too large Load Diff