diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-03-04 16:52:57 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-03-04 16:52:57 +0000 |
commit | a4cb9d3a36041301e59d90b2effb9aeb08488eba (patch) | |
tree | 269a4a7833f3fd3bbc3c4b77a1c89210c88f8e5c /lib/Analysis/GRExprEngine.cpp | |
parent | d883d841c20729972e70853cb08c2e4c7d044d2d (diff) |
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
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
-rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 0de0cea40b..3d577006f3 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -1778,6 +1778,12 @@ void GRExprEngine::VisitCast(Expr* CastE, Expr* Ex, NodeTy* Pred, NodeSet& Dst){ 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)) { |