DataflowValues. Container class to store dataflow values for a CFG.
More...
#include "clang/Analysis/FlowSensitive/DataflowValues.h"
template<typename ValueTypes, typename _AnalysisDirTag = dataflow::forward_analysis_tag>
class clang::DataflowValues< ValueTypes, _AnalysisDirTag >
DataflowValues. Container class to store dataflow values for a CFG.
Definition at line 41 of file DataflowValues.h.
◆ AnalysisDataTy
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ AnalysisDirTag
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ BlockDataMapTy
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ EdgeDataMapTy
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ StmtDataMapTy
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ ValTy
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ DataflowValues()
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ ~DataflowValues()
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getAnalysisData() [1/2]
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
getAnalysisData - Retrieves the meta data associated with a dataflow analysis for analyzing a particular CFG.
This is typically consumed by transfer function code (via the solver). This can also be used by subclasses to interpret the dataflow values.
Definition at line 157 of file DataflowValues.h.
◆ getAnalysisData() [2/2]
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getBlockData() [1/2]
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
getBlockData - Retrieves the dataflow values associated with a specified CFGBlock.
If the dataflow analysis is a forward analysis, this data is associated with the END of the block. If the analysis is a backwards analysis, it is associated with the ENTRY of the block.
Definition at line 101 of file DataflowValues.h.
◆ getBlockData() [2/2]
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getBlockDataMap() [1/2]
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
getBlockDataMap - Retrieves the internal map between CFGBlocks and dataflow values.
If the dataflow analysis operates in the forward direction, the values correspond to the dataflow values at the start of the block. Otherwise, for a backward analysis, the values correpsond to the dataflow values at the end of the block.
Definition at line 139 of file DataflowValues.h.
◆ getBlockDataMap() [2/2]
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getEdgeData() [1/2]
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
getEdgeData - Retrieves the dataflow values associated with a CFG edge.
Definition at line 87 of file DataflowValues.h.
◆ getEdgeData() [2/2]
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getEdgeDataMap() [1/2]
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
getEdgeDataMap - Retrieves the internal map between CFG edges and dataflow values.
Usually used by a dataflow solver to compute values for blocks.
Definition at line 131 of file DataflowValues.h.
◆ getEdgeDataMap() [2/2]
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getStmtData() [1/2]
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
getStmtData - Retrieves the dataflow values associated with a specified Stmt.
If the dataflow analysis is a forward analysis, this data corresponds to the point immediately before a Stmt. If the analysis is a backwards analysis, it is associated with the point after a Stmt. This data is only computed for block-level expressions, and only when requested when the analysis is executed.
Definition at line 117 of file DataflowValues.h.
◆ getStmtData() [2/2]
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getStmtDataMap() [1/2]
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
getStmtDataMap - Retrieves the internal map between Stmts and dataflow values.
Definition at line 144 of file DataflowValues.h.
◆ getStmtDataMap() [2/2]
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ InitializeValues()
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
InitializeValues - Invoked by the solver to initialize state needed for dataflow analysis.
This method is usually specialized by subclasses.
Definition at line 82 of file DataflowValues.h.
◆ isBackwardAnalysis()
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
isBackwardAnalysis - Returns true if the dataflow values are computed from a backward analysis.
Definition at line 66 of file DataflowValues.h.
◆ isForwardAnalysis()
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ AnalysisData
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ BlockDataMap
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ EdgeDataMap
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ StmtDataMap
template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
The documentation for this class was generated from the following file: