diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-04-30 16:07:22 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-04-30 16:07:22 +0000 |
| commit | c3b7f0ec5db97dcc43cac83496a00ff1adcc9b5a (patch) | |
| tree | 4101de4d2eda0d7caf94f5a311887c9968c5f51a /lib/Analysis | |
| parent | a1945fa74d04098d7e22d7c31585342555eca928 (diff) | |
Handle lval::ArrayOffset and lval::FieldOffset in EvalNE and EvalEQ.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50486 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis')
| -rw-r--r-- | lib/Analysis/GRSimpleVals.cpp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/Analysis/GRSimpleVals.cpp b/lib/Analysis/GRSimpleVals.cpp index 42cce94c9b..bb6ea5d560 100644 --- a/lib/Analysis/GRSimpleVals.cpp +++ b/lib/Analysis/GRSimpleVals.cpp @@ -483,6 +483,11 @@ 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::DeclValKind: case lval::FuncValKind: case lval::GotoLabelKind: @@ -541,6 +546,11 @@ 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::DeclValKind: case lval::FuncValKind: case lval::GotoLabelKind: |