diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 19 |
1 files changed, 3 insertions, 16 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index dd2bda1331..eb31f84b0c 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -1855,12 +1855,12 @@ void GRExprEngine::VisitObjCMessageExprArgHelper(ObjCMessageExpr* ME, Visit(Receiver, Pred, Tmp); for (NodeSet::iterator NI = Tmp.begin(), NE = Tmp.end(); NI != NE; ++NI) - VisitObjCMessageExprDispatchCheckers(ME, *NI, Dst); + VisitObjCMessageExprDispatchHelper(ME, *NI, Dst); return; } - VisitObjCMessageExprDispatchCheckers(ME, Pred, Dst); + VisitObjCMessageExprDispatchHelper(ME, Pred, Dst); return; } @@ -1873,19 +1873,6 @@ void GRExprEngine::VisitObjCMessageExprArgHelper(ObjCMessageExpr* ME, VisitObjCMessageExprArgHelper(ME, AI, AE, *NI, Dst); } -void GRExprEngine::VisitObjCMessageExprDispatchCheckers(ObjCMessageExpr* ME, - NodeTy* Pred, - NodeSet& Dst) { - NodeSet Src; - Src.Add(Pred); - NodeSet DstTmp; - // Perform the previsit of the ObjCMessageExpr, storing the results in DstTmp. - CheckerVisit(ME, Src, DstTmp, true); - - for (NodeSet::iterator NI = DstTmp.begin(), NE = DstTmp.end(); NI != NE; ++NI) - VisitObjCMessageExprDispatchHelper(ME, *NI, Dst); -} - void GRExprEngine::VisitObjCMessageExprDispatchHelper(ObjCMessageExpr* ME, NodeTy* Pred, NodeSet& Dst) { @@ -2056,7 +2043,7 @@ void GRExprEngine::VisitObjCMessageExprDispatchHelper(ObjCMessageExpr* ME, return; } } - + // Check if we raise an exception. For now treat these as sinks. Eventually // we will want to handle exceptions properly. |