Lines Matching refs:ReturnStmt
174 // reference for what to clean up if it's a ReturnStmt; otherwise, everything178 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,