commit 0fe33bc94a822e315585e5cde1964d3c3b9052f9
author Ted Kremenek <kremenek@apple.com> Tue Apr 22 21:10:18 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Tue Apr 22 21:10:18 2008 +0000
tree 37a7aaad6e07752e567ddef1b23ca47b3ec7bbcb
parent 9fdf9c6d3530bb85f3166e6460d841e2ff8e1a2c

Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers.


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

lib/Analysis/ValueState.cpp

diff --git a/lib/Analysis/ValueState.cpp b/lib/Analysis/ValueState.cpp
index c0ed7aa..bba2e06 100644
--- a/lib/Analysis/ValueState.cpp
+++ b/lib/Analysis/ValueState.cpp
@@ -277,12 +277,7 @@
           return UnknownVal();
           
         QualType ST = C->getSubExpr()->getType();
-        
-        if (CT == ST || (CT->isPointerType() && ST->isFunctionType())) {
-          E = C->getSubExpr();
-          continue;
-        }
-        
+
         break;
       }
         
@@ -294,11 +289,6 @@
         if (CT->isVoidType())
           return UnknownVal();
         
-        if (CT == ST || (CT->isPointerType() && ST->isFunctionType())) {
-          E = C->getSubExpr();
-          continue;
-        }
-        
         break;
       }