commit 718c4f7b3ff713c3ebee46553d687bde63e5666f
author Ted Kremenek <kremenek@apple.com> Tue Apr 29 22:17:41 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Tue Apr 29 22:17:41 2008 +0000
tree aeb2f3877956ce8c59a70d6925b933133655d906
parent 1b8bd4d71c2098126041b4de4267175a82f0103c

Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues.
This removes the failure in null-deref-ps.c (test suite).


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

lib/Analysis/ValueState.cpp

diff --git a/lib/Analysis/ValueState.cpp b/lib/Analysis/ValueState.cpp
index cba0253..e51366d 100644
--- a/lib/Analysis/ValueState.cpp
+++ b/lib/Analysis/ValueState.cpp
@@ -212,6 +212,9 @@
       return UnknownVal();
     }
       
+    case lval::FieldOffsetKind:
+      return UnknownVal();
+      
     case lval::FuncValKind:
       return LV;