commit fe0b5740ced6f41b7f0f67245d979c7d6663ad09
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 6faba21cb71d56c2c8676f3fd7d3dc1b192b98c8
parent a0b1cc41ef9c231602971a0f81b13ead56c08178

Added transfer function support for casting to "void".

llvm-svn: 47333

clang/Analysis/GRExprEngine.cpp

diff --git a/clang/Analysis/GRExprEngine.cpp b/clang/Analysis/GRExprEngine.cpp
index 8df9e5f..6d45bea 100644
--- a/clang/Analysis/GRExprEngine.cpp
+++ b/clang/Analysis/GRExprEngine.cpp
@@ -449,8 +449,9 @@
   
   QualType T = CastE->getType();
 
-  // Check for redundant casts.
-  if (E->getType() == T || 
+  // Check for redundant casts or casting to "void"
+  if (T->isVoidType() ||
+      E->getType() == T || 
       (T->isPointerType() && E->getType()->isFunctionType())) {
     Dst.Add(Pred);
     return;

clang/Analysis/ValueState.cpp

diff --git a/clang/Analysis/ValueState.cpp b/clang/Analysis/ValueState.cpp
index 9638646..5796238 100644
--- a/clang/Analysis/ValueState.cpp
+++ b/clang/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;