Changeset View
Changeset View
Standalone View
Standalone View
cfe/trunk/lib/StaticAnalyzer/Core/MemRegion.cpp
| Show First 20 Lines • Show All 626 Lines • ▼ Show 20 Line(s) | |||||
| 627 | bool CXXBaseObjectRegion::canPrintPrettyAsExpr() const { | 627 | bool CXXBaseObjectRegion::canPrintPrettyAsExpr() const { | ||
| 628 | return superRegion->canPrintPrettyAsExpr(); | 628 | return superRegion->canPrintPrettyAsExpr(); | ||
| 629 | } | 629 | } | ||
| 630 | 630 | | |||
| 631 | void CXXBaseObjectRegion::printPrettyAsExpr(raw_ostream &os) const { | 631 | void CXXBaseObjectRegion::printPrettyAsExpr(raw_ostream &os) const { | ||
| 632 | superRegion->printPrettyAsExpr(os); | 632 | superRegion->printPrettyAsExpr(os); | ||
| 633 | } | 633 | } | ||
| 634 | 634 | | |||
| 635 | std::string MemRegion::getDescriptiveName(bool UseQuotes) const { | ||||
| 636 | std::string VariableName; | ||||
| 637 | std::string ArrayIndices; | ||||
| 638 | const MemRegion *R = this; | ||||
| 639 | SmallString<50> buf; | ||||
| 640 | llvm::raw_svector_ostream os(buf); | ||||
| 641 | | ||||
| 642 | // Obtain array indices to add them to the variable name. | ||||
| 643 | const ElementRegion *ER = nullptr; | ||||
| 644 | while ((ER = R->getAs<ElementRegion>())) { | ||||
| 645 | // Index is a ConcreteInt. | ||||
| 646 | if (auto CI = ER->getIndex().getAs<nonloc::ConcreteInt>()) { | ||||
| 647 | llvm::SmallString<2> Idx; | ||||
| 648 | CI->getValue().toString(Idx); | ||||
| 649 | ArrayIndices = (llvm::Twine("[") + Idx.str() + "]" + ArrayIndices).str(); | ||||
| 650 | } | ||||
| 651 | // If not a ConcreteInt, try to obtain the variable | ||||
| 652 | // name by calling 'getDescriptiveName' recursively. | ||||
| 653 | else { | ||||
| 654 | std::string Idx = ER->getDescriptiveName(false); | ||||
| 655 | if (!Idx.empty()) { | ||||
| 656 | ArrayIndices = (llvm::Twine("[") + Idx + "]" + ArrayIndices).str(); | ||||
| 657 | } | ||||
| 658 | } | ||||
| 659 | R = ER->getSuperRegion(); | ||||
| 660 | } | ||||
| 661 | | ||||
| 662 | // Get variable name. | ||||
| 663 | if (R && R->canPrintPrettyAsExpr()) { | ||||
| 664 | R->printPrettyAsExpr(os); | ||||
| 665 | if (UseQuotes) { | ||||
| 666 | return (llvm::Twine("'") + os.str() + ArrayIndices + "'").str(); | ||||
| 667 | } else { | ||||
| 668 | return (llvm::Twine(os.str()) + ArrayIndices).str(); | ||||
| 669 | } | ||||
| 670 | } | ||||
| 671 | | ||||
| 672 | return VariableName; | ||||
| 673 | } | ||||
| 674 | | ||||
| 675 | SourceRange MemRegion::sourceRange() const { | ||||
| 676 | const VarRegion *const VR = dyn_cast<VarRegion>(this->getBaseRegion()); | ||||
| 677 | const FieldRegion *const FR = dyn_cast<FieldRegion>(this); | ||||
| 678 | | ||||
| 679 | // Check for more specific regions first. | ||||
| 680 | // FieldRegion | ||||
| 681 | if (FR) { | ||||
| 682 | return FR->getDecl()->getSourceRange(); | ||||
| 683 | } | ||||
| 684 | // VarRegion | ||||
| 685 | else if (VR) { | ||||
| 686 | return VR->getDecl()->getSourceRange(); | ||||
| 687 | } | ||||
| 688 | // Return invalid source range (can be checked by client). | ||||
| 689 | else { | ||||
| 690 | return SourceRange{}; | ||||
| 691 | } | ||||
| 692 | } | ||||
| 693 | | ||||
| 635 | //===----------------------------------------------------------------------===// | 694 | //===----------------------------------------------------------------------===// | ||
| 636 | // MemRegionManager methods. | 695 | // MemRegionManager methods. | ||
| 637 | //===----------------------------------------------------------------------===// | 696 | //===----------------------------------------------------------------------===// | ||
| 638 | 697 | | |||
| 639 | template <typename REG> | 698 | template <typename REG> | ||
| 640 | const REG *MemRegionManager::LazyAllocate(REG*& region) { | 699 | const REG *MemRegionManager::LazyAllocate(REG*& region) { | ||
| 641 | if (!region) { | 700 | if (!region) { | ||
| 642 | region = A.Allocate<REG>(); | 701 | region = A.Allocate<REG>(); | ||
| ▲ Show 20 Lines • Show All 861 Lines • Show Last 20 Lines | |||||