[ub] Justification for < not being a total order on pointers?

Ville Voutilainen ville.voutilainen at gmail.com
Wed Oct 16 17:58:41 CEST 2013


On 16 October 2013 18:53, Gabriel Dos Reis <gdr at axiomatics.org> wrote:

>
> Only on the cases, e.g. input values, where they aren't both defined.
> That isn't failure.  You're looking at the value of the proposition when
> the
> preconditions aren't satisfied, we all know what happens :-)
>
>
>
Indeed we do know, Lakos will throw an exception.

I'll get my coat now. :)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.open-std.org/pipermail/ub/attachments/20131016/6ed5c585/attachment.html 


More information about the ub mailing list