Home
last modified time | relevance | path

Searched refs:flowConditionAllows (Results 1 – 3 of 3) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.h162 bool flowConditionAllows(Atom Token, const Formula &F);
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp193 bool DataflowAnalysisContext::flowConditionAllows(Atom Token, in flowConditionAllows() function in clang::dataflow::DataflowAnalysisContext
H A DDataflowEnvironment.cpp1145 return DACtx->flowConditionAllows(FlowConditionToken, F); in allows()