Searched refs:ConstraintAssignor (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 1995 class ConstraintAssignor : public ConstraintAssignorBase<ConstraintAssignor> { class
2004 ConstraintAssignor Assignor{State, Builder, F}; in assign()
2034 ConstraintAssignor(ProgramStateRef State, SValBuilder &Builder, in ConstraintAssignor() function in __anon77be4a4c0511::ConstraintAssignor
2037 using Base = ConstraintAssignorBase<ConstraintAssignor>;
2119 bool ConstraintAssignor::assignSymExprToConst(const SymExpr *Sym, in assignSymExprToConst()
2160 bool ConstraintAssignor::assignSymSymExprToRangeSet(const SymSymExpr *Sym, in assignSymSymExprToRangeSet()
2943 return ConstraintAssignor::assign(State, getSValBuilder(), F, Sym, Range); in setRange()
|