swift234

SIL: Verify alloc_stack/dealloc_stack balancing.

When verifying a SILFunction, walk its CFG, verifying that alloc_stacks and dealloc_stacks balance in stack order, that stack height is consistent coming from all predecessors of a block, and that all alloc_stacks are deallocated prior to returning from a function.

Swift SVN r8985