45 FieldSet DataflowAnalysisContext::getModeledFields(QualType Type) {  in getModeledFields()
59 void DataflowAnalysisContext::addModeledFields(const FieldSet &Fields) {  in addModeledFields()
63 StorageLocation &DataflowAnalysisContext::createStorageLocation(QualType Type) {  in createStorageLocation()
92 RecordStorageLocation &DataflowAnalysisContext::createRecordStorageLocation(  in createRecordStorageLocation()
105 DataflowAnalysisContext::getStableStorageLocation(const ValueDecl &D) {  in getStableStorageLocation()
114 DataflowAnalysisContext::getStableStorageLocation(const Expr &E) {  in getStableStorageLocation()
125 DataflowAnalysisContext::getOrCreateNullPointerValue(QualType PointeeType) {  in getOrCreateNullPointerValue()
136 void DataflowAnalysisContext::addInvariant(const Formula &Constraint) {  in addInvariant()
143 void DataflowAnalysisContext::addFlowConditionConstraint(  in addFlowConditionConstraint()
152 Atom DataflowAnalysisContext::forkFlowCondition(Atom Token) {  in forkFlowCondition()
160 DataflowAnalysisContext::joinFlowConditions(Atom FirstToken,  in joinFlowConditions()
171 Solver::Result DataflowAnalysisContext::querySolver(  in querySolver()
176 bool DataflowAnalysisContext::flowConditionImplies(Atom Token,  in flowConditionImplies()
193 bool DataflowAnalysisContext::flowConditionAllows(Atom Token,  in flowConditionAllows()
205 bool DataflowAnalysisContext::equivalentFormulas(const Formula &Val1,  in equivalentFormulas()
212 void DataflowAnalysisContext::addTransitiveFlowConditionConstraints(  in addTransitiveFlowConditionConstraints()
254 void DataflowAnalysisContext::dumpFlowCondition(Atom Token,  in dumpFlowCondition()
293 DataflowAnalysisContext::getAdornedCFG(const FunctionDecl *F) {  in getAdornedCFG()
341 DataflowAnalysisContext::DataflowAnalysisContext(  in DataflowAnalysisContext()  function in clang::dataflow::DataflowAnalysisContext
359 DataflowAnalysisContext::~DataflowAnalysisContext() = default;