<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"><<a href="mailto:jzwinck@gmail.com" target="_blank">jzwinck@gmail.com</a>></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>
> On 09/18/2014 09:42 PM, Richard Smith wrote:<br>
</span><span class="">> > FYI, this is core issue 504:<br>
> ><br>
> > <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>
><br>
> ... which doesn't necessarily mean it will be automatically addressed by CWG<br>
> in the near future.<br>
><br>
> Feel free to write a short paper suggesting specific wording changes to address<br>
> this issue. (Or, if just 1-2 sentence, send your wording changes to Mike Miller<br>
> if you won'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>