Home
last modified time | relevance | path

Searched refs:FlowConditionConstraints (Results 1 – 2 of 2) sorted by relevance

/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp145 auto Res = FlowConditionConstraints.try_emplace(&Token, &Constraint); in addFlowConditionConstraint()
213 auto ConstraintsIt = FlowConditionConstraints.find(&Token); in addTransitiveFlowConditionConstraints()
214 if (ConstraintsIt == FlowConditionConstraints.end()) { in addTransitiveFlowConditionConstraints()
312 auto ConstraintsIt = FlowConditionConstraints.find(&Token); in buildAndSubstituteFlowConditionWithCache()
313 if (ConstraintsIt == FlowConditionConstraints.end()) { in buildAndSubstituteFlowConditionWithCache()
/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.h362 llvm::DenseMap<AtomicBoolValue *, BoolValue *> FlowConditionConstraints; variable