Searched refs:addTransitiveFlowConditionConstraints (Results 1 – 2 of 2) sorted by relevance
188 addTransitiveFlowConditionConstraints(Token, Constraints); in flowConditionImplies()200 addTransitiveFlowConditionConstraints(Token, Constraints); in flowConditionAllows()211 void DataflowAnalysisContext::addTransitiveFlowConditionConstraints( in addTransitiveFlowConditionConstraints() function in clang::dataflow::DataflowAnalysisContext257 addTransitiveFlowConditionConstraints(Token, Constraints); in dumpFlowCondition()
233 addTransitiveFlowConditionConstraints(Atom Token,