[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