Member predicate GuardsInput::Case::matchEdge
Holds if this case takes control-flow from bb1 to bb2 when
the case matches the scrutinee.
predicate matchEdge(BasicBlock bb1, BasicBlock bb2)Holds if this case takes control-flow from bb1 to bb2 when
the case matches the scrutinee.
predicate matchEdge(BasicBlock bb1, BasicBlock bb2)