From: Ted Kremenek <kremenek@apple.com>
Date: Wed, 30 Apr 2008 16:07:22 +0000 (+0000)
Subject: Handle lval::ArrayOffset and lval::FieldOffset in EvalNE and EvalEQ.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=c3b7f0ec5db97dcc43cac83496a00ff1adcc9b5a;p=clang

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


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50486 91177308-0d34-0410-b5e6-96231b3b80d8
---

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: