public override void VisitCFGSwitchEdge(SwitchEdge x) { Accept(x.SwitchValue); var state = _state; foreach (var c in x.CaseBlocks) { TraverseToBlock(x, state, c); } }
public override void VisitCFGSwitchEdge(SwitchEdge x) { Accept(x.SwitchValue); var state = _state; foreach (var c in x.CaseBlocks) { if (!c.CaseValue.IsOnlyBoundElement) { TraverseToBlock(x, state, c.CaseValue.PreBoundBlockFirst); } TraverseToBlock(x, state, c); } }