[LLVMdev] invoke semantics

[Jay Foad]

> It'd be good for someone actually familiar with invoke could comment
> on this. Specifically, in the following testcase, the return value of
> the invoke is used in the unwind destination, which is not reachable
> from the normal destination. Should this be valid?

No. If the invoked function unwinds then it doesn't return a value.
I'm pretty sure that -verify will reject your testcase.

Jay.