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.
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
