44 FieldSet DataflowAnalysisContext::getModeledFields(QualType Type) {  in getModeledFields()
58 void DataflowAnalysisContext::addModeledFields(const FieldSet &Fields) {  in addModeledFields()
62 StorageLocation &DataflowAnalysisContext::createStorageLocation(QualType Type) {  in createStorageLocation()
91 RecordStorageLocation &DataflowAnalysisContext::createRecordStorageLocation(  in createRecordStorageLocation()
104 DataflowAnalysisContext::getStableStorageLocation(const ValueDecl &D) {  in getStableStorageLocation()
113 DataflowAnalysisContext::getStableStorageLocation(const Expr &E) {  in getStableStorageLocation()
124 DataflowAnalysisContext::getOrCreateNullPointerValue(QualType PointeeType) {  in getOrCreateNullPointerValue()
135 void DataflowAnalysisContext::addInvariant(const Formula &Constraint) {  in addInvariant()
142 void DataflowAnalysisContext::addFlowConditionConstraint(  in addFlowConditionConstraint()
151 Atom DataflowAnalysisContext::forkFlowCondition(Atom Token) {  in forkFlowCondition()
159 DataflowAnalysisContext::joinFlowConditions(Atom FirstToken,  in joinFlowConditions()
170 Solver::Result DataflowAnalysisContext::querySolver(  in querySolver()
175 bool DataflowAnalysisContext::flowConditionImplies(Atom Token,  in flowConditionImplies()
192 bool DataflowAnalysisContext::flowConditionAllows(Atom Token,  in flowConditionAllows()
204 bool DataflowAnalysisContext::equivalentFormulas(const Formula &Val1,  in equivalentFormulas()
211 void DataflowAnalysisContext::addTransitiveFlowConditionConstraints(  in addTransitiveFlowConditionConstraints()
253 void DataflowAnalysisContext::dumpFlowCondition(Atom Token,  in dumpFlowCondition()
292 DataflowAnalysisContext::getControlFlowContext(const FunctionDecl *F) {  in getControlFlowContext()
340 DataflowAnalysisContext::DataflowAnalysisContext(std::unique_ptr<Solver> S,  in DataflowAnalysisContext()  function in clang::dataflow::DataflowAnalysisContext
358 DataflowAnalysisContext::~DataflowAnalysisContext() = default;