diff options
| -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: |