[LLVMdev] RFC: Exception Handling Proposal II

[John McCall]

On Nov 29, 2010, at 12:17 AM, Duncan Sands wrote:
>> This is well-formed SSA;  the alloca instruction %x is in the entry block and thus dominates both the store in %try and the load in %catch...
> 
> this brings up the question of whether we should allow a catch handler to be
> attached to the entry block.  My feeling is that it should be disallowed.  If
> it was allowed then values defined in the entry block (like alloca's) would no
> longer be guaranteed to dominate every other block in the function.

Agreed.

John.