<div class="gmail_quote">On Fri, Jul 20, 2012 at 4:03 PM, Richard Smith <span dir="ltr"><<a href="mailto:richard@metafoo.co.uk" target="_blank">richard@metafoo.co.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="gmail_quote"><div class="im">On Wed, Jul 18, 2012 at 9:59 PM, Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com" target="_blank">kremenek@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Author: kremenek<br>
Date: Wed Jul 18 23:59:05 2012<br>
New Revision: 160494<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=160494&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=160494&view=rev</a><br>
Log:<br>
Simplify UninitializedValues.cpp by removing logic to handle the previous (imprecise) representation<br>
of '&&' and '||' in the CFG.  This is no longer needed<br></blockquote><div><br></div></div><div>Sadly, that appears to be untrue. We now produce a bogus -Wuninitialized warning on this:</div><div>
<br></div>
<div>int x(int*); int f(bool b) { int n = (b || x(&n)) ? 0 : n; return n; }</div><div><br></div><div>More generally, && and || as the LHS of a ?: still produce a CFG with false edges.</div></div>
</blockquote></div><br><div>Fixed in r160691.</div>