maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Move assertion to not crash tests. 

llvm-svn: 165842
This commit is contained in:
Ted Kremenek 2012-10-12 22:56:45 +00:00
parent 26a3661a10
commit be4008472d
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
clang/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp
View File

@ -2857,7 +2857,6 @@ void RetainCountChecker::checkSummary(const RetainSummary &Summ,
// Consult the summary for the return value. // Consult the summary for the return value.
RetEffect RE = Summ.getRetEffect(); RetEffect RE = Summ.getRetEffect();
assert(CallOrMsg.getOriginExpr());
if (RE.getKind() == RetEffect::OwnedWhenTrackedReceiver) { if (RE.getKind() == RetEffect::OwnedWhenTrackedReceiver) {
if (ReceiverIsTracked) if (ReceiverIsTracked)
@ -2900,7 +2899,7 @@ void RetainCountChecker::checkSummary(const RetainSummary &Summ,
SymbolRef Sym = state->getSVal(Ex, C.getLocationContext()).getAsSymbol(); SymbolRef Sym = state->getSVal(Ex, C.getLocationContext()).getAsSymbol();
if (!Sym) if (!Sym)
break; break;
assert(Ex);
// Use GetReturnType in order to give [NSFoo alloc] the type NSFoo *. // Use GetReturnType in order to give [NSFoo alloc] the type NSFoo *.
QualType ResultTy = GetReturnType(Ex, C.getASTContext()); QualType ResultTy = GetReturnType(Ex, C.getASTContext());
state = setRefBinding(state, Sym, RefVal::makeNotOwned(RE.getObjKind(), state = setRefBinding(state, Sym, RefVal::makeNotOwned(RE.getObjKind(),