| 603 | } |
| 604 | |
| 605 | void after() |
| 606 | { |
| 607 | int seenCount = 0; |
| 608 | { |
| 609 | for (auto s : seen) { |
| 610 | if (s) { |
| 611 | ++seenCount; |
| 612 | } |
| 613 | } |
| 614 | } |
| 615 | |
| 616 | RL_ASSERT(Foo::ctorCount() == seen.size() * 2 + 2); |
| 617 | RL_ASSERT(Foo::dtorCount() == seen.size() + seenCount + 2); |
| 618 | delete q; |
| 619 | |
| 620 | RL_ASSERT(Foo::ctorCount() == seen.size() * 2 + 2); |
| 621 | RL_ASSERT(Foo::ctorCount() == Foo::dtorCount()); |
| 622 | } |
| 623 | |
| 624 | void invariant() |
| 625 | { |