Пример #1
0
        private bool Process(ILNode node, ref int stackSize)
        {
            while (node != null)
            {
                switch (node.NodeType)
                {
                case ILNodeType.Block:
                {
                    var block = (ILBlock)node;

                    // Catch handler, filter handler, and filter blocks begin with stack of 1 (Exception).
                    switch (block.BlockType)
                    {
                    case ILBlockType.ExceptionFilter:
                    {
                        if (stackSize < 1)
                        {
                            stackSize = 1;
                        }
                    }
                    break;

                    case ILBlockType.ExceptionHandle:
                    {
                        var handler = (ILExceptionHandlerBlock)block;
                        if (handler.HandlerType == ExceptionHandlerType.Catch || handler.HandlerType == ExceptionHandlerType.Filter)
                        {
                            if (stackSize < 1)
                            {
                                stackSize = 1;
                            }
                        }
                    }
                    break;
                    }

                    if (block.FirstChild != null)
                    {
                        if (!Process(block.FirstChild, ref stackSize))
                        {
                            return(false);
                        }
                    }
                }
                break;

                case ILNodeType.Instruction:
                {
                    var instruction = (ILInstruction)node;

                    // Stack size is already calcualated.
                    int currentStackSize;
                    if (_stackSizeByInstruction.TryGetValue(instruction, out currentStackSize) && currentStackSize >= stackSize)
                    {
                        return(false);
                    }

                    Process(instruction, ref stackSize);
                }
                break;
                }

                node = node.NextSibling;
            }

            return(true);
        }