Searched refs:addTransitiveFlowConditionConstraints (Results 1 – 2 of 2) sorted by relevance
189 addTransitiveFlowConditionConstraints(Token, Constraints); in flowConditionImplies()201 addTransitiveFlowConditionConstraints(Token, Constraints); in flowConditionAllows()212 void DataflowAnalysisContext::addTransitiveFlowConditionConstraints( in addTransitiveFlowConditionConstraints() function in clang::dataflow::DataflowAnalysisContext258 addTransitiveFlowConditionConstraints(Token, Constraints); in dumpFlowCondition()
237 addTransitiveFlowConditionConstraints(Atom Token,