Description:
------------
php_sprintf.c::php_sprintf() has
  char *ret;
  // [...]
  ret = vsprintf (s, format, args);

yet vsprintf() returns `int' not `char *'.

The fix is trivial; replace
  char *ret;
with
  int ret;
on line 29 of main/php_sprintf.c