commit 5a9b6aa9a529df9c81497e78d4bd114e84934880
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 3235d4ec1b09c3454ae597cdd9e79b0d26431d3f

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/GRExprEngine.cpp

diff --git a/Analysis/GRExprEngine.cpp b/Analysis/GRExprEngine.cpp
index 8df9e5f..6d45bea 100644
--- a/Analysis/GRExprEngine.cpp
+++ b/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;