// Copyright SCI Semiconductor and CHERIoT Contributors.
// SPDX-License-Identifier: MIT

#include <string.h>

void *__cheri_libcall memchr(const void *voidString,
                             int         intChar,
                             size_t      n)
{
	const unsigned char  c = (unsigned char)intChar;
	const unsigned char *s = (const unsigned char *)voidString;

	for (size_t i = 0; i != n; i++)
	{
		if (*s == c)
		{
			return (void *)s;
		}
		s++;
	}

	return NULL;
}