Lines Matching refs:ValueConstraint
103 class ValueConstraint;
110 using ValueConstraintPtr = std::shared_ptr<ValueConstraint>;
116 class ValueConstraint { class in __anon09a2c6cc0111::StdLibraryFunctionsChecker
118 ValueConstraint(ArgNo ArgN) : ArgN(ArgN) {} in ValueConstraint() function in __anon09a2c6cc0111::StdLibraryFunctionsChecker::ValueConstraint
119 virtual ~ValueConstraint() {} in ~ValueConstraint()
173 class RangeConstraint : public ValueConstraint {
188 : ValueConstraint(ArgN), Kind(Kind), Ranges(Ranges) {} in RangeConstraint()
238 class ComparisonConstraint : public ValueConstraint {
246 : ValueConstraint(ArgN), Opcode(Opcode), OtherArgN(OtherArgN) {} in ComparisonConstraint()
254 class NotNullConstraint : public ValueConstraint {
255 using ValueConstraint::ValueConstraint;
301 class BufferSizeConstraint : public ValueConstraint {
316 : ValueConstraint(Buffer), ConcreteSize(BufMinSize) {} in BufferSizeConstraint()
318 : ValueConstraint(Buffer), SizeArgN(BufSize) {} in BufferSizeConstraint()
320 : ValueConstraint(Buffer), SizeArgN(BufSize), in BufferSizeConstraint()
729 const ValueConstraint *VC, const Summary &Summary, in reportBug()