commit 402563b86a2de8a2cb82e2de3c895a3dd8924ca0
author Ted Kremenek <kremenek@apple.com> Tue Feb 19 18:47:04 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Tue Feb 19 18:47:04 2008 +0000
tree 26ba730628ebf06fcc9647d929d0e892ab32611c
parent 49581f4dc324d6a183419168b01cb04e73342c07

Added transfer function support for casting to "void".


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

Analysis/ValueState.cpp

diff --git a/Analysis/ValueState.cpp b/Analysis/ValueState.cpp
index 9638646..5796238 100644
--- a/Analysis/ValueState.cpp
+++ b/Analysis/ValueState.cpp
@@ -252,6 +252,10 @@
       case Stmt::ImplicitCastExprClass: {
         ImplicitCastExpr* C = cast<ImplicitCastExpr>(E);
         QualType CT = C->getType();
+        
+        if (CT->isVoidType())
+          return UnknownVal();
+          
         QualType ST = C->getSubExpr()->getType();
         
         if (CT == ST || (CT->isPointerType() && ST->isFunctionType())) {
@@ -266,6 +270,9 @@
         QualType CT = C->getType();
         QualType ST = C->getSubExpr()->getType();
         
+        if (CT->isVoidType())
+          return UnknownVal();
+        
         if (CT == ST || (CT->isPointerType() && ST->isFunctionType())) {
           E = C->getSubExpr();
           continue;