diff options
Diffstat (limited to 'lib/Checker/StreamChecker.cpp')
| -rw-r--r-- | lib/Checker/StreamChecker.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Checker/StreamChecker.cpp b/lib/Checker/StreamChecker.cpp index 1fd72b5ce2..01b7d83042 100644 --- a/lib/Checker/StreamChecker.cpp +++ b/lib/Checker/StreamChecker.cpp @@ -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); |