<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
        {font-family:"Calisto MT";
        panose-1:2 4 6 3 5 5 5 3 3 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0in;
        margin-bottom:.0001pt;
        font-size:12.0pt;
        font-family:"Times New Roman","serif";}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:blue;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:purple;
        text-decoration:underline;}
p
        {mso-style-priority:99;
        mso-margin-top-alt:auto;
        margin-right:0in;
        mso-margin-bottom-alt:auto;
        margin-left:0in;
        font-size:12.0pt;
        font-family:"Times New Roman","serif";}
span.EmailStyle18
        {mso-style-type:personal-reply;
        font-family:"Calisto MT","serif";
        color:#7030A0;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-family:"Calibri","sans-serif";}
@page WordSection1
        {size:8.5in 11.0in;
        margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-size:14.0pt;font-family:&quot;Calisto MT&quot;,&quot;serif&quot;;color:#7030A0">I think we must be extremely careful in generalizations.&nbsp;
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:14.0pt;font-family:&quot;Calisto MT&quot;,&quot;serif&quot;;color:#7030A0">For example, GCC/libstdc&#43;&#43; isn&#8217;t necessarily built for all supported platforms.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:14.0pt;font-family:&quot;Calisto MT&quot;,&quot;serif&quot;;color:#7030A0">Even the ones that have g&#43;&#43; built don&#8217;t even have the minimal runtime built.<o:p></o:p></span></p>
<p class="MsoNormal"><a name="_MailEndCompose"><span style="font-size:14.0pt;font-family:&quot;Calisto MT&quot;,&quot;serif&quot;;color:#7030A0"><o:p>&nbsp;</o:p></span></a></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0in 0in 0in 4.0pt">
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0in 0in 0in">
<p class="MsoNormal"><b><span style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;">From:</span></b><span style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;"> ub-bounces@open-std.org [mailto:ub-bounces@open-std.org]
<b>On Behalf Of </b>Christopher Jefferson<br>
<b>Sent:</b> Thursday, October 10, 2013 4:59 PM<br>
<b>To:</b> Lawrence Crowl<br>
<b>Cc:</b> ub@open-std.org<br>
<b>Subject:</b> Re: [ub] Justification for &lt; not being a total order on pointers?<o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><o:p>&nbsp;</o:p></p>
<p><br>
On 10 Oct 2013 21:33, &quot;Lawrence Crowl&quot; &lt;<a href="mailto:Lawrence@crowl.org">Lawrence@crowl.org</a>&gt; wrote:<br>
&gt;<br>
&gt; On 10/10/13, Nevin Liber &lt;<a href="mailto:nevin@eviloverlord.com">nevin@eviloverlord.com</a>&gt; wrote:<br>
&gt; &gt; On 10 October 2013 02:36, Lawrence Crowl &lt;<a href="mailto:Lawrence@crowl.org">Lawrence@crowl.org</a>&gt; wrote:<br>
&gt; &gt;&gt; The problem is that if you need to represent an object with more than<br>
&gt; &gt;&gt; one segment (as was necessary for arrays &gt; 64 kB on x86) then<br>
&gt; &gt;&gt; requiring a total order within an array places a consistency requirement<br>
&gt; &gt;&gt; on computing a total order between arrays.<br>
&gt; &gt;<br>
&gt; &gt; Didn't that issue already exist in C&#43;&#43;98 (at least with respect to<br>
&gt; &gt; std::less)?<br>
&gt;<br>
&gt; I think so, but that probably implies that the library hasn't been implemented<br>
&gt; on the full range of machines allowed by the base language.<br>
&gt;<br>
&gt; At this point, I think we need to ask if we really do want to support machines<br>
&gt; with small segments. &nbsp;Does anyone know of any current such machines?<o:p></o:p></p>
<p>Both GCC and clang both&nbsp; implement std::less on pointers with&nbsp; &lt;, so there are it seems no such machines with a correct open source C&#43;&#43; implementation at least.<o:p></o:p></p>
<p>Chris<br>
&gt;<br>
&gt; --<br>
&gt; Lawrence Crowl<br>
&gt; _______________________________________________<br>
&gt; ub mailing list<br>
&gt; <a href="mailto:ub@isocpp.open-std.org">ub@isocpp.open-std.org</a><br>
&gt; <a href="http://www.open-std.org/mailman/listinfo/ub">http://www.open-std.org/mailman/listinfo/ub</a><o:p></o:p></p>
</div>
</div>
</body>
</html>