Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 44e402611fa0e48fc92932de95e19dc9d8c3b3f8 / Analysis / DataflowSolver.h
  1. 44e4026 Changed solver to use "==" operator when comparing dataflow values by Ted Kremenek · 17 years ago
  2. 294a7c9 Add overloaded versions of DataflowSolver::runOnBlock to simplify by Ted Kremenek · 17 years ago
  3. 8e28065 Moved TransferFunction object within DataflowSolver to be a instance by Ted Kremenek · 17 years ago
  4. 105bfee Modified DataFlowValues and DataflowSolver to associate dataflow value by Ted Kremenek · 17 years ago
  5. 2a9d82a Bug fix to merging of data flow values (merge incorrectly made values by Ted Kremenek · 17 years ago
  6. 2bf5514 UninitialuzedValues now only tracks BlockVarDecls; obviating false positives with by Ted Kremenek · 17 years ago
  7. 56d516d Removed "ObserverTy" from core DataflowValues types. The observer by Ted Kremenek · 17 years ago
  8. 13ed7fe Prototype implementation of new template-based dataflow solver. by Ted Kremenek · 17 years ago