[cfe-commits] r165842 - /cfe/trunk/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp

[Ted Kremenek]

Author: kremenek
Date: Fri Oct 12 17:56:45 2012
New Revision: 165842

URL: http://llvm.org/viewvc/llvm-project?rev=165842&view=rev
Log:
Move assertion to not crash tests.

Modified:
    cfe/trunk/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp

Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp?rev=165842&r1=165841&r2=165842&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp Fri Oct 12 17:56:45 2012
@@ -2857,7 +2857,6 @@
 
   // 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 @@
       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(),