diff options
Diffstat (limited to 'clang/lib/Analysis/GRSimpleVals.cpp')
| -rw-r--r-- | clang/lib/Analysis/GRSimpleVals.cpp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/clang/lib/Analysis/GRSimpleVals.cpp b/clang/lib/Analysis/GRSimpleVals.cpp index 42cce94c9b7..bb6ea5d5603 100644 --- a/clang/lib/Analysis/GRSimpleVals.cpp +++ b/clang/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: |
