aboutsummaryrefslogtreecommitdiff
path: root/Analysis/LiveVariables.cpp
AgeCommit message (Expand)Author
2008-03-15Make a major restructuring of the clang tree: introduce a top-levelChris Lattner
2008-03-13The LiveVariables analysis no longer requires a FunctionDecl&; this allows itTed Kremenek
2008-03-05Fixed bogus assumption mistakenly introduced in r47955.Ted Kremenek
2008-03-05Minor cleanups (mainly indentation).Ted Kremenek
2008-02-25Minor bug fix in LiveVariables: don't "kill" decls referenced by a DeclStmtTed Kremenek
2008-02-22Fixed horrid bug in LiveVariables analysis where we were only merging atTed Kremenek
2008-02-22Bug fix in liveness: Only compute liveness information for VarDecls.Ted Kremenek
2008-02-07Fixed bug in LiveVariables analysis where Block-level exprs appearingTed Kremenek
2008-01-29Modified LiveVariables to perform all of its base initialization in the ctor,Ted Kremenek
2008-01-18Fixed bug in 'LiveVariables' analysis where we incorrectly marked a variableTed Kremenek
2008-01-17Modified the notion of "Block-level expressions" in CFGs to include Stmt*. ThisTed Kremenek
2008-01-17Added support to dataflow solver to (when requested) also record dataflowTed Kremenek
2008-01-17Removed FindDeclRef, and used Expr::IgnoreParens instead (code refactoring).Ted Kremenek
2008-01-11Renamed ProgramEdge to ProgramPoint and changed subclasses of ProgramEdgeTed Kremenek
2008-01-08Added VISIBILITY_HIDDEN to classes/structs in anonymous namespaces.Ted Kremenek
2007-12-29Don't attribute in file headers anymore. See llvmdev for theChris Lattner
2007-12-21Directory restructing of Analysis files.Ted Kremenek
2007-12-13Fixed bug in live-variable analysis and uninitialized-values analysis whereTed Kremenek
2007-11-20Updated CFGStmtVisitor and CFGRecStmtVisitor to have a notion ofTed Kremenek
2007-11-19Fixed bug where LiveVariables was not properly propagating updates to livenessTed Kremenek
2007-10-07move IdentifierTable.h from liblex to libbasic.Chris Lattner
2007-10-01Migrated LiveVariables and UninitializedVariables to now use theTed Kremenek
2007-09-28Fixed bug where assignments to variables wrapped in parentheses would notTed Kremenek
2007-09-28Significant cleanups and bug-fixes to LiveVariables. Uses new refactoredTed Kremenek
2007-09-25Moved "DataflowSolver.h" to the "include/" subtree. Adjusted clientTed Kremenek
2007-09-25Further refactored DataflowSolver. Now most code for the solver is sharedTed Kremenek
2007-09-20Updated header file inlcude to new location ofTed Kremenek
2007-09-13Move Decl::NextDeclarator (w/ setters/getters) down to ScopedDecl/FieldDecl.Steve Naroff
2007-09-12Minor space tightening.Ted Kremenek
2007-09-12Fixed recursion bug: should call Visit on child instead of VisitStmt.Ted Kremenek
2007-09-12Migrated LiveVariables to use the new DataflowStmtVisitor interface. The codeTed Kremenek
2007-09-11get rid of ugly "warning: no newline at end of file"Gabor Greif
2007-09-10Fixed LiveVariables to no longer track the liveness of function pointersTed Kremenek
2007-09-10Renaming of the LiveVariablesAuditor interface. Changed "Auditor" andTed Kremenek
2007-09-06Added more checking in "dead stores" for values that are initializedTed Kremenek
2007-09-06Minor bug fixes to corner cases where LiveVariables would crash on some CFGsTed Kremenek
2007-09-06Added "Dead Stores", a flow-sensitive checker that checks for storesTed Kremenek
2007-09-06LiveVariables:Ted Kremenek
2007-09-06Added an early implementation of Live-Variables analysis built onTed Kremenek