/// This predicate checks for control-flow statements under a declaration
/// that will require relooper to be enabled to be handled.
This predicate checks for control-flow statements under a declaration
that will require relooper to be enabled to be handled.
This predicate checks for control - flow statements under a declaration that will require relooper to be enabled to be handled .
fn function_requires_relooper(&self, stmt_ids: &[CStmtId]) -> bool {
        stmt_ids
        .iter()
        .flat_map(|&stmt_id| DFExpr::new(&self.ast_context, stmt_id.into()))
        .flat_map(SomeId::stmt)
        .any(|x| {
            match self.ast_context[x].kind {
                CStmtKind::Goto(..) | CStmtKind::Label(..) | CStmtKind::Switch{..} => true,
                _ => false,
            }
        })
    }
fn function_requires_relooper ( & self , stmt_ids : & [ CStmtId ] ) -> bool { stmt_ids . iter ( ) . flat_map ( | & stmt_id | DFExpr :: new ( & self . ast_context , stmt_id . into ( ) ) ) . flat_map ( SomeId :: stmt ) . any ( | x | { match self . ast_context [ x ] . kind { CStmtKind :: Goto ( .. ) | CStmtKind :: Label ( .. ) | CStmtKind :: Switch { .. } => true , _ => false , } } ) }
This predicate checks for control-flow statements under a declaration
that will require relooper to be enabled to be handled.
This predicate checks for control - flow statements under a declaration that will require relooper to be enabled to be handled .
&self
stmt_ids
&[CStmtId]