[cfe-commits] r162951 - /cfe/trunk/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp

[Anna Zaks]

Author: zaks
Date: Thu Aug 30 17:55:32 2012
New Revision: 162951

URL: http://llvm.org/viewvc/llvm-project?rev=162951&view=rev
Log:
[analyzer] Remove cast inside dyn_cast.

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

Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp?rev=162951&r1=162950&r2=162951&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp Thu Aug 30 17:55:32 2012
@@ -737,7 +737,7 @@
                                     CheckerContext &C) {
   SVal Val = State->getSVal(NonNullExpr, C.getLocationContext());
   if (DefinedOrUnknownSVal *DV = dyn_cast<DefinedOrUnknownSVal>(&Val))
-    return State->assume(cast<DefinedOrUnknownSVal>(*DV), true);
+    return State->assume(*DV, true);
   return State;
 }