<div dir="ltr">I tried this with my favorite static analyzer (FlexeLint) and it issued a Warning.<div><br></div><div>Jim Gimpel</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Sep 22, 2014 at 8:15 AM, John Zwinck <span dir="ltr">&lt;<a href="mailto:jzwinck@gmail.com" target="_blank">jzwinck@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Sun Sep 21 14:27:43 CEST 2014, Jens Maurer wrote:<br>
&gt; On 09/18/2014 09:42 PM, Richard Smith wrote:<br>
</span><span class="">&gt; &gt; FYI, this is core issue 504:<br>
&gt; &gt;<br>
&gt; &gt; <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#504" target="_blank">http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#504</a><br>
&gt;<br>
&gt; ... which doesn&#39;t necessarily mean it will be automatically addressed by CWG<br>
&gt; in the near future.<br>
&gt;<br>
&gt; Feel free to write a short paper suggesting specific wording changes to address<br>
&gt; this issue.  (Or, if just 1-2 sentence, send your wording changes to Mike Miller<br>
&gt; if you won&#39;t attend WG21 meetings in person.)<br>
<br>
</span>Understood.  I will write some proposed wording here in the hope that<br>
someone might give feedback.  In [dcl.init.ref] I would add a clause:<br>
<br>
---<br>
The initializer shall not mention the reference being initialized.<br>
Any use of a reference which has not yet been initialized is<br>
ill-formed.<br>
---<br>
<br>
I currently  have no plans to attend WG21 meetings, but appreciate<br>
your time here.<br>
<span class="HOEnZb"><font color="#888888"><br>
John Zwinck<br>
</font></span><div class="HOEnZb"><div class="h5">_______________________________________________<br>
ub mailing list<br>
<a href="mailto:ub@isocpp.open-std.org">ub@isocpp.open-std.org</a><br>
<a href="http://www.open-std.org/mailman/listinfo/ub" target="_blank">http://www.open-std.org/mailman/listinfo/ub</a><br>
</div></div></blockquote></div><br></div>