280 extern int bcmp(const void *s1 __sized_by(n), const void *s2 __sized_by(n), size_t n) __stateful_pu…
286 	const void *const       s2 __xnu_pass_struct_size __sized_by(n),  in bcmp()
289 __xnu_struct_size_precondition(s2, n, "read overflow (second argument)")  in bcmp()
297 	__xnu_struct_size_check(s2, n, read);  in bcmp()
299 	return __builtin_bcmp(s1, s2, n);  in bcmp()
301 	return __xnu_bcmp(s1, s2, n);  in bcmp()
306 extern int memcmp(const void *s1 __sized_by(n), const void *s2 __sized_by(n), size_t n) __stateful_…
312 	const void *const       s2 __xnu_pass_struct_size __sized_by(n),  in memcmp()
315 __xnu_struct_size_precondition(s2, n, "read overflow (second argument)")  in memcmp()
323 	__xnu_struct_size_check(s2, n, read);  in memcmp()
325 	return __builtin_memcmp(s1, s2, n);  in memcmp()
327 	return __xnu_memcmp(s1, s2, n);  in memcmp()
537 extern int strcmp(const char *__null_terminated s1, const char *__null_terminated s2) __stateful_pu…
544 	const char *const __null_terminated s2)  in strcmp()  argument
546 	return __builtin_strcmp(s1, s2);  in strcmp()
553 extern int strncmp(const char *__unsafe_indexable s1, const char *__unsafe_indexable s2, size_t n) …
561 	const char *const __unsafe_indexable s2, size_t n)  in strncmp()  argument
563 	return __builtin_strncmp(s1, s2, n);  in strncmp()
573 extern int strlcmp(const char *__counted_by(n)s1, const char *s2, size_t n) __stateful_pure;
580 	const char *const s2, size_t s1len)  in strlcmp()  argument
585 		const char *__null_terminated s2,  in strlcmp()
589 	return __xnu_strlcmp(s1, s2, s1len);  in strlcmp()
598 … char *__counted_by(s1len)s1, size_t s1len, const char *__counted_by(s2len)s2, size_t s2len) __sta…
604 	const char *const __counted_by(s2len) s2 __xnu_pass_member_size, size_t s2len)  in strbufcmp()
606 __xnu_member_size_precondition(s2, s2len, "read overflow")  in strbufcmp()
611 		const char *__counted_by(s2len) s2,  in strbufcmp()
615 	__xnu_member_size_check(s2, s2len, read);  in strbufcmp()
616 	return __xnu_strbufcmp(s1, s1len, s2, s2len);  in strbufcmp()
628 extern int strprefix(const char *__null_terminated s1, const char *__null_terminated s2) __stateful…
631 extern int strcasecmp(const char *__null_terminated s1, const char *__null_terminated s2) __statefu…
638 	const char *const __null_terminated s2)  in strcasecmp()  argument
640 	return __builtin_strcasecmp(s1, s2);  in strcasecmp()
646 extern int strncasecmp(const char *__unsafe_indexable s1, const char *__unsafe_indexable s2, size_t…
654 	const char *const __unsafe_indexable s2, size_t n)  in strncasecmp()  argument
656 	return __builtin_strncasecmp(s1, s2, n);  in strncasecmp()
666 extern int strlcasecmp(const char *__counted_by(n)s1, const char *s2, size_t n) __stateful_pure;
672 	const char *__null_terminated const s2, size_t s1len)  in strlcasecmp()  argument
677 		const char *__null_terminated s2,  in strlcasecmp()
681 	return __xnu_strlcasecmp(s1, s2, s1len);  in strlcasecmp()
689 … char *__counted_by(s1len)s1, size_t s1len, const char *__counted_by(s2len)s2, size_t s2len) __sta…
695 	const char *const __counted_by(s2len) s2 __xnu_pass_member_size, size_t s2len)  in strbufcasecmp()
697 __xnu_member_size_precondition(s2, s2len, "read overflow")  in strbufcasecmp()
702 		const char *__counted_by(s2len) s2,  in strbufcasecmp()
706 	__xnu_member_size_check(s2, s2len, read);  in strbufcasecmp()
707 	return __xnu_strbufcasecmp(s1, s1len, s2, s2len);  in strbufcasecmp()