Searched refs:DataflowAnalysisContext (Results 1 – 12 of 12) sorted by relevance
28 DataflowAnalysisContext::getStableStorageLocation(QualType Type) { in getStableStorageLocation()43 DataflowAnalysisContext::getStableStorageLocation(const VarDecl &D) { in getStableStorageLocation()52 DataflowAnalysisContext::getStableStorageLocation(const Expr &E) { in getStableStorageLocation()126 BoolValue &DataflowAnalysisContext::getOrCreateIff(BoolValue &LHS, in getOrCreateIff()139 AtomicBoolValue &DataflowAnalysisContext::makeFlowConditionToken() { in makeFlowConditionToken()143 void DataflowAnalysisContext::addFlowConditionConstraint( in addFlowConditionConstraint()152 DataflowAnalysisContext::forkFlowCondition(AtomicBoolValue &Token) { in forkFlowCondition()199 bool DataflowAnalysisContext::equivalentBoolValues(BoolValue &Val1, in equivalentBoolValues()206 void DataflowAnalysisContext::addTransitiveFlowConditionConstraints( in addTransitiveFlowConditionConstraints()231 BoolValue &DataflowAnalysisContext::substituteBoolValue( in substituteBoolValue()[all …]
3 DataflowAnalysisContext.cpp
153 Environment::Environment(DataflowAnalysisContext &DACtx) in Environment()169 Environment::Environment(DataflowAnalysisContext &DACtx, in Environment()
113 explicit Environment(DataflowAnalysisContext &DACtx);129 Environment(DataflowAnalysisContext &DACtx, const DeclContext &DeclCtx);364 DataflowAnalysisContext *DACtx;
54 class DataflowAnalysisContext {61 DataflowAnalysisContext(std::unique_ptr<Solver> S) in DataflowAnalysisContext() function
10 "DataflowAnalysisContext.cpp",
27 DataflowAnalysisContext Context;
111 DataflowAnalysisContext DACtx(std::make_unique<WatchedLiteralsSolver>());
25 DataflowAnalysisContext Context;
73 DataflowAnalysisContext DACtx(std::make_unique<WatchedLiteralsSolver>()); in runAnalysis()
51 dataflow::DataflowAnalysisContext AnalysisContext( in analyzeFunction()
128 clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h312 clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp