[cfe-commits] r47333 - in /cfe/trunk/Analysis: GRExprEngine.cpp ValueState.cpp

[Ted Kremenek]

Author: kremenek
Date: Tue Feb 19 12:47:04 2008
New Revision: 47333

URL: http://llvm.org/viewvc/llvm-project?rev=47333&view=rev
Log:
Added transfer function support for casting to "void".

Modified:
    cfe/trunk/Analysis/GRExprEngine.cpp
    cfe/trunk/Analysis/ValueState.cpp

Modified: cfe/trunk/Analysis/GRExprEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/Analysis/GRExprEngine.cpp?rev=47333&r1=47332&r2=47333&view=diff

==============================================================================
--- cfe/trunk/Analysis/GRExprEngine.cpp (original)
+++ cfe/trunk/Analysis/GRExprEngine.cpp Tue Feb 19 12:47:04 2008
@@ -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;

Modified: cfe/trunk/Analysis/ValueState.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/Analysis/ValueState.cpp?rev=47333&r1=47332&r2=47333&view=diff

==============================================================================
--- cfe/trunk/Analysis/ValueState.cpp (original)
+++ cfe/trunk/Analysis/ValueState.cpp Tue Feb 19 12:47:04 2008
@@ -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;