Home | History | Annotate | Download | only in Core

Lines Matching refs:ReturnStmt

171   // reference for what to clean up if it's a ReturnStmt; otherwise, everything
175 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx,
242 if (const ReturnStmt *RS = dyn_cast_or_null<ReturnStmt>(LastSt)) {
858 void ExprEngine::VisitReturnStmt(const ReturnStmt *RS, ExplodedNode *Pred,