Searched refs:DataflowAnalysisContext (Results 1 – 5 of 5) sorted by relevance
44 FieldSet DataflowAnalysisContext::getModeledFields(QualType Type) { in getModeledFields()113 DataflowAnalysisContext::getStableStorageLocation(const Expr &E) { in getStableStorageLocation()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()253 void DataflowAnalysisContext::dumpFlowCondition(Atom Token, in dumpFlowCondition()340 DataflowAnalysisContext::DataflowAnalysisContext(std::unique_ptr<Solver> S, in DataflowAnalysisContext() function in clang::dataflow::DataflowAnalysisContext[all …]
373 Environment::Environment(DataflowAnalysisContext &DACtx) in Environment()377 Environment::Environment(DataflowAnalysisContext &DACtx, in Environment()
39 std::optional<DataflowAnalysisContext::Options> BuiltinOpts =40 DataflowAnalysisContext::Options{};113 const std::optional<DataflowAnalysisContext::Options> &
73 class DataflowAnalysisContext {93 DataflowAnalysisContext(std::unique_ptr<Solver> S,97 ~DataflowAnalysisContext();
151 explicit Environment(DataflowAnalysisContext &DACtx);167 Environment(DataflowAnalysisContext &DACtx, const DeclContext &DeclCtx);628 DataflowAnalysisContext &getDataflowAnalysisContext() const { return *DACtx; } in getDataflowAnalysisContext()678 DataflowAnalysisContext *DACtx;