// <summary> // Ends a code branching. Merges the state of locals and parameters // from all the children of the ending branching. // </summary> public bool EndFlowBranching () { FlowBranching old = current_flow_branching; current_flow_branching = current_flow_branching.Parent; FlowBranching.UsageVector vector = current_flow_branching.MergeChild (old); return vector.IsUnreachable; }