diff options
Diffstat (limited to 'clang')
| -rw-r--r-- | clang/include/clang/Analysis/PathSensitive/GRExprEngine.h | 3 | ||||
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 19 |
2 files changed, 3 insertions, 19 deletions
diff --git a/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h b/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h index 49c329a75ce..534b595c0d3 100644 --- a/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h +++ b/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h @@ -585,9 +585,6 @@ protected: ObjCMessageExpr::arg_iterator E, NodeTy* Pred, NodeSet& Dst); - void VisitObjCMessageExprDispatchCheckers(ObjCMessageExpr* ME, NodeTy* Pred, - NodeSet& Dst); - void VisitObjCMessageExprDispatchHelper(ObjCMessageExpr* ME, NodeTy* Pred, NodeSet& Dst); diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index dd2bda13314..eb31f84b0c4 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/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. |
