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/GRSimpleVals.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/GRSimpleVals.cpp')
| -rw-r--r-- | lib/Analysis/GRSimpleVals.cpp | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/lib/Analysis/GRSimpleVals.cpp b/lib/Analysis/GRSimpleVals.cpp index 44703163e0..07ec3e8bff 100644 --- a/lib/Analysis/GRSimpleVals.cpp +++ b/lib/Analysis/GRSimpleVals.cpp @@ -282,11 +282,6 @@ RVal GRSimpleVals::EvalEQ(GRExprEngine& Eng, LVal L, LVal R) { return UnknownVal(); } - // FIXME: Different offsets can map to the same memory cell. - case lval::ArrayOffsetKind: - case lval::FieldOffsetKind: - // Fall-through. - case lval::MemRegionKind: case lval::FuncValKind: case lval::GotoLabelKind: @@ -346,11 +341,6 @@ RVal GRSimpleVals::EvalNE(GRExprEngine& Eng, LVal L, LVal R) { break; } - // FIXME: Different offsets can map to the same memory cell. - case lval::ArrayOffsetKind: - case lval::FieldOffsetKind: - // Fall-through. - case lval::MemRegionKind: case lval::FuncValKind: case lval::GotoLabelKind: |