28 DataflowAnalysisContext::getStableStorageLocation(QualType Type) {  in getStableStorageLocation()
43 DataflowAnalysisContext::getStableStorageLocation(const VarDecl &D) {  in getStableStorageLocation()
52 DataflowAnalysisContext::getStableStorageLocation(const Expr &E) {  in getStableStorageLocation()
61 DataflowAnalysisContext::getOrCreateNullPointerValue(QualType PointeeType) {  in getOrCreateNullPointerValue()
81 BoolValue &DataflowAnalysisContext::getOrCreateConjunction(BoolValue &LHS,  in getOrCreateConjunction()
94 BoolValue &DataflowAnalysisContext::getOrCreateDisjunction(BoolValue &LHS,  in getOrCreateDisjunction()
107 BoolValue &DataflowAnalysisContext::getOrCreateNegation(BoolValue &Val) {  in getOrCreateNegation()
114 BoolValue &DataflowAnalysisContext::getOrCreateImplication(BoolValue &LHS,  in getOrCreateImplication()
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()
160 DataflowAnalysisContext::joinFlowConditions(AtomicBoolValue &FirstToken,  in joinFlowConditions()
171 DataflowAnalysisContext::querySolver(llvm::DenseSet<BoolValue *> Constraints) {  in querySolver()
177 bool DataflowAnalysisContext::flowConditionImplies(AtomicBoolValue &Token,  in flowConditionImplies()
190 bool DataflowAnalysisContext::flowConditionIsTautology(AtomicBoolValue &Token) {  in flowConditionIsTautology()
199 bool DataflowAnalysisContext::equivalentBoolValues(BoolValue &Val1,  in equivalentBoolValues()
206 void DataflowAnalysisContext::addTransitiveFlowConditionConstraints(  in addTransitiveFlowConditionConstraints()
231 BoolValue &DataflowAnalysisContext::substituteBoolValue(  in substituteBoolValue()
297 BoolValue &DataflowAnalysisContext::buildAndSubstituteFlowCondition(  in buildAndSubstituteFlowCondition()
309 BoolValue &DataflowAnalysisContext::buildAndSubstituteFlowConditionWithCache(  in buildAndSubstituteFlowConditionWithCache()
327 void DataflowAnalysisContext::dumpFlowCondition(AtomicBoolValue &Token) {  in dumpFlowCondition()