Ted Kremenek 2e04d73d83 Fixed bogus culling of uninitialized-values "taint" propagation during assignments. ...

We accidentally were throttling the propagation of uninitialized state across
assignments (e.g. x = y).  Thanks to Anders Carlsson for spotting this problem.

Added test cases to test suite to provide regression testing for the
uninitialized values analysis.

llvm-svn: 44306

2007-11-24 20:07:36 +00:00

..

DeadStores.cpp

Add a new Rewriter::getRangeSize method.

2007-10-16 22:36:42 +00:00

LiveVariables.cpp

Updated CFGStmtVisitor and CFGRecStmtVisitor to have a notion of

2007-11-20 03:01:58 +00:00

Makefile

…

UninitializedValues.cpp

Fixed bogus culling of uninitialized-values "taint" propagation during assignments.

2007-11-24 20:07:36 +00:00