Пример #1
0
        private int PatchPriorBeginOld(CFGBlock endBlock, int endOldIndex, out CFGBlock beginBlock)
        {
            for (int i = this == endBlock ? endOldIndex - 2 : Count - 1; i >= 0; i--)
            {
                int endOldI;
                if (IsBeginOld(i, out endOldI))
                {
                    this.overridingLabels [i] = BeginOldMask | (uint)endOldIndex;
                    beginBlock = this;
                    Subroutine.AddInferredOldMap(this.Index, i, endBlock, default(TypeNode));
                    return(i);
                }
            }

            IEnumerator <CFGBlock> enumerator = Subroutine.PredecessorBlocks(this).GetEnumerator();

            if (!enumerator.MoveNext())
            {
                throw new InvalidOperationException("missing begin_old");
            }
            int result = PatchPriorBeginOld(endBlock, endOldIndex, enumerator.Current, out beginBlock);

            enumerator.MoveNext();
            return(result);
        }