summaryrefslogtreecommitdiffstats
path: root/clang/Analysis/DataflowSolver.h
Commit message (Expand)AuthorAgeFilesLines
* Moved "DataflowSolver.h" to the "include/" subtree. Adjusted clientTed Kremenek2007-09-251-267/+0
* Comment formatting changes. No real content changes.Ted Kremenek2007-09-251-14/+14
* Minor comment changes.Ted Kremenek2007-09-251-6/+10
* Further refactored DataflowSolver. Now most code for the solver is sharedTed Kremenek2007-09-251-115/+105
* Updated VC++ project files.Hartmut Kaiser2007-09-201-4/+4
* DataflowSolver now acccepts an "_Equal" template parameter that allows the userTed Kremenek2007-09-181-2/+4
* Changed solver to use "==" operator when comparing dataflow valuesTed Kremenek2007-09-181-1/+1
* Add overloaded versions of DataflowSolver::runOnBlock to simplifyTed Kremenek2007-09-181-0/+9
* Moved TransferFunction object within DataflowSolver to be a instanceTed Kremenek2007-09-181-18/+10
* Modified DataFlowValues and DataflowSolver to associate dataflow valueTed Kremenek2007-09-181-64/+88
* Bug fix to merging of data flow values (merge incorrectly made valuesTed Kremenek2007-09-171-13/+32
* UninitialuzedValues now only tracks BlockVarDecls; obviating false positives ...Ted Kremenek2007-09-171-3/+11
* Removed "ObserverTy" from core DataflowValues types. The observerTed Kremenek2007-09-171-6/+4
* Prototype implementation of new template-based dataflow solver.Ted Kremenek2007-09-141-0/+221
OpenPOWER on IntegriCloud