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 | 79fa6a24b76fc4ba38a11e9102ad5771f1f8b453 (patch) | |
| tree | 4e21830decbcabd607fe5f5b0d110a0582f31275 | |
| parent | 376e3c0347e4242d826a482023540f8c6b121386 (diff) | |
| download | bcm5719-llvm-79fa6a24b76fc4ba38a11e9102ad5771f1f8b453.tar.gz bcm5719-llvm-79fa6a24b76fc4ba38a11e9102ad5771f1f8b453.zip | |
GRExprEngine::VisitCast: Just pass through function and block pointers.
llvm-svn: 66036
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index 0de0cea40be..3d577006f3e 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/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)) { |
