Home
last modified time | relevance | path

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

/openbsd/gnu/llvm/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp164 auto Res = FlowConditionConstraints.try_emplace(&Token, &Constraint); in addFlowConditionConstraint()
232 auto ConstraintsIt = FlowConditionConstraints.find(&Token); in addTransitiveFlowConditionConstraints()
233 if (ConstraintsIt == FlowConditionConstraints.end()) { in addTransitiveFlowConditionConstraints()
331 auto ConstraintsIt = FlowConditionConstraints.find(&Token); in buildAndSubstituteFlowConditionWithCache()
332 if (ConstraintsIt == FlowConditionConstraints.end()) { in buildAndSubstituteFlowConditionWithCache()
/openbsd/gnu/llvm/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.h389 llvm::DenseMap<AtomicBoolValue *, BoolValue *> FlowConditionConstraints; variable