`Segmentation fault` on test execution for test generated for function with `void *` parameter

[tyuldashev]

To Reproduce Run and execute tests for following code:

#include <stddef.h>

void *memset(void *s, int c, size_t count)
{
	char *xs = s;
	while (count--)
		*xs++ = c;
	return s;
}

Expected behavior Tests executed

Actual behavior Tests fail during execution. Logs contains following information:

Segmentation fault (core dumped)
/home/utbot/remote/SmokeTest/tests/makefiles/lib/../../../tests/makefiles/lib/__strs_shared.mk:50: recipe for target 'run' failed
make[1]: *** [run] Error 139
/home/utbot/remote/SmokeTest/tests/makefiles/lib/strs.mk:46: recipe for target 'run' failed
make: *** [run] Error 2