Lines Matching refs:ValueConstraint
98 class ValueConstraint;
105 using ValueConstraintPtr = std::shared_ptr<ValueConstraint>;
111 class ValueConstraint { class in __anon6255e2070111::StdLibraryFunctionsChecker
113 ValueConstraint(ArgNo ArgN) : ArgN(ArgN) {} in ValueConstraint() function in __anon6255e2070111::StdLibraryFunctionsChecker::ValueConstraint
114 virtual ~ValueConstraint() {} in ~ValueConstraint()
168 class RangeConstraint : public ValueConstraint {
183 : ValueConstraint(ArgN), Kind(Kind), Ranges(Ranges) {} in RangeConstraint()
233 class ComparisonConstraint : public ValueConstraint {
241 : ValueConstraint(ArgN), Opcode(Opcode), OtherArgN(OtherArgN) {} in ComparisonConstraint()
249 class NotNullConstraint : public ValueConstraint {
250 using ValueConstraint::ValueConstraint;
296 class BufferSizeConstraint : public ValueConstraint {
311 : ValueConstraint(Buffer), ConcreteSize(BufMinSize) {} in BufferSizeConstraint()
313 : ValueConstraint(Buffer), SizeArgN(BufSize) {} in BufferSizeConstraint()
315 : ValueConstraint(Buffer), SizeArgN(BufSize), in BufferSizeConstraint()
581 const ValueConstraint *VC, const Summary &Summary, in reportBug()