commit a4cb9d3a36041301e59d90b2effb9aeb08488eba
author Ted Kremenek <kremenek@apple.com> Wed Mar 04 16:52:57 2009 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Mar 04 16:52:57 2009 +0000
tree 269a4a7833f3fd3bbc3c4b77a1c89210c88f8e5c
parent d883d841c20729972e70853cb08c2e4c7d044d2d

GRExprEngine::VisitCast: Just pass through function and block pointers.

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

lib/Analysis/GRExprEngine.cpp

diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index 0de0cea..3d57700 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -1778,6 +1778,12 @@
       MakeNode(Dst, CastE, N, BindExpr(state, CastE, V));
       continue;
     }
+    
+    // Just pass through function and block pointers.
+    if (T->isBlockPointerType() || T->isFunctionPointerType()) {
+      MakeNode(Dst, CastE, N, BindExpr(state, CastE, V));
+      continue;
+    }
   
     // Check for casts from pointers to integers.
     if (T->isIntegerType() && Loc::IsLocType(ExTy)) {