Searched refs:ConstraintAssignor (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 2078 class ConstraintAssignor : public ConstraintAssignorBase<ConstraintAssignor> { class
2087 ConstraintAssignor Assignor{State, Builder, F}; in assign()
2117 ConstraintAssignor(ProgramStateRef State, SValBuilder &Builder, in ConstraintAssignor() function in __anonaacf511c0511::ConstraintAssignor
2120 using Base = ConstraintAssignorBase<ConstraintAssignor>;
2201 bool ConstraintAssignor::assignSymExprToConst(const SymExpr *Sym, in assignSymExprToConst()
2242 bool ConstraintAssignor::assignSymSymExprToRangeSet(const SymSymExpr *Sym, in assignSymSymExprToRangeSet()
3047 return ConstraintAssignor::assign(State, getSValBuilder(), F, Sym, Range); in setRange()
|