Function gf::pivot::fragment::ssa::check_ssa

pub fn check_ssa(
    defs_uses: &UnsealedFragmentDefsUses, 
    dom_tree: &UnsealedFragmentDomTree<Forward>
) -> Result<(), Var>

⚪ Check whether an unsealed fragment is in SSA form.

Errors

• On error, returns any one variable violating the SSA form.