Searched refs:NotNullBufferConstraint (Results 1 – 1 of 1) sorted by relevance
412 class NotNullBufferConstraint : public ValueConstraint { class in __anon4d759d9c0111::StdLibraryFunctionsChecker420 NotNullBufferConstraint(ArgNo ArgN, ArgNo SizeArg1N, in NotNullBufferConstraint() function in __anon4d759d9c0111::StdLibraryFunctionsChecker::NotNullBufferConstraint439 NotNullBufferConstraint Tmp(*this); in negate()441 return std::make_shared<NotNullBufferConstraint>(Tmp); in negate()1187 ProgramStateRef StdLibraryFunctionsChecker::NotNullBufferConstraint::apply( in apply()1216 void StdLibraryFunctionsChecker::NotNullBufferConstraint::describe( in describe()1227 bool StdLibraryFunctionsChecker::NotNullBufferConstraint::describeArgumentValue( in describeArgumentValue()1798 return std::make_shared<NotNullBufferConstraint>(ArgN, SizeArg1N, in initFunctionSummaries()