Miguel,

on Tue, 18 May 2021 18:03:14 +0200 you (Miguel Ojeda
<miguel.ojeda.sandonis_at_[hidden]>) wrote:

> On Tue, May 18, 2021 at 6:00 PM Jₑₙₛ Gustedt <jens.gustedt_at_[hidden]>
> wrote:
> >
> > I think that the two are really not the same. Calling `abort()` has
> > defined behavior, it forces the implementation to branch
> > conditionally and to terminate the execution if the branch is
> > taken. My idea of `unreachable` would be that the implementation
> > may produce code they want, and in particular they may remove the
> > test of the condintional and unreachable branch completely. It is
> > the user's responsibility to make sure that this ok, it is the
> > compiler's responsibility to make the best from that assumption.
>
> Please note I said "assuming this is the aborting one" :-)

yes, sorry, I always have difficulties to wrap my head around these
things so I have to talk them out to convince myself ;-)

Thanks
Jₑₙₛ

-- 
:: INRIA Nancy Grand Est ::: Camus ::::::: ICube/ICPS :::
:: ::::::::::::::: office Strasbourg : +33 368854536   ::
:: :::::::::::::::::::::: gsm France : +33 651400183   ::
:: ::::::::::::::: gsm international : +49 15737185122 ::
:: http://icube-icps.unistra.fr/index.php/Jens_Gustedt ::