Searched refs:flowConditionAllows (Results 1 – 3 of 3) sorted by relevance
162 bool flowConditionAllows(Atom Token, const Formula &F);
193 bool DataflowAnalysisContext::flowConditionAllows(Atom Token, in flowConditionAllows() function in clang::dataflow::DataflowAnalysisContext
1145 return DACtx->flowConditionAllows(FlowConditionToken, F); in allows()