Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DSimplifyConstraints.cpp130 llvm::SetVector<const Formula *> NewConstraints; in simplifyConstraints() local
141 NewConstraints.insert(NewConstraint.operands()[0]); in simplifyConstraints()
142 NewConstraints.insert(NewConstraint.operands()[1]); in simplifyConstraints()
145 NewConstraints.insert(&NewConstraint); in simplifyConstraints()
148 if (NewConstraints == Constraints) in simplifyConstraints()
150 Constraints = std::move(NewConstraints); in simplifyConstraints()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp2914 ConstraintRangeTy NewConstraints = Constraints; in removeDeadBindings() local