Ted Kremenek 05ecfddfc3 Fixed bug in 'LiveVariables' analysis where we incorrectly marked a variable ...

dead at an assignment without taking into account if the variable was used in
the RHS of the assignment.

llvm-svn: 46153

2008-01-18 00:40:21 +00:00

..

DeadStores.cpp

Added support to dataflow solver to (when requested) also record dataflow

2008-01-17 18:25:22 +00:00

ExplodedGraph.cpp

Fixed iterator bug in ExplodedNodeImpl::NodeGroup::end(); we would improperly

2008-01-16 22:13:19 +00:00

GRConstants.cpp

Added support to dataflow solver to (when requested) also record dataflow

2008-01-17 18:25:22 +00:00

GREngine.cpp

Fixed iterator bug in ExplodedNodeImpl::NodeGroup::end(); we would improperly

2008-01-16 22:13:19 +00:00

LiveVariables.cpp

Fixed bug in 'LiveVariables' analysis where we incorrectly marked a variable

2008-01-18 00:40:21 +00:00

Makefile

remove attribution from makefiles.

2007-12-29 20:02:25 +00:00

ProgramPoint.cpp

Added ProgramPoint.cpp, which implements several methods of the subclasses

2008-01-11 16:36:20 +00:00

UninitializedValues.cpp

Added VISIBILITY_HIDDEN to classes/structs in anonymous namespaces.

2008-01-08 18:19:08 +00:00