{
size_t len;
char num[PHP_JSON_DOUBLE_MAX_LENGTH];
- php_gcvt(d, EG(precision), '.', 'e', &num[0]);
+ php_gcvt(d, (int)EG(precision), '.', 'e', &num[0]);
len = strlen(num);
if (options & PHP_JSON_PRESERVE_ZERO_FRACTION && strchr(num, '.') == NULL && len < PHP_JSON_DOUBLE_MAX_LENGTH - 2) {
num[len++] = '.';
void php_json_parser_object_update(php_json_parser *parser, zval *object, zval *zkey, zval *zvalue)
{
char *key = Z_STRVAL_P(zkey);
- int key_len = Z_STRLEN_P(zkey);
+ size_t key_len = Z_STRLEN_P(zkey);
if (parser->scanner.options & PHP_JSON_OBJECT_AS_ARRAY) {
add_assoc_zval_ex(object, key, key_len, zvalue);
void php_json_parser_object_update(php_json_parser *parser, zval *object, zval *zkey, zval *zvalue)
{
char *key = Z_STRVAL_P(zkey);
- int key_len = Z_STRLEN_P(zkey);
+ size_t key_len = Z_STRLEN_P(zkey);
if (parser->scanner.options & PHP_JSON_OBJECT_AS_ARRAY) {
add_assoc_zval_ex(object, key, key_len, zvalue);