<div>std::type_info comes from the runtime.  Someone needs to implement it for our to be provided.</div><div><br></div><div>Having the compiler identify the ABI means that the runtime has a concrete manner to determine what ABI is being requested.  On certain platforms it is not possible to determine the ABI without having the compiler indicate to you which is in use.</div><div><br></div><div>Furthermore, this would allow verification that the user code and the runtime agree on the ABI itself.</div><div><br><div class="gmail_quote"><div>On Sun, Jan 8, 2017 at 11:24 AM Jens Maurer &lt;<a href="mailto:Jens.Maurer@gmx.net">Jens.Maurer@gmx.net</a>&gt; wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 01/08/2017 05:19 PM, Saleem Abdulrasool wrote:<br class="gmail_msg"><br>&gt; Although the differences in PMFs could require different behaviors, I think that encouraging users to use more portable code is preferable.<br class="gmail_msg"><br><br class="gmail_msg"><br>Agreed on the latter part.<br class="gmail_msg"><br><br class="gmail_msg"><br>&gt; As to examples of the runtime changing would be the implementation of std::type_info.<br class="gmail_msg"><br><br class="gmail_msg"><br>Ok, but that comes with your compiler or with your standard library, anyway, right?<br class="gmail_msg"><br><br class="gmail_msg"><br>So, where&#39;s the point of having a standard-looking ABI macro?<br class="gmail_msg"><br><br class="gmail_msg"><br>Jens<br class="gmail_msg"><br></blockquote></div></div>