Lines Matching defs:Constraint

1041 //                             Constraint functions
1065                                             RangeSet Constraint) {
1066   return State->set<ConstraintRange>(Class, Constraint);
1869 //                  Constraint manager implementation details
1981 //                         Constraint assignment logic
1992 ///                                       CONSTRAINT Constraint);
2002 #define DISPATCH(CLASS) return assign##CLASS##Impl(cast<CLASS>(Sym), Constraint)
2008   void assign(SymbolRef Sym, RangeSet Constraint) {
2009     assignImpl(Sym, Constraint);
2012   bool assignImpl(SymbolRef Sym, RangeSet Constraint) {
2023   bool assign##Id##To##RangeSet(const Id *Sym, RangeSet Constraint) {          \
2026   bool assign##Id##To##Range(const Id *Sym, Range Constraint) { return true; } \
2027   bool assign##Id##To##Const(const Id *Sym, Const Constraint) { return true; }
2034   if (const llvm::APSInt *Const = Constraint.getConcreteValue()) {             \
2037   if (Constraint.size() == 1) {                                                \
2038     ASSIGN(Id, Range, Sym, *Constraint.begin());                               \
2040   ASSIGN(Id, RangeSet, Sym, Constraint)
2046   bool assign##Id##Impl(const Id *Sym, RangeSet Constraint) {                  \
2055   bool assignSymExprImpl(const SymExpr *Sym, RangeSet Constraint) {
2093   bool handleRemainderOp(const SymT *Sym, RangeSet Constraint) {
2097     if (!Constraint.containsZero()) {
2108   inline bool assignSymExprToConst(const SymExpr *Sym, Const Constraint);
2110                                          RangeSet Constraint) {
2111     return handleRemainderOp(Sym, Constraint);
2114                                          RangeSet Constraint);
2165       assert(areFeasible(Constraints) && "Constraint manager shouldn't produce "
2184   [[nodiscard]] std::optional<bool> interpreteAsBool(RangeSet Constraint) {
2185     assert(!Constraint.isEmpty() && "Empty ranges shouldn't get here");
2187     if (Constraint.getConcreteValue())
2188       return !Constraint.getConcreteValue()->isZero();
2190     if (!Constraint.containsZero())
2202                                               const llvm::APSInt &Constraint) {
2243                                                     RangeSet Constraint) {
2244   if (!handleRemainderOp(Sym, Constraint))
2247   std::optional<bool> ConstraintAsBool = interpreteAsBool(Constraint);
2408     assert(areFeasible(Constraints) && "Constraint manager shouldn't produce "
2539   assert(areFeasible(Constraints) && "Constraint manager shouldn't produce "
2643 reAssume(ProgramStateRef State, const RangeSet *Constraint, SVal TheValue) {
2644   if (!Constraint)
2650   if (Constraint->encodesFalseRange())
2655   if (Constraint->encodesTrueRange()) {
2663   return State->assumeInclusiveRange(DefinedVal, Constraint->getMinValue(),
2664                                      Constraint->getMaxValue(), true);