Lines Matching defs:ValueConstraint

126   class ValueConstraint;
128   /// Pointer to the ValueConstraint. We need a copyable, polymorphic and
135   using ValueConstraintPtr = std::shared_ptr<ValueConstraint>;
147   class ValueConstraint {
149     ValueConstraint(ArgNo ArgN) : ArgN(ArgN) {}
150     virtual ~ValueConstraint() {}
187     /// current ValueConstraint applies to) to the user. This function should be
265   class RangeConstraint : public ValueConstraint {
282         : ValueConstraint(ArgN), Kind(Kind), Ranges(Ranges), Description(Desc) {
354   class ComparisonConstraint : public ValueConstraint {
361         : ValueConstraint(ArgN), Opcode(Opcode), OtherArgN(OtherArgN) {}
370   class NotNullConstraint : public ValueConstraint {
371     using ValueConstraint::ValueConstraint;
377         : ValueConstraint(ArgN), CannotBeNull(CannotBeNull) {}
412   class NotNullBufferConstraint : public ValueConstraint {
413     using ValueConstraint::ValueConstraint;
423         : ValueConstraint(ArgN), SizeArg1N(SizeArg1N), SizeArg2N(SizeArg2N),
463   class BufferSizeConstraint : public ValueConstraint {
477         : ValueConstraint(Buffer), ConcreteSize(BufMinSize) {}
479         : ValueConstraint(Buffer), SizeArgN(BufSize) {}
481         : ValueConstraint(Buffer), SizeArgN(BufSize),
859                  const ValueConstraint *VC, const ValueConstraint *NegatedVC,
875     VC->describe(ValueConstraint::Violation, Call, C.getState(), Summary,
1347       Constraint->describe(ValueConstraint::Assumption, Call, NewState, Summary,