On Tue, May 18, 2021 at 11:42 AM Andrew Banks via Liaison
<liaison_at_[hidden]> wrote:
>
> Don't we already have perror() for that?
>
> If ( fatal condition )
> {
> perror( "Something informative" );
> abort();
> }

That is about informing the user. I was referring to the reader of the
code. Assuming this is the aborting one:

    if (c)
       unreachable();

is at the same time more explicit and less verbose than:

   if (c) {
     // Unreachable
     abort();
   }

Plus tooling around that is easier to write vs. information in comments.

Cheers,
Miguel