Skip to content
Snippets Groups Projects
Commit b0cd34bd authored by Zhongxing Xu's avatar Zhongxing Xu
Browse files

Typo.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@106086 91177308-0d34-0410-b5e6-96231b3b80d8
parent b3f40311
No related branches found
No related tags found
No related merge requests found
...@@ -100,7 +100,7 @@ void StreamChecker::FRead(CheckerContext &C, const CallExpr *CE) { ...@@ -100,7 +100,7 @@ void StreamChecker::FRead(CheckerContext &C, const CallExpr *CE) {
// Assume CallAndMessageChecker has been run. // Assume CallAndMessageChecker has been run.
SVal StreamVal = state->getSVal(CE->getArg(3)); 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(); ConstraintManager &CM = C.getConstraintManager();
const GRState *stateNotNull, *stateNull; const GRState *stateNotNull, *stateNull;
llvm::tie(stateNotNull, stateNull) = CM.AssumeDual(state, *DV); llvm::tie(stateNotNull, stateNull) = CM.AssumeDual(state, *DV);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment