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