Home | History | Annotate | Download | only in Core

Lines Matching refs:ReturnStmt

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