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