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 | 39a736f7231198b4dd811f17b7324d893c550f2e (patch) | |
| tree | e895e9fcf37988ec986d801317ecf9829b9d2263 /clang/lib/Analysis/GRSimpleVals.cpp | |
| parent | dd477ce32ba4472c50fa4636c80a94105efc0b0f (diff) | |
| download | bcm5719-llvm-39a736f7231198b4dd811f17b7324d893c550f2e.tar.gz bcm5719-llvm-39a736f7231198b4dd811f17b7324d893c550f2e.zip | |
Handle lval::ArrayOffset and lval::FieldOffset in EvalNE and EvalEQ.
llvm-svn: 50486
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: |
