diff options
-rw-r--r-- | Analysis/GRExprEngine.cpp | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/Analysis/GRExprEngine.cpp b/Analysis/GRExprEngine.cpp index 6d45beab32..d1a0d4c59b 100644 --- a/Analysis/GRExprEngine.cpp +++ b/Analysis/GRExprEngine.cpp @@ -447,19 +447,22 @@ void GRExprEngine::VisitCall(CallExpr* CE, NodeTy* Pred, void GRExprEngine::VisitCast(Expr* CastE, Expr* E, NodeTy* Pred, NodeSet& Dst) { - QualType T = CastE->getType(); + NodeSet S1; + Visit(E, Pred, S1); + QualType T = CastE->getType(); + // Check for redundant casts or casting to "void" if (T->isVoidType() || E->getType() == T || (T->isPointerType() && E->getType()->isFunctionType())) { - Dst.Add(Pred); + + for (NodeSet::iterator I1=S1.begin(), E1=S1.end(); I1 != E1; ++I1) + Dst.Add(*I1); + return; } - NodeSet S1; - Visit(E, Pred, S1); - for (NodeSet::iterator I1=S1.begin(), E1=S1.end(); I1 != E1; ++I1) { NodeTy* N = *I1; StateTy St = N->getState(); |