[LLVMdev] invoke semantics

[Dan Gohman]

On May 22, 2009, at 12:02 PM, Jay Foad wrote:


>> 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.

Thanks to you and others for answering this. I've added a sentence to
LangRef.html making this explicit.

Though, opt -verify does not currently reject the testcase I posted.

Dan