diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-02-08 16:18:51 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-02-08 16:18:51 +0000 |
| commit | 1397663af9dbcc24dbf0e11de43931b3dc08fdbb (patch) | |
| tree | 2faba52258a1c9030b653b71072220843482c724 /lib/Checker/NSErrorChecker.cpp | |
| parent | d819f74fb5c2213782a443b432fccec95048ec74 (diff) | |
Revert 95541.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95545 91177308-0d34-0410-b5e6-96231b3b80d8
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; |