diff options
| author | Ted Kremenek <kremenek@apple.com> | 2007-09-25 17:51:05 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2007-09-25 17:51:05 +0000 |
| commit | 67f6ea19d73d7aaee191e27eb597460dab145ed3 (patch) | |
| tree | e8fd215cec809bbde70595869b13d5b6e6bb2d96 /clang/Analysis/DataflowSolver.h | |
| parent | 97d4bf2c4145e5d437bd9558bf1972728b94d598 (diff) | |
| download | bcm5719-llvm-67f6ea19d73d7aaee191e27eb597460dab145ed3.tar.gz bcm5719-llvm-67f6ea19d73d7aaee191e27eb597460dab145ed3.zip | |
Minor comment changes.
llvm-svn: 42304
Diffstat (limited to 'clang/Analysis/DataflowSolver.h')
| -rw-r--r-- | clang/Analysis/DataflowSolver.h | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/clang/Analysis/DataflowSolver.h b/clang/Analysis/DataflowSolver.h index ebb5e6f2eee..cbdbde67d4e 100644 --- a/clang/Analysis/DataflowSolver.h +++ b/clang/Analysis/DataflowSolver.h @@ -23,6 +23,7 @@ namespace clang { //===----------------------------------------------------------------------===// /// DataflowWorkListTy - Data structure representing the worklist used for /// dataflow algorithms. +//===----------------------------------------------------------------------===// class DataflowWorkListTy { typedef llvm::SmallPtrSet<const CFGBlock*,20> BlockSet; @@ -48,6 +49,7 @@ public: // BlockItrTraits - Traits classes that allow transparent iteration over // successors/predecessors of a block depending on the direction of our // dataflow analysis. +//===----------------------------------------------------------------------===// namespace dataflow { template<typename Tag> struct ItrTraits {}; @@ -101,15 +103,17 @@ template <> struct ItrTraits<backward_analysis_tag> { //===----------------------------------------------------------------------===// /// DataflowSolverTy - Generic dataflow solver. +//===----------------------------------------------------------------------===// + template <typename _DFValuesTy, // Usually a subclass of DataflowValues typename _TransferFuncsTy, typename _MergeOperatorTy, typename _Equal = std::equal_to<typename _DFValuesTy::ValTy> > class DataflowSolver { - //===--------------------------------------------------------------------===// + //===----------------------------------------------------===// // Type declarations. - //===--------------------------------------------------------------------===// + //===----------------------------------------------------===// public: typedef _DFValuesTy DFValuesTy; @@ -126,9 +130,9 @@ public: typedef typename ItrTraits::PrevBItr PrevBItr; typedef typename ItrTraits::StmtItr StmtItr; - //===--------------------------------------------------------------------===// + //===----------------------------------------------------===// // External interface: constructing and running the solver. - //===--------------------------------------------------------------------===// + //===----------------------------------------------------===// public: DataflowSolver(DFValuesTy& d) : D(d), TF(d.getAnalysisData()) {} @@ -167,9 +171,9 @@ public: runOnBlock(I); } - //===--------------------------------------------------------------------===// + //===----------------------------------------------------===// // Internal solver logic. - //===--------------------------------------------------------------------===// + //===----------------------------------------------------===// private: |
