<div dir="ltr">On 16 October 2013 10:53, Gabriel Dos Reis <span dir="ltr">&lt;<a href="mailto:gdr@axiomatics.org" target="_blank">gdr@axiomatics.org</a>&gt;</span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">Ville Voutilainen &lt;<a href="mailto:ville.voutilainen@gmail.com">ville.voutilainen@gmail.com</a>&gt; writes:<br>


<br>
| On 16 October 2013 18:46, Gabriel Dos Reis &lt;<a href="mailto:gdr@axiomatics.org">gdr@axiomatics.org</a>&gt; wrote:<br>
|<br>
|<br>
|     |     My own personal view (not that of chair) is that if std::less&lt;T&gt;(l,r)<br>
|     and<br>
|     |     &quot;l &lt; r&quot; are<br>
|     |     both defined, then they should yield the same answer.<br>
|     |<br>
|     |<br>
|     | Which fails for pointers.<br>
|<br>
|     &quot;fails&quot; in which sense?  It is certainly true in the current standards<br>
|     these expressions are both defined when &#39;l&#39; and &#39;r&#39; are related<br>
|     addresses (relative to the same object), which was exactly my point.<br>
|<br>
| Fails in the sense that less&lt;int*&gt;(l, r) and l&lt;r do not necessarily yield the<br>
| same answer.<br>
<br>
</div></div>Only on the cases, e.g. input values, where they aren&#39;t both defined.<br></blockquote><div><br></div><div>Only because they have different preconditions.  They shouldn&#39;t.<br></div></div>-- <br> Nevin &quot;:-)&quot; Liber  &lt;mailto:<a href="mailto:nevin@eviloverlord.com" target="_blank">nevin@eviloverlord.com</a>&gt;  (847) 691-1404
</div></div>