In general I like this.

As David commented in email:

LLVM uses this quite heavily, in a macro that expands to something equivalent to assert(0 && "unreachable reached!”) in debug mode and __builtin_unreachable() in release mode. When you’re debugging, you get errors if you reach unreachable code and in deployment the compiler gets a useful hint for optimisation.

Should we do something similar in cdefs.h?

In D2536#46858, @emaste wrote:

In general I like this.

As David commented in email:

LLVM uses this quite heavily, in a macro that expands to something equivalent to assert(0 && "unreachable reached!”) in debug mode and __builtin_unreachable() in release mode. When you’re debugging, you get errors if you reach unreachable code and in deployment the compiler gets a useful hint for optimisation.

Should we do something similar in cdefs.h?

Hmm ... I looked at llvm_unreachable() at:
contrib/llvm/include/llvm/Support/ErrorHandling.h

I don't think we want all that in cdefs.

In D2536#46863, @pfg wrote:

Hmm ... I looked at llvm_unreachable() at:
contrib/llvm/include/llvm/Support/ErrorHandling.h

I don't think we want all that in cdefs.

I wasn't thinking of anything too elaborate -- perhaps just making it an assertion under #ifndef NDEBUG. But either way I'm happy for this to be in, and we can bikeshed about other changes later on.

In D2536#47048, @emaste wrote:

In D2536#46863, @pfg wrote:

Hmm ... I looked at llvm_unreachable() at:
contrib/llvm/include/llvm/Support/ErrorHandling.h

I don't think we want all that in cdefs.

I wasn't thinking of anything too elaborate -- perhaps just making it an assertion under #ifndef NDEBUG. But either way I'm happy for this to be in, and we can bikeshed about other changes later on.

The builtin is useful for optimizing non-debug cases as well: NetBSD uses it a couple of times in some boot code, but otherwise hasn't adopted it widely. Itś probably better to use it as it is now and as use cases start appearing we can have something more specialized.

In D2536#47068, @pfg wrote:

The builtin is useful for optimizing non-debug cases as well: NetBSD uses it a couple of times in some boot code, but otherwise hasn't adopted it widely. Itś probably better to use it as it is now and as use cases start appearing we can have something more specialized.

Right, that's what I mean -- it can be used as a compiler annotation/hint in release mode, and as an explicit assertion in debug mode.

In D2536#47069, @emaste wrote:

In D2536#47068, @pfg wrote:

The builtin is useful for optimizing non-debug cases as well: NetBSD uses it a couple of times in some boot code, but otherwise hasn't adopted it widely. Itś probably better to use it as it is now and as use cases start appearing we can have something more specialized.

Right, that's what I mean -- it can be used as a compiler annotation/hint in release mode, and as an explicit assertion in debug mode.

Ah, yes .. I see now .. very cool. Feel free to do the enhancement: it appears to be simple but I am not sure how to keep it nice and short ;).