]> granicus.if.org Git - clang/commitdiff
Move assertion to not crash tests.
authorTed Kremenek <kremenek@apple.com>
Fri, 12 Oct 2012 22:56:45 +0000 (22:56 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 12 Oct 2012 22:56:45 +0000 (22:56 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@165842 91177308-0d34-0410-b5e6-96231b3b80d8

lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp

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