Lines Matching refs:ValueConstraint
126 class ValueConstraint;
135 using ValueConstraintPtr = std::shared_ptr<ValueConstraint>;
147 class ValueConstraint { class in __anon4d759d9c0111::StdLibraryFunctionsChecker
149 ValueConstraint(ArgNo ArgN) : ArgN(ArgN) {} in ValueConstraint() function in __anon4d759d9c0111::StdLibraryFunctionsChecker::ValueConstraint
150 virtual ~ValueConstraint() {} in ~ValueConstraint()
265 class RangeConstraint : public ValueConstraint {
282 : ValueConstraint(ArgN), Kind(Kind), Ranges(Ranges), Description(Desc) { in RangeConstraint()
354 class ComparisonConstraint : public ValueConstraint {
361 : ValueConstraint(ArgN), Opcode(Opcode), OtherArgN(OtherArgN) {} in ComparisonConstraint()
370 class NotNullConstraint : public ValueConstraint {
371 using ValueConstraint::ValueConstraint;
377 : ValueConstraint(ArgN), CannotBeNull(CannotBeNull) {} in NotNullConstraint()
412 class NotNullBufferConstraint : public ValueConstraint {
413 using ValueConstraint::ValueConstraint;
423 : ValueConstraint(ArgN), SizeArg1N(SizeArg1N), SizeArg2N(SizeArg2N), in NotNullBufferConstraint()
463 class BufferSizeConstraint : public ValueConstraint {
477 : ValueConstraint(Buffer), ConcreteSize(BufMinSize) {} in BufferSizeConstraint()
479 : ValueConstraint(Buffer), SizeArgN(BufSize) {} in BufferSizeConstraint()
481 : ValueConstraint(Buffer), SizeArgN(BufSize), in BufferSizeConstraint()
859 const ValueConstraint *VC, const ValueConstraint *NegatedVC, in reportBug()
875 VC->describe(ValueConstraint::Violation, Call, C.getState(), Summary, in reportBug()
1347 Constraint->describe(ValueConstraint::Assumption, Call, NewState, Summary, in checkPreCall()