diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-10-17 00:51:01 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-10-17 00:51:01 +0000 |
| commit | d9bc33efa195114d6f2a365c26e5b8dba4e1cc38 (patch) | |
| tree | 3a505a4969fd630cb2034fa5b64e6e0e362de680 /lib/Analysis/CheckNSError.cpp | |
| parent | 97ed4f68f5dba3e21e7a490ef0f9ffd3bfead7f8 (diff) | |
Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions.
Remove GRExprEngine::getLVal and RValues::MakeVal.
Enhance StoreManager "GetLValue" methods to dispatch for specific kinds of lvalue queries, as opposed to interogating the expression tree (GRExprEngine already does this).
Added FIXMEs. In particular, we no longer "assume" that a base pointer in a field/array access is null (this logic was removed). Perhaps we should do this when fetching the lvalue for fields and array elements?
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57657 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/CheckNSError.cpp')
| -rw-r--r-- | lib/Analysis/CheckNSError.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Analysis/CheckNSError.cpp b/lib/Analysis/CheckNSError.cpp index 03c9af3a72..6e52dd952d 100644 --- a/lib/Analysis/CheckNSError.cpp +++ b/lib/Analysis/CheckNSError.cpp @@ -216,7 +216,7 @@ void NSErrorCheck::CheckParamDeref(VarDecl* Param, GRStateRef rootState, GRExprEngine& Eng, GRBugReporter& BR, bool isNSErrorWarning) { - RVal ParamRVal = rootState.GetRVal(Eng.getLVal(Param)); + RVal ParamRVal = rootState.GetLValue(Param); // FIXME: For now assume that ParamRVal is symbolic. We need to generalize // this later. |