llvm-project/clang/test/Analysis
Ted Kremenek fb475ec504 Changed merge operation for uninitialized values analysis to "intersect" (previous union).
The effect is that if a variable is uninitialized along a branch (but initialized along another), at merge points it is considered uninitialized.  Previously we had the opposite behavior.  The new behavior is more conservative, and more in line with gcc's behavior.

llvm-svn: 48689
2008-03-22 20:11:00 +00:00
..
conditional-op-missing-lhs.c GCC has an extension where the left hand side of the ? : operator can be omitted. Handle this in a few more places. 2007-11-30 19:04:31 +00:00
dead-stores.c Convert tabs to spaces. 2008-03-19 07:31:52 +00:00
uninit-vals.c Changed merge operation for uninitialized values analysis to "intersect" (previous union). 2008-03-22 20:11:00 +00:00