On 7/10/2017 12:05 PM, Meta wrote:
Currently not. This is either a bug or the compiler's flow analysis is not robust enough to detect this case.
Flow analysis relies on the function's signature, not its implementation, and currently the signature contains no information about noreturn.
Addressing this is the whole point of this thread.
