Searched refs:BufferNullnessConstraint (Results 1 – 1 of 1) sorted by relevance
412 class BufferNullnessConstraint : public ValueConstraint { class in __anon4d759d9c0111::StdLibraryFunctionsChecker420 BufferNullnessConstraint(ArgNo ArgN, ArgNo SizeArg1N, in BufferNullnessConstraint() function in __anon4d759d9c0111::StdLibraryFunctionsChecker::BufferNullnessConstraint439 BufferNullnessConstraint Tmp(*this); in negate()441 return std::make_shared<BufferNullnessConstraint>(Tmp); in negate()1186 ProgramStateRef StdLibraryFunctionsChecker::BufferNullnessConstraint::apply( in apply()1215 void StdLibraryFunctionsChecker::BufferNullnessConstraint::describe( in describe()1226 bool StdLibraryFunctionsChecker::BufferNullnessConstraint::1802 return std::make_shared<BufferNullnessConstraint>(ArgN, SizeArg1N, in initFunctionSummaries()