commit 39a736f7231198b4dd811f17b7324d893c550f2e
author Ted Kremenek <kremenek@apple.com> Wed Apr 30 16:07:22 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Apr 30 16:07:22 2008 +0000
tree e895e9fcf37988ec986d801317ecf9829b9d2263
parent dd477ce32ba4472c50fa4636c80a94105efc0b0f

Handle lval::ArrayOffset and lval::FieldOffset in EvalNE and EvalEQ.

llvm-svn: 50486

clang/lib/Analysis/GRSimpleVals.cpp

diff --git a/clang/lib/Analysis/GRSimpleVals.cpp b/clang/lib/Analysis/GRSimpleVals.cpp
index 42cce94..bb6ea5d 100644
--- a/clang/lib/Analysis/GRSimpleVals.cpp
+++ b/clang/lib/Analysis/GRSimpleVals.cpp
@@ -483,6 +483,11 @@
       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 @@
       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: