On 12/07/15 12:42, Bernd Schmidt wrote:
On 12/07/2015 06:34 PM, Nathan Sidwell wrote:
Aren't noreturn fns required to be void? It certainly doesn't make
sense for them to do otherwise.
The documentation says "it makes no sense" for them to have a type other than
void, but I don't think that translates into a requirement. I suppose you could
imagine a situation where you call various functions through a given function
pointer type, and one of them doesn't return and could be marked as such.
experimentation shows PTX JIT is fine with the trap before (an unreachable)
ld.param
nathan
