diff options
Diffstat (limited to 'lib/Checker/NSErrorChecker.cpp')
| -rw-r--r-- | lib/Checker/NSErrorChecker.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/Checker/NSErrorChecker.cpp b/lib/Checker/NSErrorChecker.cpp index 7e680a632b..e428e2e83f 100644 --- a/lib/Checker/NSErrorChecker.cpp +++ b/lib/Checker/NSErrorChecker.cpp @@ -199,7 +199,7 @@ void NSErrorChecker::CheckParamDeref(const VarDecl *Param, SVal ParamL = rootState->getLValue(Param, LC); const MemRegion* ParamR = cast<loc::MemRegionVal>(ParamL).getRegionAs<VarRegion>(); assert (ParamR && "Parameters always have VarRegions."); - SVal ParamSVal = rootState->Load(ParamR); + SVal ParamSVal = rootState->getSVal(ParamR); // FIXME: For now assume that ParamSVal is symbolic. We need to generalize // this later. @@ -212,8 +212,7 @@ void NSErrorChecker::CheckParamDeref(const VarDecl *Param, llvm::tie(I, E) = GetImplicitNullDereferences(Eng); for ( ; I != E; ++I) { const GRState *state = (*I)->getState(); - SVal location = - state->getExprVal((*I)->getLocationAs<StmtPoint>()->getStmt()); + SVal location = state->getSVal((*I)->getLocationAs<StmtPoint>()->getStmt()); if (location.getAsSymbol() != ParamSym) continue; |