On Fri, Jul 20, 2012 at 4:03 PM, Richard Smith <[email protected]>wrote:
> On Wed, Jul 18, 2012 at 9:59 PM, Ted Kremenek <[email protected]> wrote: > >> Author: kremenek >> Date: Wed Jul 18 23:59:05 2012 >> New Revision: 160494 >> >> URL: http://llvm.org/viewvc/llvm-project?rev=160494&view=rev >> Log: >> Simplify UninitializedValues.cpp by removing logic to handle the previous >> (imprecise) representation >> of '&&' and '||' in the CFG. This is no longer needed >> > > Sadly, that appears to be untrue. We now produce a bogus -Wuninitialized > warning on this: > > int x(int*); int f(bool b) { int n = (b || x(&n)) ? 0 : n; return n; } > > More generally, && and || as the LHS of a ?: still produce a CFG with > false edges. > Fixed in r160691.
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
