compilation of __builtin_unreachable

[monniaux]

__builtin_unreachable is currently accepted, but seems to be compiled as a no-operation. Wouldn't it be reasonable, at LTL level, to compile it as a self-loop (Nop onto the same control location)? Then, optimizations could take advantage of knowing that some operation won't return. Same for functions declared _Noreturn.