aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/SymbolManager.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Analysis/SymbolManager.cpp')
-rw-r--r--lib/Analysis/SymbolManager.cpp18
1 files changed, 9 insertions, 9 deletions
diff --git a/lib/Analysis/SymbolManager.cpp b/lib/Analysis/SymbolManager.cpp
index 84019fd8d5..5c885cd6e1 100644
--- a/lib/Analysis/SymbolManager.cpp
+++ b/lib/Analysis/SymbolManager.cpp
@@ -65,7 +65,7 @@ static void print(llvm::raw_ostream& os, const SymSymExpr *SE) {
static void print(llvm::raw_ostream& os, const SymExpr *SE) {
switch (SE->getKind()) {
case SymExpr::BEGIN_SYMBOLS:
- case SymExpr::RegionRValue:
+ case SymExpr::RegionValueKind:
case SymExpr::ConjuredKind:
case SymExpr::END_SYMBOLS:
os << '$' << cast<SymbolData>(SE)->getSymbolID();
@@ -91,20 +91,20 @@ std::ostream& std::operator<<(std::ostream& os, const SymExpr *SE) {
return os;
}
-const SymbolRegionRValue*
-SymbolManager::getRegionRValueSymbol(const MemRegion* R) {
+const SymbolRegionValue*
+SymbolManager::getRegionValueSymbol(const MemRegion* R) {
llvm::FoldingSetNodeID profile;
- SymbolRegionRValue::Profile(profile, R);
+ SymbolRegionValue::Profile(profile, R);
void* InsertPos;
SymExpr *SD = DataSet.FindNodeOrInsertPos(profile, InsertPos);
if (!SD) {
- SD = (SymExpr*) BPAlloc.Allocate<SymbolRegionRValue>();
- new (SD) SymbolRegionRValue(SymbolCounter, R);
+ SD = (SymExpr*) BPAlloc.Allocate<SymbolRegionValue>();
+ new (SD) SymbolRegionValue(SymbolCounter, R);
DataSet.InsertNode(SD, InsertPos);
++SymbolCounter;
}
- return cast<SymbolRegionRValue>(SD);
+ return cast<SymbolRegionValue>(SD);
}
const SymbolConjured*
@@ -165,7 +165,7 @@ QualType SymbolConjured::getType(ASTContext&) const {
return T;
}
-QualType SymbolRegionRValue::getType(ASTContext& C) const {
+QualType SymbolRegionValue::getType(ASTContext& C) const {
if (const TypedRegion* TR = dyn_cast<TypedRegion>(R))
return TR->getValueType(C);
@@ -197,7 +197,7 @@ bool SymbolReaper::isLive(SymbolRef sym) {
// Interogate the symbol. It may derive from an input value to
// the analyzed function/method.
- return isa<SymbolRegionRValue>(sym);
+ return isa<SymbolRegionValue>(sym);
}
SymbolVisitor::~SymbolVisitor() {}