]> granicus.if.org Git - clang/commitdiff
Typo.
authorZhongxing Xu <xuzhongxing@gmail.com>
Wed, 16 Jun 2010 05:58:35 +0000 (05:58 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Wed, 16 Jun 2010 05:58:35 +0000 (05:58 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@106086 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Checker/StreamChecker.cpp

index 1fd72b5ce259c1883d51dbea5ccccb9493a0645a..01b7d83042e08da21ded7af7a622b11873a557c8 100644 (file)
@@ -100,7 +100,7 @@ void StreamChecker::FRead(CheckerContext &C, const CallExpr *CE) {
   // Assume CallAndMessageChecker has been run.
   SVal StreamVal = state->getSVal(CE->getArg(3));
 
-  if (const DefinedSVal *DV = cast<DefinedSVal>(&StreamVal)) {
+  if (const DefinedSVal *DV = dyn_cast<DefinedSVal>(&StreamVal)) {
     ConstraintManager &CM = C.getConstraintManager();
     const GRState *stateNotNull, *stateNull;
     llvm::tie(stateNotNull, stateNull) = CM.AssumeDual(state, *DV);