Searched refs:addTransitiveFlowConditionConstraints (Results 1 – 2 of 2) sorted by relevance
186 addTransitiveFlowConditionConstraints(Token, Constraints, VisitedTokens); in flowConditionImplies()195 addTransitiveFlowConditionConstraints(Token, Constraints, VisitedTokens); in flowConditionIsTautology()206 void DataflowAnalysisContext::addTransitiveFlowConditionConstraints( in addTransitiveFlowConditionConstraints() function in clang::dataflow::DataflowAnalysisContext225 addTransitiveFlowConditionConstraints(*DepToken, Constraints, in addTransitiveFlowConditionConstraints()330 addTransitiveFlowConditionConstraints(Token, Constraints, VisitedTokens); in dumpFlowCondition()
273 void addTransitiveFlowConditionConstraints(