Searched refs:ConstraintAssignor (Results 1 – 1 of 1) sorted by relevance
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 1482 class ConstraintAssignor : public ConstraintAssignorBase<ConstraintAssignor> { class
1491 ConstraintAssignor Assignor{State, Builder, F}; in assign()
1500 ConstraintAssignor(ProgramStateRef State, SValBuilder &Builder, in ConstraintAssignor() function in __anon55d9ca500411::ConstraintAssignor
1503 using Base = ConstraintAssignorBase<ConstraintAssignor>;
1693 bool ConstraintAssignor::assignSymExprToConst(const SymExpr *Sym, in assignSymExprToConst()
1722 bool ConstraintAssignor::assignSymSymExprToRangeSet(const SymSymExpr *Sym, in assignSymSymExprToRangeSet()
2399 return ConstraintAssignor::assign(State, getSValBuilder(), F, Sym, Range); in setRange()
|