Rework use of loc::SymbolVal in the retain/release checker to use the new method
SVal::getAsLocSymbol(). This simplifies the code and allows the retain/release
checker to (I believe) also correctly reason about location symbols wrapped in
SymbolicRegions.
Along the way I cleaned up SymbolRef a little, disallowing implicit casts to
'unsigned'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@65972 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/BugReporter.cpp b/lib/Analysis/BugReporter.cpp
index 6f6b3c1..e1265de 100644
--- a/lib/Analysis/BugReporter.cpp
+++ b/lib/Analysis/BugReporter.cpp
@@ -531,7 +531,7 @@
else
return true;
- assert (ScanSym.isInitialized());
+ assert (ScanSym.isValid());
if (!BR.isNotable(ScanSym))
return true;
diff --git a/lib/Analysis/CFRefCount.cpp b/lib/Analysis/CFRefCount.cpp
index 5966997..0f5e426 100644
--- a/lib/Analysis/CFRefCount.cpp
+++ b/lib/Analysis/CFRefCount.cpp
@@ -1613,20 +1613,20 @@
for (ExprIterator I = arg_beg; I != arg_end; ++I, ++idx) {
SVal V = state.GetSVal(*I);
- if (isa<loc::SymbolVal>(V)) {
- SymbolRef Sym = cast<loc::SymbolVal>(V).getSymbol();
+ SymbolRef Sym = V.getAsLocSymbol();
+ if (Sym.isValid())
if (RefBindings::data_type* T = state.get<RefBindings>(Sym)) {
state = Update(state, Sym, *T, GetArgE(Summ, idx), hasErr);
if (hasErr) {
ErrorExpr = *I;
ErrorSym = Sym;
break;
- }
+ }
+ continue;
}
- }
- else if (isa<Loc>(V)) {
- if (loc::MemRegionVal* MR = dyn_cast<loc::MemRegionVal>(&V)) {
+ if (isa<Loc>(V)) {
+ if (loc::MemRegionVal* MR = dyn_cast<loc::MemRegionVal>(&V)) {
if (GetArgE(Summ, idx) == DoNothingByRef)
continue;
@@ -1650,15 +1650,11 @@
R = dyn_cast<TypedRegion>(ATR->getSuperRegion());
}
- if (R) {
-
+ if (R) {
// Is the invalidated variable something that we were tracking?
- SVal X = state.GetSVal(Loc::MakeVal(R));
-
- if (isa<loc::SymbolVal>(X)) {
- SymbolRef Sym = cast<loc::SymbolVal>(X).getSymbol();
+ SymbolRef Sym = state.GetSVal(Loc::MakeVal(R)).getAsLocSymbol();
+ if (Sym.isValid())
state = state.remove<RefBindings>(Sym);
- }
// Set the value of the variable to be a conjured symbol.
unsigned Count = Builder.getCurrentBlockCount();
@@ -1692,9 +1688,8 @@
// Evaluate the effect on the message receiver.
if (!ErrorExpr && Receiver) {
- SVal V = state.GetSVal(Receiver);
- if (isa<loc::SymbolVal>(V)) {
- SymbolRef Sym = cast<loc::SymbolVal>(V).getSymbol();
+ SymbolRef Sym = state.GetSVal(Receiver).getAsLocSymbol();
+ if (Sym.isValid()) {
if (const RefVal* T = state.get<RefBindings>(Sym)) {
state = Update(state, Sym, *T, GetReceiverE(Summ), hasErr);
if (hasErr) {
@@ -1831,11 +1826,10 @@
// FIXME: Wouldn't it be great if this code could be reduced? It's just
// a chain of lookups.
const GRState* St = Builder.GetState(Pred);
- SVal V = Eng.getStateManager().GetSVal(St, Receiver );
+ SVal V = Eng.getStateManager().GetSVal(St, Receiver);
- if (isa<loc::SymbolVal>(V)) {
- SymbolRef Sym = cast<loc::SymbolVal>(V).getSymbol();
-
+ SymbolRef Sym = V.getAsLocSymbol();
+ if (Sym.isValid()) {
if (const RefVal* T = St->get<RefBindings>(Sym)) {
QualType Ty = T->getType();
@@ -1979,16 +1973,16 @@
ExplodedNode<GRState>* Pred) {
Expr* RetE = S->getRetValue();
- if (!RetE) return;
-
- GRStateRef state(Builder.GetState(Pred), Eng.getStateManager());
- SVal V = state.GetSVal(RetE);
-
- if (!isa<loc::SymbolVal>(V))
+ if (!RetE)
return;
+ GRStateRef state(Builder.GetState(Pred), Eng.getStateManager());
+ SymbolRef Sym = state.GetSVal(RetE).getAsLocSymbol();
+
+ if (!Sym.isValid())
+ return;
+
// Get the reference count binding (if any).
- SymbolRef Sym = cast<loc::SymbolVal>(V).getSymbol();
const RefVal* T = state.get<RefBindings>(Sym);
if (!T)
@@ -2461,27 +2455,21 @@
for (CallExpr::arg_iterator AI=CE->arg_begin(), AE=CE->arg_end();
AI!=AE; ++AI, ++i) {
- // Retrieve the value of the arugment.
- SVal X = CurrSt.GetSVal(*AI);
-
- // Is it the symbol we're interested in?
- if (!isa<loc::SymbolVal>(X) ||
- Sym != cast<loc::SymbolVal>(X).getSymbol())
+ // Retrieve the value of the argument. Is it the symbol
+ // we are interested in?
+ if (CurrSt.GetSVal(*AI).getAsLocSymbol() != Sym)
continue;
-
+
// We have an argument. Get the effect!
AEffects.push_back(Summ->getArg(i));
}
}
else if (ObjCMessageExpr *ME = dyn_cast<ObjCMessageExpr>(S)) {
- if (Expr *receiver = ME->getReceiver()) {
- SVal RetV = CurrSt.GetSVal(receiver);
- if (isa<loc::SymbolVal>(RetV) &&
- Sym == cast<loc::SymbolVal>(RetV).getSymbol()) {
+ if (Expr *receiver = ME->getReceiver())
+ if (CurrSt.GetSVal(receiver).getAsLocSymbol() == Sym) {
// The symbol we are tracking is the receiver.
AEffects.push_back(Summ->getReceiverEffect());
}
- }
}
}
@@ -2596,14 +2584,11 @@
// Add the range by scanning the children of the statement for any bindings
// to Sym.
for (Stmt::child_iterator I = S->child_begin(), E = S->child_end(); I!=E; ++I)
- if (Expr* Exp = dyn_cast_or_null<Expr>(*I)) {
- SVal X = CurrSt.GetSVal(Exp);
- if (loc::SymbolVal* SV = dyn_cast<loc::SymbolVal>(&X))
- if (SV->getSymbol() == Sym) {
- P->addRange(Exp->getSourceRange());
- break;
- }
- }
+ if (Expr* Exp = dyn_cast_or_null<Expr>(*I))
+ if (CurrSt.GetSVal(Exp).getAsLocSymbol() == Sym) {
+ P->addRange(Exp->getSourceRange());
+ break;
+ }
return P;
}
@@ -2619,17 +2604,11 @@
FindUniqueBinding(SymbolRef sym) : Sym(sym), Binding(0), First(true) {}
bool HandleBinding(StoreManager& SMgr, Store store, MemRegion* R, SVal val) {
- if (const loc::SymbolVal* SV = dyn_cast<loc::SymbolVal>(&val)) {
- if (SV->getSymbol() != Sym)
- return true;
- }
- else if (const nonloc::SymbolVal* SV=dyn_cast<nonloc::SymbolVal>(&val)) {
- if (SV->getSymbol() != Sym)
- return true;
- }
- else
+ SymbolRef SymV = val.getAsSymbol();
+
+ if (!SymV.isValid() || SymV != Sym)
return true;
-
+
if (Binding) {
First = false;
return false;
@@ -2731,20 +2710,16 @@
bool foundSymbol = false;
// First check if 'S' itself binds to the symbol.
- if (Expr *Ex = dyn_cast<Expr>(S)) {
- SVal X = state.GetSVal(Ex);
- if (isa<loc::SymbolVal>(X) &&
- cast<loc::SymbolVal>(X).getSymbol() == Sym)
+ if (Expr *Ex = dyn_cast<Expr>(S))
+ if (state.GetSVal(Ex).getAsLocSymbol() == Sym)
foundSymbol = true;
- }
if (!foundSymbol)
for (Stmt::child_iterator I=S->child_begin(), E=S->child_end();
I!=E; ++I)
if (Expr *Ex = dyn_cast_or_null<Expr>(*I)) {
SVal X = state.GetSVal(Ex);
- if (isa<loc::SymbolVal>(X) &&
- cast<loc::SymbolVal>(X).getSymbol() == Sym){
+ if (X.getAsLocSymbol() == Sym) {
foundSymbol = true;
break;
}
@@ -2848,8 +2823,8 @@
bool hasLeak = false;
std::pair<GRStateRef, bool> X =
- HandleSymbolDeath(Eng.getStateManager(), St, CodeDecl,
- (*I).first, (*I).second, hasLeak);
+ HandleSymbolDeath(Eng.getStateManager(), St, CodeDecl,
+ (*I).first, (*I).second, hasLeak);
St = X.first;
if (hasLeak) Leaked.push_back(std::make_pair((*I).first, X.second));
diff --git a/lib/Analysis/MemRegion.cpp b/lib/Analysis/MemRegion.cpp
index b2d7ad2..f78d937 100644
--- a/lib/Analysis/MemRegion.cpp
+++ b/lib/Analysis/MemRegion.cpp
@@ -171,8 +171,7 @@
}
void SymbolicRegion::print(llvm::raw_ostream& os) const {
- os << "SymRegion-";
- sym.print(os);
+ os << "SymRegion-" << sym;
}
void FieldRegion::print(llvm::raw_ostream& os) const {
diff --git a/lib/Analysis/SVals.cpp b/lib/Analysis/SVals.cpp
index 2017c4b..c12c2d2 100644
--- a/lib/Analysis/SVals.cpp
+++ b/lib/Analysis/SVals.cpp
@@ -54,6 +54,42 @@
return symbol_iterator();
}
+/// getAsLocSymbol - If this SVal is a location (subclasses Loc) and
+/// wraps a symbol, return that SymbolRef. Otherwise return a SymbolRef
+/// where 'isValid()' returns false.
+SymbolRef SVal::getAsLocSymbol() const {
+ if (const loc::SymbolVal *X = dyn_cast<loc::SymbolVal>(this))
+ return X->getSymbol();
+
+ if (const loc::MemRegionVal *X = dyn_cast<loc::MemRegionVal>(this)) {
+ const MemRegion *R = X->getRegion();
+
+ while (R) {
+ // Blast through region views.
+ if (const TypedViewRegion *View = dyn_cast<TypedViewRegion>(R)) {
+ R = View->getSuperRegion();
+ continue;
+ }
+
+ if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(R))
+ return SymR->getSymbol();
+
+ break;
+ }
+ }
+
+ return SymbolRef();
+}
+
+/// getAsSymbol - If this Sval wraps a symbol return that SymbolRef.
+/// Otherwise return a SymbolRef where 'isValid()' returns false.
+SymbolRef SVal::getAsSymbol() const {
+ if (const nonloc::SymbolVal *X = dyn_cast<nonloc::SymbolVal>(this))
+ return X->getSymbol();
+
+ return getAsLocSymbol();
+}
+
//===----------------------------------------------------------------------===//
// Other Iterators.
//===----------------------------------------------------------------------===//
diff --git a/lib/Analysis/SymbolManager.cpp b/lib/Analysis/SymbolManager.cpp
index f1c1cc0..45e1aae 100644
--- a/lib/Analysis/SymbolManager.cpp
+++ b/lib/Analysis/SymbolManager.cpp
@@ -18,8 +18,23 @@
using namespace clang;
-void SymbolRef::print(llvm::raw_ostream& os) const {
- os << getNumber();
+llvm::raw_ostream& llvm::operator<<(llvm::raw_ostream& os,
+ clang::SymbolRef sym) {
+ if (sym.isValid())
+ os << sym.getNumber();
+ else
+ os << "(Invalid)";
+
+ return os;
+}
+
+std::ostream& std::operator<<(std::ostream& os, clang::SymbolRef sym) {
+ if (sym.isValid())
+ os << sym.getNumber();
+ else
+ os << "(Invalid)";
+
+ return os;
}
SymbolRef SymbolManager::getRegionRValueSymbol(const MemRegion* R) {
@@ -35,7 +50,6 @@
DataSet.InsertNode(SD, InsertPos);
DataMap[SymbolCounter] = SD;
return SymbolCounter++;
-
}
SymbolRef SymbolManager::getConjuredSymbol(Stmt* E, QualType T, unsigned Count){