Struct c2rust_transpile::cfg::Cfg

pub struct Cfg<Lbl: Ord + Hash, Stmt> { /* fields omitted */ }

A CFG graph of regular basic blocks.

Methods

impl<L: Clone + Ord + Hash, S1> Cfg<L, S1>

pub fn map_stmts<S2, F: Fn(&S1) -> S2>(&self, f: F) -> Cfg<L, S2>

Produce a copy of the current CFG, but transform all of the statements using the function provided.

impl Cfg<Label, StmtOrDecl>

A complete control-flow graph

pub fn from_stmts(
    translator: &Translation,
    ctx: ExprContext,
    stmt_ids: &[CStmtId],
    ret: ImplicitReturnType
) -> Result<(Self, DeclStmtStore), TranslationError>

Completely process a statement into a control flow graph.

impl<Lbl: Copy + Ord + Hash + Debug, Stmt> Cfg<Lbl, Stmt>

The polymorphism here is only to make it clear exactly how little these functions need to know about the actual contents of the CFG - we only actual call these on one monomorphic CFG type.

pub fn prune_unreachable_blocks_mut(&mut self)

Removes blocks that cannot be reached from the CFG

pub fn prune_empty_blocks_mut(&mut self)

Removes empty blocks whose terminator is just a Jump by merging them with the block they are jumping to.

impl Cfg<Label, StmtOrDecl>

This impl block deals with pretty-printing control flow graphs into a format that dot can consume. Compiling these files into images means running something like:

dot -Tpng cfg_func.dot > cfg_func.png

pub fn dump_json_graph(
    &self,
    store: &DeclStmtStore,
    file_path: String
) -> Result<()>

Write out a JSON representation of the control flow graph

pub fn dump_dot_graph(
    &self,
    ctx: &TypedAstContext,
    store: &DeclStmtStore,
    show_liveness: bool,
    show_loops: bool,
    file_path: String
) -> Result<()>

Write out a .dot representation of the control flow graph

Trait Implementations

impl<Lbl: Clone + Ord + Hash, Stmt: Clone> Clone for Cfg<Lbl, Stmt>

fn clone(&self) -> Cfg<Lbl, Stmt>

Returns a copy of the value.

default fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Lbl: Debug + Ord + Hash, Stmt: Debug> Debug for Cfg<Lbl, Stmt>

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<L: Serialize + Ord + Hash, St: Serialize> Serialize for Cfg<L, St>

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.