sdk/lib/string/strchr.c

#include <string.h>

char *__cheri_libcall strchr(const char *s, int intChar)
{
	char c = (char)intChar;
	while (*s != c)
	{
		if (!*s++)
		{
			return NULL;
		}
	}
	return (char *)s;
}