[LLVMdev] invoke semantics

Jay Foad jay.foad at gmail.com
Fri May 22 12:02:22 PDT 2009


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



More information about the llvm-dev mailing list