/src/php-src/ext/json/json_scanner.c

Source
/* Generated by re2c 1.3 */
/*
  +----------------------------------------------------------------------+
  | Copyright © The PHP Group and Contributors.                          |
  +----------------------------------------------------------------------+
  | This source file is subject to the Modified BSD License that is      |
  | bundled with this package in the file LICENSE, and is available      |
  | through the World Wide Web at <https://www.php.net/license/>.        |
  |                                                                      |
  | SPDX-License-Identifier: BSD-3-Clause                                |
  +----------------------------------------------------------------------+
  | Author: Jakub Zelenka <bukka@php.net>                                |
  +----------------------------------------------------------------------+
*/

#include "php.h"
#include "php_json_scanner.h"
#include "php_json_scanner_defs.h"
#include "php_json_parser.h"
#include "json_parser.tab.h"

#define YYCTYPE     php_json_ctype
#define YYCURSOR    s->cursor
#define YYLIMIT     s->limit
#define YYMARKER    s->marker
#define YYCTXMARKER s->ctxmarker

#define YYGETCONDITION()        s->state
#define YYSETCONDITION(yystate) s->state = yystate

#define YYFILL(n)

#define PHP_JSON_CONDITION_SET(condition) YYSETCONDITION(yyc##condition)
#define PHP_JSON_CONDITION_GOTO(condition) goto yyc_##condition
#define PHP_JSON_CONDITION_SET_AND_GOTO(condition) \
  PHP_JSON_CONDITION_SET(condition); \
  PHP_JSON_CONDITION_GOTO(condition)
#define PHP_JSON_CONDITION_GOTO_STR_P2() \
  do { \
    if (s->utf8_invalid) { \
      PHP_JSON_CONDITION_GOTO(STR_P2_BIN); \
    } else { \
      PHP_JSON_CONDITION_GOTO(STR_P2_UTF); \
    } \
  } while(0)


#define PHP_JSON_SCANNER_COPY_ESC() php_json_scanner_copy_string(s, 0)
#define PHP_JSON_SCANNER_COPY_UTF() php_json_scanner_copy_string(s, 5)
#define PHP_JSON_SCANNER_COPY_UTF_SP() php_json_scanner_copy_string(s, 11)

#define PHP_JSON_INT_MAX_LENGTH (MAX_LENGTH_OF_LONG - 1)

#define PHP_JSON_TOKEN_LENGTH() ((size_t) (s->cursor - s->token))
#define PHP_JSON_TOKEN_LOCATION(location) (s)->errloc.location

static void php_json_scanner_copy_string(php_json_scanner *s, size_t esc_size)
{
  size_t len = (size_t)(s->cursor - s->str_start - esc_size - 1);
  if (len) {
    memcpy(s->pstr, s->str_start, len);
    s->pstr += len;
  }
}

static int php_json_hex_to_int(unsigned char code)
{
  if (code >= '0' && code <= '9') {
    return code - '0';
  } else if (code >= 'A' && code <= 'F') {
    return code - ('A' - 10);
  } else if (code >= 'a' && code <= 'f') {
    return code - ('a' - 10);
  } else {
    /* this should never happened (just to suppress compiler warning) */
    return -1;
  }
}

static int php_json_ucs2_to_int_ex(php_json_scanner *s, int size, int start)
{
  int i, code = 0;
  php_json_ctype *pc = s->cursor - start;
  for (i = 0; i < size; i++) {
    code |= php_json_hex_to_int(*(pc--)) << (i * 4);
  }
  return code;
}

static int php_json_ucs2_to_int(php_json_scanner *s, int size)
{
  return php_json_ucs2_to_int_ex(s, size, 1);
}

void php_json_scanner_init(php_json_scanner *s, const char *str, size_t str_len, int options)
{
  s->cursor = (php_json_ctype *) str;
  s->limit = (php_json_ctype *) str + str_len;
  s->options = options;
  PHP_JSON_TOKEN_LOCATION(first_column) = 1;
  PHP_JSON_TOKEN_LOCATION(first_line) = 1;
  PHP_JSON_TOKEN_LOCATION(last_column) = 1;
  PHP_JSON_TOKEN_LOCATION(last_line) = 1;
  PHP_JSON_CONDITION_SET(JS);
}

int php_json_scan(php_json_scanner *s)
{
  ZVAL_NULL(&s->value);

std:
  PHP_JSON_TOKEN_LOCATION(first_column) = s->errloc.last_column;
  PHP_JSON_TOKEN_LOCATION(first_line) = s->errloc.last_line;
  s->token = s->cursor;


  {
    YYCTYPE yych;
    unsigned int yyaccept = 0;
    if (YYGETCONDITION() < 2) {
      if (YYGETCONDITION() < 1) {
        goto yyc_JS;
      } else {
        goto yyc_STR_P1;
      }
    } else {
      if (YYGETCONDITION() < 3) {
        goto yyc_STR_P2_BIN;
      } else {
        goto yyc_STR_P2_UTF;
      }
    }
/* *********************************** */
yyc_JS:
    {
      static const unsigned char yybm[] = {
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,  64,   0,   0,   0,  64,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
         64,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
        128, 128, 128, 128, 128, 128, 128, 128, 
        128, 128,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
          0,   0,   0,   0,   0,   0,   0,   0, 
      };
      yych = *YYCURSOR;
      if (yych <= ']') {
        if (yych <= '"') {
          if (yych <= '\f') {
            if (yych <= 0x08) {
              if (yych >= 0x01) goto yy5;
            } else {
              if (yych <= '\t') goto yy7;
              if (yych <= '\n') goto yy10;
              goto yy5;
            }
          } else {
            if (yych <= 0x1F) {
              if (yych <= '\r') goto yy12;
              goto yy5;
            } else {
              if (yych <= ' ') goto yy7;
              if (yych <= '!') goto yy13;
              goto yy15;
            }
          }
        } else {
          if (yych <= '0') {
            if (yych <= ',') {
              if (yych <= '+') goto yy13;
              goto yy17;
            } else {
              if (yych <= '-') goto yy19;
              if (yych <= '/') goto yy13;
              goto yy20;
            }
          } else {
            if (yych <= 'Z') {
              if (yych <= '9') goto yy22;
              if (yych <= ':') goto yy24;
              goto yy13;
            } else {
              if (yych <= '[') goto yy26;
              if (yych <= '\\') goto yy13;
              goto yy28;
            }
          }
        }
      } else {
        if (yych <= '}') {
          if (yych <= 's') {
            if (yych <= 'f') {
              if (yych <= 'e') goto yy13;
              goto yy30;
            } else {
              if (yych == 'n') goto yy31;
              goto yy13;
            }
          } else {
            if (yych <= 'z') {
              if (yych <= 't') goto yy32;
              goto yy13;
            } else {
              if (yych <= '{') goto yy33;
              if (yych <= '|') goto yy13;
              goto yy35;
            }
          }
        } else {
          if (yych <= 0xEC) {
            if (yych <= 0xC1) {
              if (yych <= 0x7F) goto yy13;
              goto yy37;
            } else {
              if (yych <= 0xDF) goto yy39;
              if (yych <= 0xE0) goto yy40;
              goto yy41;
            }
          } else {
            if (yych <= 0xF0) {
              if (yych <= 0xED) goto yy42;
              if (yych <= 0xEF) goto yy41;
              goto yy43;
            } else {
              if (yych <= 0xF3) goto yy44;
              if (yych <= 0xF4) goto yy45;
              goto yy37;
            }
          }
        }
      }
      ++YYCURSOR;
      {
    if (s->limit < s->cursor) {
      return PHP_JSON_T_EOI;
    } else {
      s->errcode = PHP_JSON_ERROR_CTRL_CHAR;
      return PHP_JSON_T_ERROR;
    }
  }
yy5:
      ++YYCURSOR;
      {
    s->errcode = PHP_JSON_ERROR_CTRL_CHAR;
    return PHP_JSON_T_ERROR;
  }
yy7:
      yych = *++YYCURSOR;
yy8:
      if (yybm[0+yych] & 64) {
        goto yy7;
      }
      {
    PHP_JSON_TOKEN_LOCATION(last_column) += PHP_JSON_TOKEN_LENGTH();
    goto std;
  }
yy10:
      ++YYCURSOR;
      {
    PHP_JSON_TOKEN_LOCATION(last_line)++;
    PHP_JSON_TOKEN_LOCATION(last_column) = 1;
    goto std;
  }
yy12:
      yych = *++YYCURSOR;
      if (yych == '\n') goto yy10;
      goto yy8;
yy13:
      ++YYCURSOR;
yy14:
      {
    s->errcode = PHP_JSON_ERROR_SYNTAX;
    return PHP_JSON_T_ERROR;
  }
yy15:
      ++YYCURSOR;
      {
    PHP_JSON_TOKEN_LOCATION(last_column)++;
    s->str_start = s->cursor;
    s->str_esc = 0;
    s->utf8_invalid = 0;
    s->utf8_invalid_count = 0;
    PHP_JSON_CONDITION_SET_AND_GOTO(STR_P1);
  }
yy17:
      ++YYCURSOR;
      { 
    PHP_JSON_TOKEN_LOCATION(last_column)++;
    return ','; 
  }
yy19:
      yych = *++YYCURSOR;
      if (yych <= '/') goto yy14;
      if (yych <= '0') goto yy20;
      if (yych <= '9') goto yy22;
      goto yy14;
yy20:
      yyaccept = 0;
      yych = *(YYMARKER = ++YYCURSOR);
      if (yych <= 'D') {
        if (yych == '.') goto yy46;
      } else {
        if (yych <= 'E') goto yy48;
        if (yych == 'e') goto yy48;
      }
yy21:
      {
    bool bigint = 0, negative = s->token[0] == '-';
    size_t digits = PHP_JSON_TOKEN_LENGTH();
    PHP_JSON_TOKEN_LOCATION(last_column) += digits;
    digits -= negative;
    if (digits >= PHP_JSON_INT_MAX_LENGTH) {
      if (digits == PHP_JSON_INT_MAX_LENGTH) {
        int cmp = strncmp((char *) (s->token + negative), LONG_MIN_DIGITS, PHP_JSON_INT_MAX_LENGTH);
        if (!(cmp < 0 || (cmp == 0 && negative))) {
          bigint = 1;
        }
      } else {
        bigint = 1;
      }
    }
    if (!bigint) {
      ZVAL_LONG(&s->value, ZEND_STRTOL((char *) s->token, NULL, 10));
      return PHP_JSON_T_INT;
    } else if (s->options & PHP_JSON_BIGINT_AS_STRING) {
      ZVAL_STRINGL(&s->value, (char *) s->token, (size_t)(s->cursor - s->token));
      return PHP_JSON_T_STRING;
    } else {
      ZVAL_DOUBLE(&s->value, zend_strtod((char *) s->token, NULL));
      return PHP_JSON_T_DOUBLE;
    }
  }
yy22:
      yyaccept = 0;
      yych = *(YYMARKER = ++YYCURSOR);
      if (yybm[0+yych] & 128) {
        goto yy22;
      }
      if (yych <= 'D') {
        if (yych == '.') goto yy46;
        goto yy21;
      } else {
        if (yych <= 'E') goto yy48;
        if (yych == 'e') goto yy48;
        goto yy21;
      }
yy24:
      ++YYCURSOR;
      { 
    PHP_JSON_TOKEN_LOCATION(last_column)++;
    return ':'; 
  }
yy26:
      ++YYCURSOR;
      { 
    PHP_JSON_TOKEN_LOCATION(last_column)++;
    return '['; 
  }
yy28:
      ++YYCURSOR;
      { 
    PHP_JSON_TOKEN_LOCATION(last_column)++;
    return ']'; 
  }
yy30:
      yyaccept = 1;
      yych = *(YYMARKER = ++YYCURSOR);
      if (yych == 'a') goto yy49;
      goto yy14;
yy31:
      yyaccept = 1;
      yych = *(YYMARKER = ++YYCURSOR);
      if (yych == 'u') goto yy50;
      goto yy14;
yy32:
      yyaccept = 1;
      yych = *(YYMARKER = ++YYCURSOR);
      if (yych == 'r') goto yy51;
      goto yy14;
yy33:
      ++YYCURSOR;
      { 
    PHP_JSON_TOKEN_LOCATION(last_column)++;
    return '{'; 
  }
yy35:
      ++YYCURSOR;
      { 
    PHP_JSON_TOKEN_LOCATION(last_column)++;
    return '}';
  }
yy37:
      ++YYCURSOR;
yy38:
      {
    s->errcode = PHP_JSON_ERROR_UTF8;
    return PHP_JSON_T_ERROR;
  }
yy39:
      yych = *++YYCURSOR;
      if (yych <= 0x7F) goto yy38;
      if (yych <= 0xBF) goto yy13;
      goto yy38;
yy40:
      yyaccept = 2;
      yych = *(YYMARKER = ++YYCURSOR);
      if (yych <= 0x9F) goto yy38;
      if (yych <= 0xBF) goto yy52;
      goto yy38;
yy41:
      yyaccept = 2;
      yych = *(YYMARKER = ++YYCURSOR);
      if (yych <= 0x7F) goto yy38;
      if (yych <= 0xBF) goto yy52;
      goto yy38;
yy42:
      yyaccept = 2;
      yych = *(YYMARKER = ++YYCURSOR);
      if (yych <= 0x7F) goto yy38;
      if (yych <= 0x9F) goto yy52;
      goto yy38;
yy43:
      yyaccept = 2;
      yych = *(YYMARKER = ++YYCURSOR);
      if (yych <= 0x8F) goto yy38;
      if (yych <= 0xBF) goto yy53;
      goto yy38;
yy44:
      yyaccept = 2;
      yych = *(YYMARKER = ++YYCURSOR);
      if (yych <= 0x7F) goto yy38;
      if (yych <= 0xBF) goto yy53;
      goto yy38;
yy45:
      yyaccept = 2;
      yych = *(YYMARKER = ++YYCURSOR);
      if (yych <= 0x7F) goto yy38;
      if (yych <= 0x8F) goto yy53;
      goto yy38;
yy46:
      yych = *++YYCURSOR;
      if (yych <= '/') goto yy47;
      if (yych <= '9') goto yy54;
yy47:
      YYCURSOR = YYMARKER;
      if (yyaccept <= 1) {
        if (yyaccept == 0) {
          goto yy21;
        } else {
          goto yy14;
        }
      } else {
        if (yyaccept == 2) {
          goto yy38;
        } else {
          goto yy56;
        }
      }
yy48:
      yych = *++YYCURSOR;
      if (yych <= ',') {
        if (yych == '+') goto yy57;
        goto yy47;
      } else {
        if (yych <= '-') goto yy57;
        if (yych <= '/') goto yy47;
        if (yych <= '9') goto yy58;
        goto yy47;
      }
yy49:
      yych = *++YYCURSOR;
      if (yych == 'l') goto yy60;
      goto yy47;
yy50:
      yych = *++YYCURSOR;
      if (yych == 'l') goto yy61;
      goto yy47;
yy51:
      yych = *++YYCURSOR;
      if (yych == 'u') goto yy62;
      goto yy47;
yy52:
      yych = *++YYCURSOR;
      if (yych <= 0x7F) goto yy47;
      if (yych <= 0xBF) goto yy13;
      goto yy47;
yy53:
      yych = *++YYCURSOR;
      if (yych <= 0x7F) goto yy47;
      if (yych <= 0xBF) goto yy52;
      goto yy47;
yy54:
      yyaccept = 3;
      yych = *(YYMARKER = ++YYCURSOR);
      if (yych <= 'D') {
        if (yych <= '/') goto yy56;
        if (yych <= '9') goto yy54;
      } else {
        if (yych <= 'E') goto yy48;
        if (yych == 'e') goto yy48;
      }
yy56:
      {
    PHP_JSON_TOKEN_LOCATION(last_column) += PHP_JSON_TOKEN_LENGTH();
    ZVAL_DOUBLE(&s->value, zend_strtod((char *) s->token, NULL));
    return PHP_JSON_T_DOUBLE;
  }
yy57:
      yych = *++YYCURSOR;
      if (yych <= '/') goto yy47;
      if (yych >= ':') goto yy47;
yy58:
      yych = *++YYCURSOR;
      if (yych <= '/') goto yy56;
      if (yych <= '9') goto yy58;
      goto yy56;
yy60:
      yych = *++YYCURSOR;
      if (yych == 's') goto yy63;
      goto yy47;
yy61:
      yych = *++YYCURSOR;
      if (yych == 'l') goto yy64;
      goto yy47;
yy62:
      yych = *++YYCURSOR;
      if (yych == 'e') goto yy66;
      goto yy47;
yy63:
      yych = *++YYCURSOR;
      if (yych == 'e') goto yy68;
      goto yy47;
yy64:
      ++YYCURSOR;
      {
    PHP_JSON_TOKEN_LOCATION(last_column) += 4;
    ZVAL_NULL(&s->value);
    return PHP_JSON_T_NUL;
  }
yy66:
      ++YYCURSOR;
      {
    PHP_JSON_TOKEN_LOCATION(last_column) += 4;
    ZVAL_TRUE(&s->value);
    return PHP_JSON_T_TRUE;
  }
yy68:
      ++YYCURSOR;
      {
    PHP_JSON_TOKEN_LOCATION(last_column) += 5;
    ZVAL_FALSE(&s->value);
    return PHP_JSON_T_FALSE;
  }
    }
/* *********************************** */
yyc_STR_P1:
    yych = *YYCURSOR;
    if (yych <= 0xDF) {
      if (yych <= '[') {
        if (yych <= 0x1F) goto yy72;
        if (yych == '"') goto yy76;
        goto yy74;
      } else {
        if (yych <= '\\') goto yy78;
        if (yych <= 0x7F) goto yy74;
        if (yych <= 0xC1) goto yy80;
        goto yy82;
      }
    } else {
      if (yych <= 0xEF) {
        if (yych <= 0xE0) goto yy83;
        if (yych == 0xED) goto yy85;
        goto yy84;
      } else {
        if (yych <= 0xF0) goto yy86;
        if (yych <= 0xF3) goto yy87;
        if (yych <= 0xF4) goto yy88;
        goto yy80;
      }
    }
yy72:
    ++YYCURSOR;
    {
    s->errcode = PHP_JSON_ERROR_CTRL_CHAR;
    return PHP_JSON_T_ERROR;
  }
yy74:
    ++YYCURSOR;
    {
    PHP_JSON_TOKEN_LOCATION(last_column)++;
    PHP_JSON_CONDITION_GOTO(STR_P1);
  }
yy76:
    ++YYCURSOR;
    {
    PHP_JSON_TOKEN_LOCATION(last_column)++;
    zend_string *str;
    size_t len = (size_t)(s->cursor - s->str_start - s->str_esc - 1 + s->utf8_invalid_count);
    if (len == 0) {
      PHP_JSON_CONDITION_SET(JS);
      ZVAL_EMPTY_STRING(&s->value);
      return PHP_JSON_T_ESTRING;
    }
    str = zend_string_alloc(len, 0);
    ZSTR_VAL(str)[len] = '\0';
    ZVAL_STR(&s->value, str);
    if (s->str_esc || s->utf8_invalid) {
      s->pstr = (php_json_ctype *) Z_STRVAL(s->value);
      s->cursor = s->str_start;
      PHP_JSON_CONDITION_GOTO_STR_P2();
    } else {
      memcpy(Z_STRVAL(s->value), s->str_start, len);
      PHP_JSON_CONDITION_SET(JS);
      return PHP_JSON_T_STRING;
    }
  }
yy78:
    yyaccept = 0;
    yych = *(YYMARKER = ++YYCURSOR);
    if (yych <= 'e') {
      if (yych <= '/') {
        if (yych == '"') goto yy89;
        if (yych >= '/') goto yy89;
      } else {
        if (yych <= '\\') {
          if (yych >= '\\') goto yy89;
        } else {
          if (yych == 'b') goto yy89;
        }
      }
    } else {
      if (yych <= 'q') {
        if (yych <= 'f') goto yy89;
        if (yych == 'n') goto yy89;
      } else {
        if (yych <= 's') {
          if (yych <= 'r') goto yy89;
        } else {
          if (yych <= 't') goto yy89;
          if (yych <= 'u') goto yy91;
        }
      }
    }
yy79:
    {
    s->errcode = PHP_JSON_ERROR_SYNTAX;
    return PHP_JSON_T_ERROR;
  }
yy80:
    ++YYCURSOR;
yy81:
    {
    if (s->options & (PHP_JSON_INVALID_UTF8_IGNORE | PHP_JSON_INVALID_UTF8_SUBSTITUTE)) {
      if (s->options & PHP_JSON_INVALID_UTF8_SUBSTITUTE) {
        if (s->utf8_invalid_count > INT_MAX - 2) {
          s->errcode = PHP_JSON_ERROR_UTF8;
          return PHP_JSON_T_ERROR;
        }
        s->utf8_invalid_count += 2;
      } else {
        s->utf8_invalid_count--;
      }
      s->utf8_invalid = 1;
      PHP_JSON_CONDITION_GOTO(STR_P1);
    }
    s->errcode = PHP_JSON_ERROR_UTF8;
    return PHP_JSON_T_ERROR;
  }
yy82:
    yych = *++YYCURSOR;
    if (yych <= 0x7F) goto yy81;
    if (yych <= 0xBF) goto yy93;
    goto yy81;
yy83:
    yyaccept = 1;
    yych = *(YYMARKER = ++YYCURSOR);
    if (yych <= 0x9F) goto yy81;
    if (yych <= 0xBF) goto yy95;
    goto yy81;
yy84:
    yyaccept = 1;
    yych = *(YYMARKER = ++YYCURSOR);
    if (yych <= 0x7F) goto yy81;
    if (yych <= 0xBF) goto yy95;
    goto yy81;
yy85:
    yyaccept = 1;
    yych = *(YYMARKER = ++YYCURSOR);
    if (yych <= 0x7F) goto yy81;
    if (yych <= 0x9F) goto yy95;
    goto yy81;
yy86:
    yyaccept = 1;
    yych = *(YYMARKER = ++YYCURSOR);
    if (yych <= 0x8F) goto yy81;
    if (yych <= 0xBF) goto yy96;
    goto yy81;
yy87:
    yyaccept = 1;
    yych = *(YYMARKER = ++YYCURSOR);
    if (yych <= 0x7F) goto yy81;
    if (yych <= 0xBF) goto yy96;
    goto yy81;
yy88:
    yyaccept = 1;
    yych = *(YYMARKER = ++YYCURSOR);
    if (yych <= 0x7F) goto yy81;
    if (yych <= 0x8F) goto yy96;
    goto yy81;
yy89:
    ++YYCURSOR;
    {
    PHP_JSON_TOKEN_LOCATION(last_column) += 2;
    s->str_esc++;
    PHP_JSON_CONDITION_GOTO(STR_P1);
  }
yy91:
    yych = *++YYCURSOR;
    if (yych <= 'D') {
      if (yych <= '9') {
        if (yych <= '/') goto yy92;
        if (yych <= '0') goto yy97;
        goto yy98;
      } else {
        if (yych <= '@') goto yy92;
        if (yych <= 'C') goto yy98;
        goto yy99;
      }
    } else {
      if (yych <= 'c') {
        if (yych <= 'F') goto yy98;
        if (yych >= 'a') goto yy98;
      } else {
        if (yych <= 'd') goto yy99;
        if (yych <= 'f') goto yy98;
      }
    }
yy92:
    YYCURSOR = YYMARKER;
    if (yyaccept <= 1) {
      if (yyaccept == 0) {
        goto yy79;
      } else {
        goto yy81;
      }
    } else {
      goto yy122;
    }
yy93:
    ++YYCURSOR;
    {
    PHP_JSON_TOKEN_LOCATION(last_column) += 1;
    PHP_JSON_CONDITION_GOTO(STR_P1);
  }
yy95:
    yych = *++YYCURSOR;
    if (yych <= 0x7F) goto yy92;
    if (yych <= 0xBF) goto yy100;
    goto yy92;
yy96:
    yych = *++YYCURSOR;
    if (yych <= 0x7F) goto yy92;
    if (yych <= 0xBF) goto yy102;
    goto yy92;
yy97:
    yych = *++YYCURSOR;
    if (yych <= '9') {
      if (yych <= '/') goto yy92;
      if (yych <= '0') goto yy103;
      if (yych <= '7') goto yy104;
      goto yy105;
    } else {
      if (yych <= 'F') {
        if (yych <= '@') goto yy92;
        goto yy105;
      } else {
        if (yych <= '`') goto yy92;
        if (yych <= 'f') goto yy105;
        goto yy92;
      }
    }
yy98:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy92;
      if (yych <= '9') goto yy105;
      goto yy92;
    } else {
      if (yych <= 'F') goto yy105;
      if (yych <= '`') goto yy92;
      if (yych <= 'f') goto yy105;
      goto yy92;
    }
yy99:
    yych = *++YYCURSOR;
    if (yych <= 'B') {
      if (yych <= '7') {
        if (yych <= '/') goto yy92;
        goto yy105;
      } else {
        if (yych <= '9') goto yy106;
        if (yych <= '@') goto yy92;
        goto yy106;
      }
    } else {
      if (yych <= '`') {
        if (yych <= 'F') goto yy107;
        goto yy92;
      } else {
        if (yych <= 'b') goto yy106;
        if (yych <= 'f') goto yy107;
        goto yy92;
      }
    }
yy100:
    ++YYCURSOR;
    {
    PHP_JSON_TOKEN_LOCATION(last_column) += 1;
    PHP_JSON_CONDITION_GOTO(STR_P1);
  }
yy102:
    yych = *++YYCURSOR;
    if (yych <= 0x7F) goto yy92;
    if (yych <= 0xBF) goto yy108;
    goto yy92;
yy103:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy92;
      if (yych <= '7') goto yy110;
      if (yych <= '9') goto yy111;
      goto yy92;
    } else {
      if (yych <= 'F') goto yy111;
      if (yych <= '`') goto yy92;
      if (yych <= 'f') goto yy111;
      goto yy92;
    }
yy104:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy92;
      if (yych <= '9') goto yy111;
      goto yy92;
    } else {
      if (yych <= 'F') goto yy111;
      if (yych <= '`') goto yy92;
      if (yych <= 'f') goto yy111;
      goto yy92;
    }
yy105:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy92;
      if (yych <= '9') goto yy112;
      goto yy92;
    } else {
      if (yych <= 'F') goto yy112;
      if (yych <= '`') goto yy92;
      if (yych <= 'f') goto yy112;
      goto yy92;
    }
yy106:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy92;
      if (yych <= '9') goto yy113;
      goto yy92;
    } else {
      if (yych <= 'F') goto yy113;
      if (yych <= '`') goto yy92;
      if (yych <= 'f') goto yy113;
      goto yy92;
    }
yy107:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy92;
      if (yych <= '9') goto yy114;
      goto yy92;
    } else {
      if (yych <= 'F') goto yy114;
      if (yych <= '`') goto yy92;
      if (yych <= 'f') goto yy114;
      goto yy92;
    }
yy108:
    ++YYCURSOR;
    {
    PHP_JSON_TOKEN_LOCATION(last_column) += 1;
    PHP_JSON_CONDITION_GOTO(STR_P1);
  }
yy110:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy92;
      if (yych <= '9') goto yy115;
      goto yy92;
    } else {
      if (yych <= 'F') goto yy115;
      if (yych <= '`') goto yy92;
      if (yych <= 'f') goto yy115;
      goto yy92;
    }
yy111:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy92;
      if (yych <= '9') goto yy117;
      goto yy92;
    } else {
      if (yych <= 'F') goto yy117;
      if (yych <= '`') goto yy92;
      if (yych <= 'f') goto yy117;
      goto yy92;
    }
yy112:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy92;
      if (yych <= '9') goto yy119;
      goto yy92;
    } else {
      if (yych <= 'F') goto yy119;
      if (yych <= '`') goto yy92;
      if (yych <= 'f') goto yy119;
      goto yy92;
    }
yy113:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy92;
      if (yych <= '9') goto yy121;
      goto yy92;
    } else {
      if (yych <= 'F') goto yy121;
      if (yych <= '`') goto yy92;
      if (yych <= 'f') goto yy121;
      goto yy92;
    }
yy114:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy92;
      if (yych <= '9') goto yy123;
      goto yy92;
    } else {
      if (yych <= 'F') goto yy123;
      if (yych <= '`') goto yy92;
      if (yych <= 'f') goto yy123;
      goto yy92;
    }
yy115:
    ++YYCURSOR;
    {
    PHP_JSON_TOKEN_LOCATION(last_column) += 1;
    s->str_esc += 5;
    PHP_JSON_CONDITION_GOTO(STR_P1);
  }
yy117:
    ++YYCURSOR;
    {
    PHP_JSON_TOKEN_LOCATION(last_column) += 1;
    s->str_esc += 4;
    PHP_JSON_CONDITION_GOTO(STR_P1);
  }
yy119:
    ++YYCURSOR;
    {
    PHP_JSON_TOKEN_LOCATION(last_column) += 1;
    s->str_esc += 3;
    PHP_JSON_CONDITION_GOTO(STR_P1);
  }
yy121:
    yyaccept = 2;
    yych = *(YYMARKER = ++YYCURSOR);
    if (yych == '\\') goto yy124;
yy122:
    {
    s->errcode = PHP_JSON_ERROR_UTF16;
    return PHP_JSON_T_ERROR;
  }
yy123:
    ++YYCURSOR;
    goto yy122;
yy124:
    yych = *++YYCURSOR;
    if (yych != 'u') goto yy92;
    yych = *++YYCURSOR;
    if (yych == 'D') goto yy126;
    if (yych != 'd') goto yy92;
yy126:
    yych = *++YYCURSOR;
    if (yych <= 'B') goto yy92;
    if (yych <= 'F') goto yy127;
    if (yych <= 'b') goto yy92;
    if (yych >= 'g') goto yy92;
yy127:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy92;
      if (yych >= ':') goto yy92;
    } else {
      if (yych <= 'F') goto yy128;
      if (yych <= '`') goto yy92;
      if (yych >= 'g') goto yy92;
    }
yy128:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy92;
      if (yych >= ':') goto yy92;
    } else {
      if (yych <= 'F') goto yy129;
      if (yych <= '`') goto yy92;
      if (yych >= 'g') goto yy92;
    }
yy129:
    ++YYCURSOR;
    {
    PHP_JSON_TOKEN_LOCATION(last_column) += 1;
    s->str_esc += 8;
    PHP_JSON_CONDITION_GOTO(STR_P1);
  }
/* *********************************** */
yyc_STR_P2_BIN:
    yych = *YYCURSOR;
    if (yych <= 0xDF) {
      if (yych <= '[') {
        if (yych == '"') goto yy135;
      } else {
        if (yych <= '\\') goto yy137;
        if (yych <= 0x7F) goto yy133;
        if (yych <= 0xC1) goto yy139;
        goto yy141;
      }
    } else {
      if (yych <= 0xEF) {
        if (yych <= 0xE0) goto yy142;
        if (yych == 0xED) goto yy144;
        goto yy143;
      } else {
        if (yych <= 0xF0) goto yy145;
        if (yych <= 0xF3) goto yy146;
        if (yych <= 0xF4) goto yy147;
        goto yy139;
      }
    }
yy133:
    ++YYCURSOR;
    { PHP_JSON_CONDITION_GOTO(STR_P2_BIN); }
yy135:
    ++YYCURSOR;
    YYSETCONDITION(yycJS);
    {
    PHP_JSON_SCANNER_COPY_ESC();
    return PHP_JSON_T_STRING;
  }
yy137:
    yyaccept = 0;
    yych = *(YYMARKER = ++YYCURSOR);
    if (yych == 'u') goto yy148;
yy138:
    {
    unsigned char esc;
    PHP_JSON_SCANNER_COPY_ESC();
    switch (*s->cursor) {
      case 'b':
        esc = '\b';
        break;
      case 'f':
        esc = '\f';       break;
      case 'n':
        esc = '\n';
        break;
      case 'r':
        esc = '\r';
        break;
      case 't':
        esc = '\t';
        break;
      case '\\':
      case '/':
      case '"':
        esc = *s->cursor;
        break;
      default:
        s->errcode = PHP_JSON_ERROR_SYNTAX;
        return PHP_JSON_T_ERROR;
    }
    *(s->pstr++) = esc;
    ++YYCURSOR;
    s->str_start = s->cursor;
    PHP_JSON_CONDITION_GOTO_STR_P2();
  }
yy139:
    ++YYCURSOR;
yy140:
    {
    if (s->utf8_invalid) {
      PHP_JSON_SCANNER_COPY_ESC();
      if (s->options & PHP_JSON_INVALID_UTF8_SUBSTITUTE) {
        *(s->pstr++) = (unsigned char) (0xe0 | (0xfffd >> 12));
        *(s->pstr++) = (unsigned char) (0x80 | ((0xfffd >> 6) & 0x3f));
        *(s->pstr++) = (unsigned char) (0x80 | (0xfffd & 0x3f));
      }
      s->str_start = s->cursor;
    }
    PHP_JSON_CONDITION_GOTO(STR_P2_BIN);
  }
yy141:
    yych = *++YYCURSOR;
    if (yych <= 0x7F) goto yy140;
    if (yych <= 0xBF) goto yy133;
    goto yy140;
yy142:
    yyaccept = 1;
    yych = *(YYMARKER = ++YYCURSOR);
    if (yych <= 0x9F) goto yy140;
    if (yych <= 0xBF) goto yy150;
    goto yy140;
yy143:
    yyaccept = 1;
    yych = *(YYMARKER = ++YYCURSOR);
    if (yych <= 0x7F) goto yy140;
    if (yych <= 0xBF) goto yy150;
    goto yy140;
yy144:
    yyaccept = 1;
    yych = *(YYMARKER = ++YYCURSOR);
    if (yych <= 0x7F) goto yy140;
    if (yych <= 0x9F) goto yy150;
    goto yy140;
yy145:
    yyaccept = 1;
    yych = *(YYMARKER = ++YYCURSOR);
    if (yych <= 0x8F) goto yy140;
    if (yych <= 0xBF) goto yy151;
    goto yy140;
yy146:
    yyaccept = 1;
    yych = *(YYMARKER = ++YYCURSOR);
    if (yych <= 0x7F) goto yy140;
    if (yych <= 0xBF) goto yy151;
    goto yy140;
yy147:
    yyaccept = 1;
    yych = *(YYMARKER = ++YYCURSOR);
    if (yych <= 0x7F) goto yy140;
    if (yych <= 0x8F) goto yy151;
    goto yy140;
yy148:
    yych = *++YYCURSOR;
    if (yych <= 'D') {
      if (yych <= '9') {
        if (yych <= '/') goto yy149;
        if (yych <= '0') goto yy152;
        goto yy153;
      } else {
        if (yych <= '@') goto yy149;
        if (yych <= 'C') goto yy153;
        goto yy154;
      }
    } else {
      if (yych <= 'c') {
        if (yych <= 'F') goto yy153;
        if (yych >= 'a') goto yy153;
      } else {
        if (yych <= 'd') goto yy154;
        if (yych <= 'f') goto yy153;
      }
    }
yy149:
    YYCURSOR = YYMARKER;
    if (yyaccept == 0) {
      goto yy138;
    } else {
      goto yy140;
    }
yy150:
    yych = *++YYCURSOR;
    if (yych <= 0x7F) goto yy149;
    if (yych <= 0xBF) goto yy133;
    goto yy149;
yy151:
    yych = *++YYCURSOR;
    if (yych <= 0x7F) goto yy149;
    if (yych <= 0xBF) goto yy150;
    goto yy149;
yy152:
    yych = *++YYCURSOR;
    if (yych <= '9') {
      if (yych <= '/') goto yy149;
      if (yych <= '0') goto yy155;
      if (yych <= '7') goto yy156;
      goto yy157;
    } else {
      if (yych <= 'F') {
        if (yych <= '@') goto yy149;
        goto yy157;
      } else {
        if (yych <= '`') goto yy149;
        if (yych <= 'f') goto yy157;
        goto yy149;
      }
    }
yy153:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy149;
      if (yych <= '9') goto yy157;
      goto yy149;
    } else {
      if (yych <= 'F') goto yy157;
      if (yych <= '`') goto yy149;
      if (yych <= 'f') goto yy157;
      goto yy149;
    }
yy154:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy149;
      if (yych <= '7') goto yy157;
      if (yych <= '9') goto yy158;
      goto yy149;
    } else {
      if (yych <= 'B') goto yy158;
      if (yych <= '`') goto yy149;
      if (yych <= 'b') goto yy158;
      goto yy149;
    }
yy155:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy149;
      if (yych <= '7') goto yy159;
      if (yych <= '9') goto yy160;
      goto yy149;
    } else {
      if (yych <= 'F') goto yy160;
      if (yych <= '`') goto yy149;
      if (yych <= 'f') goto yy160;
      goto yy149;
    }
yy156:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy149;
      if (yych <= '9') goto yy160;
      goto yy149;
    } else {
      if (yych <= 'F') goto yy160;
      if (yych <= '`') goto yy149;
      if (yych <= 'f') goto yy160;
      goto yy149;
    }
yy157:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy149;
      if (yych <= '9') goto yy161;
      goto yy149;
    } else {
      if (yych <= 'F') goto yy161;
      if (yych <= '`') goto yy149;
      if (yych <= 'f') goto yy161;
      goto yy149;
    }
yy158:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy149;
      if (yych <= '9') goto yy162;
      goto yy149;
    } else {
      if (yych <= 'F') goto yy162;
      if (yych <= '`') goto yy149;
      if (yych <= 'f') goto yy162;
      goto yy149;
    }
yy159:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy149;
      if (yych <= '9') goto yy163;
      goto yy149;
    } else {
      if (yych <= 'F') goto yy163;
      if (yych <= '`') goto yy149;
      if (yych <= 'f') goto yy163;
      goto yy149;
    }
yy160:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy149;
      if (yych <= '9') goto yy165;
      goto yy149;
    } else {
      if (yych <= 'F') goto yy165;
      if (yych <= '`') goto yy149;
      if (yych <= 'f') goto yy165;
      goto yy149;
    }
yy161:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy149;
      if (yych <= '9') goto yy167;
      goto yy149;
    } else {
      if (yych <= 'F') goto yy167;
      if (yych <= '`') goto yy149;
      if (yych <= 'f') goto yy167;
      goto yy149;
    }
yy162:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy149;
      if (yych <= '9') goto yy169;
      goto yy149;
    } else {
      if (yych <= 'F') goto yy169;
      if (yych <= '`') goto yy149;
      if (yych <= 'f') goto yy169;
      goto yy149;
    }
yy163:
    ++YYCURSOR;
    {
    int utf16 = php_json_ucs2_to_int(s, 2);
    PHP_JSON_SCANNER_COPY_UTF();
    *(s->pstr++) = (unsigned char) utf16;
    s->str_start = s->cursor;
    PHP_JSON_CONDITION_GOTO_STR_P2();
  }
yy165:
    ++YYCURSOR;
    {
    int utf16 = php_json_ucs2_to_int(s, 3);
    PHP_JSON_SCANNER_COPY_UTF();
    *(s->pstr++) = (unsigned char) (0xc0 | (utf16 >> 6));
    *(s->pstr++) = (unsigned char) (0x80 | (utf16 & 0x3f));
    s->str_start = s->cursor;
    PHP_JSON_CONDITION_GOTO_STR_P2();
  }
yy167:
    ++YYCURSOR;
    {
    int utf16 = php_json_ucs2_to_int(s, 4);
    PHP_JSON_SCANNER_COPY_UTF();
    *(s->pstr++) = (unsigned char) (0xe0 | (utf16 >> 12));
    *(s->pstr++) = (unsigned char) (0x80 | ((utf16 >> 6) & 0x3f));
    *(s->pstr++) = (unsigned char) (0x80 | (utf16 & 0x3f));
    s->str_start = s->cursor;
    PHP_JSON_CONDITION_GOTO_STR_P2();
  }
yy169:
    yych = *++YYCURSOR;
    if (yych != '\\') goto yy149;
    yych = *++YYCURSOR;
    if (yych != 'u') goto yy149;
    yych = *++YYCURSOR;
    if (yych == 'D') goto yy172;
    if (yych != 'd') goto yy149;
yy172:
    yych = *++YYCURSOR;
    if (yych <= 'B') goto yy149;
    if (yych <= 'F') goto yy173;
    if (yych <= 'b') goto yy149;
    if (yych >= 'g') goto yy149;
yy173:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy149;
      if (yych >= ':') goto yy149;
    } else {
      if (yych <= 'F') goto yy174;
      if (yych <= '`') goto yy149;
      if (yych >= 'g') goto yy149;
    }
yy174:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy149;
      if (yych >= ':') goto yy149;
    } else {
      if (yych <= 'F') goto yy175;
      if (yych <= '`') goto yy149;
      if (yych >= 'g') goto yy149;
    }
yy175:
    ++YYCURSOR;
    {
    int utf32, utf16_hi, utf16_lo;
    utf16_hi = php_json_ucs2_to_int(s, 4);
    utf16_lo = php_json_ucs2_to_int_ex(s, 4, 7);
    utf32 = ((utf16_lo & 0x3FF) << 10) + (utf16_hi & 0x3FF) + 0x10000;
    PHP_JSON_SCANNER_COPY_UTF_SP();
    *(s->pstr++) = (unsigned char) (0xf0 | (utf32 >> 18));
    *(s->pstr++) = (unsigned char) (0x80 | ((utf32 >> 12) & 0x3f));
    *(s->pstr++) = (unsigned char) (0x80 | ((utf32 >> 6) & 0x3f));
    *(s->pstr++) = (unsigned char) (0x80 | (utf32 & 0x3f));
    s->str_start = s->cursor;
    PHP_JSON_CONDITION_GOTO_STR_P2();
  }
/* *********************************** */
yyc_STR_P2_UTF:
    yych = *YYCURSOR;
    if (yych == '"') goto yy181;
    if (yych == '\\') goto yy183;
    ++YYCURSOR;
    { PHP_JSON_CONDITION_GOTO(STR_P2_UTF); }
yy181:
    ++YYCURSOR;
    YYSETCONDITION(yycJS);
    {
    PHP_JSON_SCANNER_COPY_ESC();
    return PHP_JSON_T_STRING;
  }
yy183:
    yych = *(YYMARKER = ++YYCURSOR);
    if (yych == 'u') goto yy185;
yy184:
    {
    unsigned char esc;
    PHP_JSON_SCANNER_COPY_ESC();
    switch (*s->cursor) {
      case 'b':
        esc = '\b';
        break;
      case 'f':
        esc = '\f';       break;
      case 'n':
        esc = '\n';
        break;
      case 'r':
        esc = '\r';
        break;
      case 't':
        esc = '\t';
        break;
      case '\\':
      case '/':
      case '"':
        esc = *s->cursor;
        break;
      default:
        s->errcode = PHP_JSON_ERROR_SYNTAX;
        return PHP_JSON_T_ERROR;
    }
    *(s->pstr++) = esc;
    ++YYCURSOR;
    s->str_start = s->cursor;
    PHP_JSON_CONDITION_GOTO_STR_P2();
  }
yy185:
    yych = *++YYCURSOR;
    if (yych <= 'D') {
      if (yych <= '9') {
        if (yych <= '/') goto yy186;
        if (yych <= '0') goto yy187;
        goto yy188;
      } else {
        if (yych <= '@') goto yy186;
        if (yych <= 'C') goto yy188;
        goto yy189;
      }
    } else {
      if (yych <= 'c') {
        if (yych <= 'F') goto yy188;
        if (yych >= 'a') goto yy188;
      } else {
        if (yych <= 'd') goto yy189;
        if (yych <= 'f') goto yy188;
      }
    }
yy186:
    YYCURSOR = YYMARKER;
    goto yy184;
yy187:
    yych = *++YYCURSOR;
    if (yych <= '9') {
      if (yych <= '/') goto yy186;
      if (yych <= '0') goto yy190;
      if (yych <= '7') goto yy191;
      goto yy192;
    } else {
      if (yych <= 'F') {
        if (yych <= '@') goto yy186;
        goto yy192;
      } else {
        if (yych <= '`') goto yy186;
        if (yych <= 'f') goto yy192;
        goto yy186;
      }
    }
yy188:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy186;
      if (yych <= '9') goto yy192;
      goto yy186;
    } else {
      if (yych <= 'F') goto yy192;
      if (yych <= '`') goto yy186;
      if (yych <= 'f') goto yy192;
      goto yy186;
    }
yy189:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy186;
      if (yych <= '7') goto yy192;
      if (yych <= '9') goto yy193;
      goto yy186;
    } else {
      if (yych <= 'B') goto yy193;
      if (yych <= '`') goto yy186;
      if (yych <= 'b') goto yy193;
      goto yy186;
    }
yy190:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy186;
      if (yych <= '7') goto yy194;
      if (yych <= '9') goto yy195;
      goto yy186;
    } else {
      if (yych <= 'F') goto yy195;
      if (yych <= '`') goto yy186;
      if (yych <= 'f') goto yy195;
      goto yy186;
    }
yy191:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy186;
      if (yych <= '9') goto yy195;
      goto yy186;
    } else {
      if (yych <= 'F') goto yy195;
      if (yych <= '`') goto yy186;
      if (yych <= 'f') goto yy195;
      goto yy186;
    }
yy192:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy186;
      if (yych <= '9') goto yy196;
      goto yy186;
    } else {
      if (yych <= 'F') goto yy196;
      if (yych <= '`') goto yy186;
      if (yych <= 'f') goto yy196;
      goto yy186;
    }
yy193:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy186;
      if (yych <= '9') goto yy197;
      goto yy186;
    } else {
      if (yych <= 'F') goto yy197;
      if (yych <= '`') goto yy186;
      if (yych <= 'f') goto yy197;
      goto yy186;
    }
yy194:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy186;
      if (yych <= '9') goto yy198;
      goto yy186;
    } else {
      if (yych <= 'F') goto yy198;
      if (yych <= '`') goto yy186;
      if (yych <= 'f') goto yy198;
      goto yy186;
    }
yy195:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy186;
      if (yych <= '9') goto yy200;
      goto yy186;
    } else {
      if (yych <= 'F') goto yy200;
      if (yych <= '`') goto yy186;
      if (yych <= 'f') goto yy200;
      goto yy186;
    }
yy196:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy186;
      if (yych <= '9') goto yy202;
      goto yy186;
    } else {
      if (yych <= 'F') goto yy202;
      if (yych <= '`') goto yy186;
      if (yych <= 'f') goto yy202;
      goto yy186;
    }
yy197:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy186;
      if (yych <= '9') goto yy204;
      goto yy186;
    } else {
      if (yych <= 'F') goto yy204;
      if (yych <= '`') goto yy186;
      if (yych <= 'f') goto yy204;
      goto yy186;
    }
yy198:
    ++YYCURSOR;
    {
    int utf16 = php_json_ucs2_to_int(s, 2);
    PHP_JSON_SCANNER_COPY_UTF();
    *(s->pstr++) = (unsigned char) utf16;
    s->str_start = s->cursor;
    PHP_JSON_CONDITION_GOTO_STR_P2();
  }
yy200:
    ++YYCURSOR;
    {
    int utf16 = php_json_ucs2_to_int(s, 3);
    PHP_JSON_SCANNER_COPY_UTF();
    *(s->pstr++) = (unsigned char) (0xc0 | (utf16 >> 6));
    *(s->pstr++) = (unsigned char) (0x80 | (utf16 & 0x3f));
    s->str_start = s->cursor;
    PHP_JSON_CONDITION_GOTO_STR_P2();
  }
yy202:
    ++YYCURSOR;
    {
    int utf16 = php_json_ucs2_to_int(s, 4);
    PHP_JSON_SCANNER_COPY_UTF();
    *(s->pstr++) = (unsigned char) (0xe0 | (utf16 >> 12));
    *(s->pstr++) = (unsigned char) (0x80 | ((utf16 >> 6) & 0x3f));
    *(s->pstr++) = (unsigned char) (0x80 | (utf16 & 0x3f));
    s->str_start = s->cursor;
    PHP_JSON_CONDITION_GOTO_STR_P2();
  }
yy204:
    yych = *++YYCURSOR;
    if (yych != '\\') goto yy186;
    yych = *++YYCURSOR;
    if (yych != 'u') goto yy186;
    yych = *++YYCURSOR;
    if (yych == 'D') goto yy207;
    if (yych != 'd') goto yy186;
yy207:
    yych = *++YYCURSOR;
    if (yych <= 'B') goto yy186;
    if (yych <= 'F') goto yy208;
    if (yych <= 'b') goto yy186;
    if (yych >= 'g') goto yy186;
yy208:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy186;
      if (yych >= ':') goto yy186;
    } else {
      if (yych <= 'F') goto yy209;
      if (yych <= '`') goto yy186;
      if (yych >= 'g') goto yy186;
    }
yy209:
    yych = *++YYCURSOR;
    if (yych <= '@') {
      if (yych <= '/') goto yy186;
      if (yych >= ':') goto yy186;
    } else {
      if (yych <= 'F') goto yy210;
      if (yych <= '`') goto yy186;
      if (yych >= 'g') goto yy186;
    }
yy210:
    ++YYCURSOR;
    {
    int utf32, utf16_hi, utf16_lo;
    utf16_hi = php_json_ucs2_to_int(s, 4);
    utf16_lo = php_json_ucs2_to_int_ex(s, 4, 7);
    utf32 = ((utf16_lo & 0x3FF) << 10) + (utf16_hi & 0x3FF) + 0x10000;
    PHP_JSON_SCANNER_COPY_UTF_SP();
    *(s->pstr++) = (unsigned char) (0xf0 | (utf32 >> 18));
    *(s->pstr++) = (unsigned char) (0x80 | ((utf32 >> 12) & 0x3f));
    *(s->pstr++) = (unsigned char) (0x80 | ((utf32 >> 6) & 0x3f));
    *(s->pstr++) = (unsigned char) (0x80 | (utf32 & 0x3f));
    s->str_start = s->cursor;
    PHP_JSON_CONDITION_GOTO_STR_P2();
  }
  }


}

Coverage Report

Created: 2026-06-13 07:01