Type-erased base class for dataflow analyses built on a single lattice type. More...
#include "clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h"
Inheritance diagram for clang::dataflow::TypeErasedDataflowAnalysis:
Public Member Functions | |
| TypeErasedDataflowAnalysis () | |
| TypeErasedDataflowAnalysis (DataflowAnalysisOptions Options) | |
| virtual | ~TypeErasedDataflowAnalysis () |
| virtual ASTContext & | getASTContext ()=0 |
Returns the ASTContext that is used by the analysis. | |
| virtual TypeErasedLattice | typeErasedInitialElement ()=0 |
| Returns a type-erased lattice element that models the initial state of a basic block. | |
| virtual TypeErasedLattice | joinTypeErased (const TypeErasedLattice &, const TypeErasedLattice &)=0 |
| Joins two type-erased lattice elements by computing their least upper bound. | |
| virtual LatticeJoinEffect | widenTypeErased (TypeErasedLattice &Current, const TypeErasedLattice &Previous)=0 |
| Chooses a lattice element that approximates the current element at a program point, given the previous element at that point. | |
| virtual bool | isEqualTypeErased (const TypeErasedLattice &, const TypeErasedLattice &)=0 |
| Returns true if and only if the two given type-erased lattice elements are equal. | |
| virtual void | transferTypeErased (const CFGElement &, TypeErasedLattice &, Environment &)=0 |
| Applies the analysis transfer function for a given control flow graph element and type-erased lattice element. | |
| virtual void | transferBranchTypeErased (bool Branch, const Stmt *, TypeErasedLattice &, Environment &)=0 |
| Applies the analysis transfer function for a given edge from a CFG block of a conditional statement. | |
| const std::optional< DataflowAnalysisContext::Options > & | builtinOptions () const |
| If the built-in model is enabled, returns the options to be passed to them. | |
 Public Member Functions inherited from clang::dataflow::Environment::ValueModel | |
| virtual | ~ValueModel ()=default |
| virtual ComparisonResult | compare (QualType Type, const Value &Val1, const |