1 %{ 2 /* 3 +----------------------------------------------------------------------+ 4 | Zend Engine | 5 +----------------------------------------------------------------------+ 6 | Copyright (c) 1998-2017 Zend Technologies Ltd. (http://www.zend.com) | 7 +----------------------------------------------------------------------+ 8 | This source file is subject to version 2.00 of the Zend license, | 9 | that is bundled with this package in the file LICENSE, and is | 10 | available through the world-wide-web at the following url: | 11 | http://www.zend.com/license/2_00.txt. | 12 | If you did not receive a copy of the Zend license and are unable to | 13 | obtain it through the world-wide-web, please send a note to | 14 | license@zend.com so we can mail you a copy immediately. | 15 +----------------------------------------------------------------------+ 16 | Authors: Andi Gutmans <andi@zend.com> | 17 | Zeev Suraski <zeev@zend.com> | 18 | Nikita Popov <nikic@php.net> | 19 +----------------------------------------------------------------------+ 20 */ 21 22 /* $Id$ */ 23 24 #include "zend_compile.h" 25 #include "zend.h" 26 #include "zend_list.h" 27 #include "zend_globals.h" 28 #include "zend_API.h" 29 #include "zend_constants.h" 30 #include "zend_language_scanner.h" 31 32 #define YYSIZE_T size_t 33 #define yytnamerr zend_yytnamerr 34 static YYSIZE_T zend_yytnamerr(char*, const char*); 35 36 #define YYERROR_VERBOSE 37 #define YYSTYPE zend_parser_stack_elem 38 39 #ifdef _MSC_VER 40 #define YYMALLOC malloc 41 #define YYFREE free 42 #endif 43 44 %} 45 46 %pure_parser 47 %expect 0 48 49 %code requires { 50 } 51 52 %destructor { zend_ast_destroy($$); } <ast> 53 %destructor { if ($$) zend_string_release($$); } <str> 54 55 %left T_INCLUDE T_INCLUDE_ONCE T_EVAL T_REQUIRE T_REQUIRE_ONCE 56 %left ',' 57 %left T_LOGICAL_OR 58 %left T_LOGICAL_XOR 59 %left T_LOGICAL_AND 60 %right T_PRINT 61 %right T_YIELD 62 %right T_DOUBLE_ARROW 63 %right T_YIELD_FROM 64 %left '=' T_PLUS_EQUAL T_MINUS_EQUAL T_MUL_EQUAL T_DIV_EQUAL T_CONCAT_EQUAL T_MOD_EQUAL T_AND_EQUAL T_OR_EQUAL T_XOR_EQUAL T_SL_EQUAL T_SR_EQUAL T_POW_EQUAL 65 %left '?' ':' 66 %right T_COALESCE 67 %left T_BOOLEAN_OR 68 %left T_BOOLEAN_AND 69 %left '|' 70 %left '^' 71 %left '&' 72 %nonassoc T_IS_EQUAL T_IS_NOT_EQUAL T_IS_IDENTICAL T_IS_NOT_IDENTICAL T_SPACESHIP 73 %nonassoc '<' T_IS_SMALLER_OR_EQUAL '>' T_IS_GREATER_OR_EQUAL 74 %left T_SL T_SR 75 %left '+' '-' '.' 76 %left '*' '/' '%' 77 %right '!' 78 %nonassoc T_INSTANCEOF 79 %right '~' T_INC T_DEC T_INT_CAST T_DOUBLE_CAST T_STRING_CAST T_ARRAY_CAST T_OBJECT_CAST T_BOOL_CAST T_UNSET_CAST '@' 80 %right T_POW 81 %right '[' 82 %nonassoc T_NEW T_CLONE 83 %left T_NOELSE 84 %left T_ELSEIF 85 %left T_ELSE 86 %left T_ENDIF 87 %right T_STATIC T_ABSTRACT T_FINAL T_PRIVATE T_PROTECTED T_PUBLIC 88 89 %token <ast> T_LNUMBER "integer number (T_LNUMBER)" 90 %token <ast> T_DNUMBER "floating-point number (T_DNUMBER)" 91 %token <ast> T_STRING "identifier (T_STRING)" 92 %token <ast> T_VARIABLE "variable (T_VARIABLE)" 93 %token <ast> T_INLINE_HTML 94 %token <ast> T_ENCAPSED_AND_WHITESPACE "quoted-string and whitespace (T_ENCAPSED_AND_WHITESPACE)" 95 %token <ast> T_CONSTANT_ENCAPSED_STRING "quoted-string (T_CONSTANT_ENCAPSED_STRING)" 96 %token <ast> T_STRING_VARNAME "variable name (T_STRING_VARNAME)" 97 %token <ast> T_NUM_STRING "number (T_NUM_STRING)" 98 99 %token END 0 "end of file" 100 %token T_INCLUDE "include (T_INCLUDE)" 101 %token T_INCLUDE_ONCE "include_once (T_INCLUDE_ONCE)" 102 %token T_EVAL "eval (T_EVAL)" 103 %token T_REQUIRE "require (T_REQUIRE)" 104 %token T_REQUIRE_ONCE "require_once (T_REQUIRE_ONCE)" 105 %token T_LOGICAL_OR "or (T_LOGICAL_OR)" 106 %token T_LOGICAL_XOR "xor (T_LOGICAL_XOR)" 107 %token T_LOGICAL_AND "and (T_LOGICAL_AND)" 108 %token T_PRINT "print (T_PRINT)" 109 %token T_YIELD "yield (T_YIELD)" 110 %token T_YIELD_FROM "yield from (T_YIELD_FROM)" 111 %token T_PLUS_EQUAL "+= (T_PLUS_EQUAL)" 112 %token T_MINUS_EQUAL "-= (T_MINUS_EQUAL)" 113 %token T_MUL_EQUAL "*= (T_MUL_EQUAL)" 114 %token T_DIV_EQUAL "/= (T_DIV_EQUAL)" 115 %token T_CONCAT_EQUAL ".= (T_CONCAT_EQUAL)" 116 %token T_MOD_EQUAL "%= (T_MOD_EQUAL)" 117 %token T_AND_EQUAL "&= (T_AND_EQUAL)" 118 %token T_OR_EQUAL "|= (T_OR_EQUAL)" 119 %token T_XOR_EQUAL "^= (T_XOR_EQUAL)" 120 %token T_SL_EQUAL "<<= (T_SL_EQUAL)" 121 %token T_SR_EQUAL ">>= (T_SR_EQUAL)" 122 %token T_BOOLEAN_OR "|| (T_BOOLEAN_OR)" 123 %token T_BOOLEAN_AND "&& (T_BOOLEAN_AND)" 124 %token T_IS_EQUAL "== (T_IS_EQUAL)" 125 %token T_IS_NOT_EQUAL "!= (T_IS_NOT_EQUAL)" 126 %token T_IS_IDENTICAL "=== (T_IS_IDENTICAL)" 127 %token T_IS_NOT_IDENTICAL "!== (T_IS_NOT_IDENTICAL)" 128 %token T_IS_SMALLER_OR_EQUAL "<= (T_IS_SMALLER_OR_EQUAL)" 129 %token T_IS_GREATER_OR_EQUAL ">= (T_IS_GREATER_OR_EQUAL)" 130 %token T_SPACESHIP "<=> (T_SPACESHIP)" 131 %token T_SL "<< (T_SL)" 132 %token T_SR ">> (T_SR)" 133 %token T_INSTANCEOF "instanceof (T_INSTANCEOF)" 134 %token T_INC "++ (T_INC)" 135 %token T_DEC "-- (T_DEC)" 136 %token T_INT_CAST "(int) (T_INT_CAST)" 137 %token T_DOUBLE_CAST "(double) (T_DOUBLE_CAST)" 138 %token T_STRING_CAST "(string) (T_STRING_CAST)" 139 %token T_ARRAY_CAST "(array) (T_ARRAY_CAST)" 140 %token T_OBJECT_CAST "(object) (T_OBJECT_CAST)" 141 %token T_BOOL_CAST "(bool) (T_BOOL_CAST)" 142 %token T_UNSET_CAST "(unset) (T_UNSET_CAST)" 143 %token T_NEW "new (T_NEW)" 144 %token T_CLONE "clone (T_CLONE)" 145 %token T_EXIT "exit (T_EXIT)" 146 %token T_IF "if (T_IF)" 147 %token T_ELSEIF "elseif (T_ELSEIF)" 148 %token T_ELSE "else (T_ELSE)" 149 %token T_ENDIF "endif (T_ENDIF)" 150 %token T_ECHO "echo (T_ECHO)" 151 %token T_DO "do (T_DO)" 152 %token T_WHILE "while (T_WHILE)" 153 %token T_ENDWHILE "endwhile (T_ENDWHILE)" 154 %token T_FOR "for (T_FOR)" 155 %token T_ENDFOR "endfor (T_ENDFOR)" 156 %token T_FOREACH "foreach (T_FOREACH)" 157 %token T_ENDFOREACH "endforeach (T_ENDFOREACH)" 158 %token T_DECLARE "declare (T_DECLARE)" 159 %token T_ENDDECLARE "enddeclare (T_ENDDECLARE)" 160 %token T_AS "as (T_AS)" 161 %token T_SWITCH "switch (T_SWITCH)" 162 %token T_ENDSWITCH "endswitch (T_ENDSWITCH)" 163 %token T_CASE "case (T_CASE)" 164 %token T_DEFAULT "default (T_DEFAULT)" 165 %token T_BREAK "break (T_BREAK)" 166 %token T_CONTINUE "continue (T_CONTINUE)" 167 %token T_GOTO "goto (T_GOTO)" 168 %token T_FUNCTION "function (T_FUNCTION)" 169 %token T_CONST "const (T_CONST)" 170 %token T_RETURN "return (T_RETURN)" 171 %token T_TRY "try (T_TRY)" 172 %token T_CATCH "catch (T_CATCH)" 173 %token T_FINALLY "finally (T_FINALLY)" 174 %token T_THROW "throw (T_THROW)" 175 %token T_USE "use (T_USE)" 176 %token T_INSTEADOF "insteadof (T_INSTEADOF)" 177 %token T_GLOBAL "global (T_GLOBAL)" 178 %token T_STATIC "static (T_STATIC)" 179 %token T_ABSTRACT "abstract (T_ABSTRACT)" 180 %token T_FINAL "final (T_FINAL)" 181 %token T_PRIVATE "private (T_PRIVATE)" 182 %token T_PROTECTED "protected (T_PROTECTED)" 183 %token T_PUBLIC "public (T_PUBLIC)" 184 %token T_VAR "var (T_VAR)" 185 %token T_UNSET "unset (T_UNSET)" 186 %token T_ISSET "isset (T_ISSET)" 187 %token T_EMPTY "empty (T_EMPTY)" 188 %token T_HALT_COMPILER "__halt_compiler (T_HALT_COMPILER)" 189 %token T_CLASS "class (T_CLASS)" 190 %token T_TRAIT "trait (T_TRAIT)" 191 %token T_INTERFACE "interface (T_INTERFACE)" 192 %token T_EXTENDS "extends (T_EXTENDS)" 193 %token T_IMPLEMENTS "implements (T_IMPLEMENTS)" 194 %token T_OBJECT_OPERATOR "-> (T_OBJECT_OPERATOR)" 195 %token T_DOUBLE_ARROW "=> (T_DOUBLE_ARROW)" 196 %token T_LIST "list (T_LIST)" 197 %token T_ARRAY "array (T_ARRAY)" 198 %token T_CALLABLE "callable (T_CALLABLE)" 199 %token T_LINE "__LINE__ (T_LINE)" 200 %token T_FILE "__FILE__ (T_FILE)" 201 %token T_DIR "__DIR__ (T_DIR)" 202 %token T_CLASS_C "__CLASS__ (T_CLASS_C)" 203 %token T_TRAIT_C "__TRAIT__ (T_TRAIT_C)" 204 %token T_METHOD_C "__METHOD__ (T_METHOD_C)" 205 %token T_FUNC_C "__FUNCTION__ (T_FUNC_C)" 206 %token T_COMMENT "comment (T_COMMENT)" 207 %token T_DOC_COMMENT "doc comment (T_DOC_COMMENT)" 208 %token T_OPEN_TAG "open tag (T_OPEN_TAG)" 209 %token T_OPEN_TAG_WITH_ECHO "open tag with echo (T_OPEN_TAG_WITH_ECHO)" 210 %token T_CLOSE_TAG "close tag (T_CLOSE_TAG)" 211 %token T_WHITESPACE "whitespace (T_WHITESPACE)" 212 %token T_START_HEREDOC "heredoc start (T_START_HEREDOC)" 213 %token T_END_HEREDOC "heredoc end (T_END_HEREDOC)" 214 %token T_DOLLAR_OPEN_CURLY_BRACES "${ (T_DOLLAR_OPEN_CURLY_BRACES)" 215 %token T_CURLY_OPEN "{$ (T_CURLY_OPEN)" 216 %token T_PAAMAYIM_NEKUDOTAYIM ":: (T_PAAMAYIM_NEKUDOTAYIM)" 217 %token T_NAMESPACE "namespace (T_NAMESPACE)" 218 %token T_NS_C "__NAMESPACE__ (T_NS_C)" 219 %token T_NS_SEPARATOR "\\ (T_NS_SEPARATOR)" 220 %token T_ELLIPSIS "... (T_ELLIPSIS)" 221 %token T_COALESCE "?? (T_COALESCE)" 222 %token T_POW "** (T_POW)" 223 %token T_POW_EQUAL "**= (T_POW_EQUAL)" 224 225 /* Token used to force a parse error from the lexer */ 226 %token T_ERROR 227 228 %type <ast> top_statement namespace_name name statement function_declaration_statement 229 %type <ast> class_declaration_statement trait_declaration_statement 230 %type <ast> interface_declaration_statement interface_extends_list 231 %type <ast> group_use_declaration inline_use_declarations inline_use_declaration 232 %type <ast> mixed_group_use_declaration use_declaration unprefixed_use_declaration 233 %type <ast> unprefixed_use_declarations const_decl inner_statement 234 %type <ast> expr optional_expr while_statement for_statement foreach_variable 235 %type <ast> foreach_statement declare_statement finally_statement unset_variable variable 236 %type <ast> extends_from parameter optional_type argument expr_without_variable global_var 237 %type <ast> static_var class_statement trait_adaptation trait_precedence trait_alias 238 %type <ast> absolute_trait_method_reference trait_method_reference property echo_expr 239 %type <ast> new_expr anonymous_class class_name class_name_reference simple_variable 240 %type <ast> internal_functions_in_yacc 241 %type <ast> exit_expr scalar backticks_expr lexical_var function_call member_name property_name 242 %type <ast> variable_class_name dereferencable_scalar constant dereferencable 243 %type <ast> callable_expr callable_variable static_member new_variable 244 %type <ast> assignment_list_element array_pair encaps_var encaps_var_offset isset_variables 245 %type <ast> top_statement_list use_declarations const_list inner_statement_list if_stmt 246 %type <ast> alt_if_stmt for_exprs switch_case_list global_var_list static_var_list 247 %type <ast> echo_expr_list unset_variables catch_list parameter_list class_statement_list 248 %type <ast> implements_list case_list if_stmt_without_else 249 %type <ast> non_empty_parameter_list argument_list non_empty_argument_list property_list 250 %type <ast> class_const_list class_const_decl name_list trait_adaptations method_body non_empty_for_exprs 251 %type <ast> ctor_arguments alt_if_stmt_without_else trait_adaptation_list lexical_vars 252 %type <ast> lexical_var_list encaps_list array_pair_list non_empty_array_pair_list 253 %type <ast> assignment_list isset_variable type return_type 254 %type <ast> identifier 255 256 %type <num> returns_ref function is_reference is_variadic variable_modifiers 257 %type <num> method_modifiers non_empty_member_modifiers member_modifier 258 %type <num> class_modifiers class_modifier use_type 259 260 %type <str> backup_doc_comment 261 262 %% /* Rules */ 263 264 start: 265 top_statement_list { CG(ast) = $1; } 266 ; 267 268 reserved_non_modifiers: 269 T_INCLUDE | T_INCLUDE_ONCE | T_EVAL | T_REQUIRE | T_REQUIRE_ONCE | T_LOGICAL_OR | T_LOGICAL_XOR | T_LOGICAL_AND 270 | T_INSTANCEOF | T_NEW | T_CLONE | T_EXIT | T_IF | T_ELSEIF | T_ELSE | T_ENDIF | T_ECHO | T_DO | T_WHILE | T_ENDWHILE 271 | T_FOR | T_ENDFOR | T_FOREACH | T_ENDFOREACH | T_DECLARE | T_ENDDECLARE | T_AS | T_TRY | T_CATCH | T_FINALLY 272 | T_THROW | T_USE | T_INSTEADOF | T_GLOBAL | T_VAR | T_UNSET | T_ISSET | T_EMPTY | T_CONTINUE | T_GOTO 273 | T_FUNCTION | T_CONST | T_RETURN | T_PRINT | T_YIELD | T_LIST | T_SWITCH | T_ENDSWITCH | T_CASE | T_DEFAULT | T_BREAK 274 | T_ARRAY | T_CALLABLE | T_EXTENDS | T_IMPLEMENTS | T_NAMESPACE | T_TRAIT | T_INTERFACE | T_CLASS 275 | T_CLASS_C | T_TRAIT_C | T_FUNC_C | T_METHOD_C | T_LINE | T_FILE | T_DIR | T_NS_C 276 ; 277 278 semi_reserved: 279 reserved_non_modifiers 280 | T_STATIC | T_ABSTRACT | T_FINAL | T_PRIVATE | T_PROTECTED | T_PUBLIC 281 ; 282 283 identifier: 284 T_STRING { $$ = $1; } 285 | semi_reserved { 286 zval zv; 287 zend_lex_tstring(&zv); 288 $$ = zend_ast_create_zval(&zv); 289 } 290 ; 291 292 top_statement_list: 293 top_statement_list top_statement { $$ = zend_ast_list_add($1, $2); } 294 | /* empty */ { $$ = zend_ast_create_list(0, ZEND_AST_STMT_LIST); } 295 ; 296 297 namespace_name: 298 T_STRING { $$ = $1; } 299 | namespace_name T_NS_SEPARATOR T_STRING { $$ = zend_ast_append_str($1, $3); } 300 ; 301 302 name: 303 namespace_name { $$ = $1; $$->attr = ZEND_NAME_NOT_FQ; } 304 | T_NAMESPACE T_NS_SEPARATOR namespace_name { $$ = $3; $$->attr = ZEND_NAME_RELATIVE; } 305 | T_NS_SEPARATOR namespace_name { $$ = $2; $$->attr = ZEND_NAME_FQ; } 306 ; 307 308 top_statement: 309 statement { $$ = $1; } 310 | function_declaration_statement { $$ = $1; } 311 | class_declaration_statement { $$ = $1; } 312 | trait_declaration_statement { $$ = $1; } 313 | interface_declaration_statement { $$ = $1; } 314 | T_HALT_COMPILER '(' ')' ';' 315 { $$ = zend_ast_create(ZEND_AST_HALT_COMPILER, 316 zend_ast_create_zval_from_long(zend_get_scanned_file_offset())); 317 zend_stop_lexing(); } 318 | T_NAMESPACE namespace_name ';' 319 { $$ = zend_ast_create(ZEND_AST_NAMESPACE, $2, NULL); 320 RESET_DOC_COMMENT(); } 321 | T_NAMESPACE namespace_name { RESET_DOC_COMMENT(); } 322 '{' top_statement_list '}' 323 { $$ = zend_ast_create(ZEND_AST_NAMESPACE, $2, $5); } 324 | T_NAMESPACE { RESET_DOC_COMMENT(); } 325 '{' top_statement_list '}' 326 { $$ = zend_ast_create(ZEND_AST_NAMESPACE, NULL, $4); } 327 | T_USE mixed_group_use_declaration ';' { $$ = $2; } 328 | T_USE use_type group_use_declaration ';' { $$ = $3; $$->attr = $2; } 329 | T_USE use_declarations ';' { $$ = $2; $$->attr = T_CLASS; } 330 | T_USE use_type use_declarations ';' { $$ = $3; $$->attr = $2; } 331 | T_CONST const_list ';' { $$ = $2; } 332 ; 333 334 use_type: 335 T_FUNCTION { $$ = T_FUNCTION; } 336 | T_CONST { $$ = T_CONST; } 337 ; 338 339 group_use_declaration: 340 namespace_name T_NS_SEPARATOR '{' unprefixed_use_declarations '}' 341 { $$ = zend_ast_create(ZEND_AST_GROUP_USE, $1, $4); } 342 | T_NS_SEPARATOR namespace_name T_NS_SEPARATOR '{' unprefixed_use_declarations '}' 343 { $$ = zend_ast_create(ZEND_AST_GROUP_USE, $2, $5); } 344 ; 345 346 mixed_group_use_declaration: 347 namespace_name T_NS_SEPARATOR '{' inline_use_declarations '}' 348 { $$ = zend_ast_create(ZEND_AST_GROUP_USE, $1, $4);} 349 | T_NS_SEPARATOR namespace_name T_NS_SEPARATOR '{' inline_use_declarations '}' 350 { $$ = zend_ast_create(ZEND_AST_GROUP_USE, $2, $5); } 351 ; 352 353 inline_use_declarations: 354 inline_use_declarations ',' inline_use_declaration 355 { $$ = zend_ast_list_add($1, $3); } 356 | inline_use_declaration 357 { $$ = zend_ast_create_list(1, ZEND_AST_USE, $1); } 358 ; 359 360 unprefixed_use_declarations: 361 unprefixed_use_declarations ',' unprefixed_use_declaration 362 { $$ = zend_ast_list_add($1, $3); } 363 | unprefixed_use_declaration 364 { $$ = zend_ast_create_list(1, ZEND_AST_USE, $1); } 365 ; 366 367 use_declarations: 368 use_declarations ',' use_declaration 369 { $$ = zend_ast_list_add($1, $3); } 370 | use_declaration 371 { $$ = zend_ast_create_list(1, ZEND_AST_USE, $1); } 372 ; 373 374 inline_use_declaration: 375 unprefixed_use_declaration { $$ = $1; $$->attr = T_CLASS; } 376 | use_type unprefixed_use_declaration { $$ = $2; $$->attr = $1; } 377 ; 378 379 unprefixed_use_declaration: 380 namespace_name 381 { $$ = zend_ast_create(ZEND_AST_USE_ELEM, $1, NULL); } 382 | namespace_name T_AS T_STRING 383 { $$ = zend_ast_create(ZEND_AST_USE_ELEM, $1, $3); } 384 ; 385 386 use_declaration: 387 unprefixed_use_declaration { $$ = $1; } 388 | T_NS_SEPARATOR unprefixed_use_declaration { $$ = $2; } 389 ; 390 391 const_list: 392 const_list ',' const_decl { $$ = zend_ast_list_add($1, $3); } 393 | const_decl { $$ = zend_ast_create_list(1, ZEND_AST_CONST_DECL, $1); } 394 ; 395 396 inner_statement_list: 397 inner_statement_list inner_statement 398 { $$ = zend_ast_list_add($1, $2); } 399 | /* empty */ 400 { $$ = zend_ast_create_list(0, ZEND_AST_STMT_LIST); } 401 ; 402 403 404 inner_statement: 405 statement { $$ = $1; } 406 | function_declaration_statement { $$ = $1; } 407 | class_declaration_statement { $$ = $1; } 408 | trait_declaration_statement { $$ = $1; } 409 | interface_declaration_statement { $$ = $1; } 410 | T_HALT_COMPILER '(' ')' ';' 411 { $$ = NULL; zend_error_noreturn(E_COMPILE_ERROR, 412 "__HALT_COMPILER() can only be used from the outermost scope"); } 413 ; 414 415 416 statement: 417 '{' inner_statement_list '}' { $$ = $2; } 418 | if_stmt { $$ = $1; } 419 | alt_if_stmt { $$ = $1; } 420 | T_WHILE '(' expr ')' while_statement 421 { $$ = zend_ast_create(ZEND_AST_WHILE, $3, $5); } 422 | T_DO statement T_WHILE '(' expr ')' ';' 423 { $$ = zend_ast_create(ZEND_AST_DO_WHILE, $2, $5); } 424 | T_FOR '(' for_exprs ';' for_exprs ';' for_exprs ')' for_statement 425 { $$ = zend_ast_create(ZEND_AST_FOR, $3, $5, $7, $9); } 426 | T_SWITCH '(' expr ')' switch_case_list 427 { $$ = zend_ast_create(ZEND_AST_SWITCH, $3, $5); } 428 | T_BREAK optional_expr ';' { $$ = zend_ast_create(ZEND_AST_BREAK, $2); } 429 | T_CONTINUE optional_expr ';' { $$ = zend_ast_create(ZEND_AST_CONTINUE, $2); } 430 | T_RETURN optional_expr ';' { $$ = zend_ast_create(ZEND_AST_RETURN, $2); } 431 | T_GLOBAL global_var_list ';' { $$ = $2; } 432 | T_STATIC static_var_list ';' { $$ = $2; } 433 | T_ECHO echo_expr_list ';' { $$ = $2; } 434 | T_INLINE_HTML { $$ = zend_ast_create(ZEND_AST_ECHO, $1); } 435 | expr ';' { $$ = $1; } 436 | T_UNSET '(' unset_variables ')' ';' { $$ = $3; } 437 | T_FOREACH '(' expr T_AS foreach_variable ')' foreach_statement 438 { $$ = zend_ast_create(ZEND_AST_FOREACH, $3, $5, NULL, $7); } 439 | T_FOREACH '(' expr T_AS foreach_variable T_DOUBLE_ARROW foreach_variable ')' 440 foreach_statement 441 { $$ = zend_ast_create(ZEND_AST_FOREACH, $3, $7, $5, $9); } 442 | T_DECLARE '(' const_list ')' 443 { zend_handle_encoding_declaration($3); } 444 declare_statement 445 { $$ = zend_ast_create(ZEND_AST_DECLARE, $3, $6); } 446 | ';' /* empty statement */ { $$ = NULL; } 447 | T_TRY '{' inner_statement_list '}' catch_list finally_statement 448 { $$ = zend_ast_create(ZEND_AST_TRY, $3, $5, $6); } 449 | T_THROW expr ';' { $$ = zend_ast_create(ZEND_AST_THROW, $2); } 450 | T_GOTO T_STRING ';' { $$ = zend_ast_create(ZEND_AST_GOTO, $2); } 451 | T_STRING ':' { $$ = zend_ast_create(ZEND_AST_LABEL, $1); } 452 ; 453 454 catch_list: 455 /* empty */ 456 { $$ = zend_ast_create_list(0, ZEND_AST_CATCH_LIST); } 457 | catch_list T_CATCH '(' name T_VARIABLE ')' '{' inner_statement_list '}' 458 { $$ = zend_ast_list_add($1, zend_ast_create(ZEND_AST_CATCH, $4, $5, $8)); } 459 ; 460 461 finally_statement: 462 /* empty */ { $$ = NULL; } 463 | T_FINALLY '{' inner_statement_list '}' { $$ = $3; } 464 ; 465 466 unset_variables: 467 unset_variable { $$ = zend_ast_create_list(1, ZEND_AST_STMT_LIST, $1); } 468 | unset_variables ',' unset_variable { $$ = zend_ast_list_add($1, $3); } 469 ; 470 471 unset_variable: 472 variable { $$ = zend_ast_create(ZEND_AST_UNSET, $1); } 473 ; 474 475 function_declaration_statement: 476 function returns_ref T_STRING backup_doc_comment '(' parameter_list ')' return_type 477 '{' inner_statement_list '}' 478 { $$ = zend_ast_create_decl(ZEND_AST_FUNC_DECL, $2, $1, $4, 479 zend_ast_get_str($3), $6, NULL, $10, $8); } 480 ; 481 482 is_reference: 483 /* empty */ { $$ = 0; } 484 | '&' { $$ = ZEND_PARAM_REF; } 485 ; 486 487 is_variadic: 488 /* empty */ { $$ = 0; } 489 | T_ELLIPSIS { $$ = ZEND_PARAM_VARIADIC; } 490 ; 491 492 class_declaration_statement: 493 class_modifiers T_CLASS { $<num>$ = CG(zend_lineno); } 494 T_STRING extends_from implements_list backup_doc_comment '{' class_statement_list '}' 495 { $$ = zend_ast_create_decl(ZEND_AST_CLASS, $1, $<num>3, $7, zend_ast_get_str($4), $5, $6, $9, NULL); } 496 | T_CLASS { $<num>$ = CG(zend_lineno); } 497 T_STRING extends_from implements_list backup_doc_comment '{' class_statement_list '}' 498 { $$ = zend_ast_create_decl(ZEND_AST_CLASS, 0, $<num>2, $6, zend_ast_get_str($3), $4, $5, $8, NULL); } 499 ; 500 501 class_modifiers: 502 class_modifier { $$ = $1; } 503 | class_modifiers class_modifier { $$ = zend_add_class_modifier($1, $2); } 504 ; 505 506 class_modifier: 507 T_ABSTRACT { $$ = ZEND_ACC_EXPLICIT_ABSTRACT_CLASS; } 508 | T_FINAL { $$ = ZEND_ACC_FINAL; } 509 ; 510 511 trait_declaration_statement: 512 T_TRAIT { $<num>$ = CG(zend_lineno); } 513 T_STRING backup_doc_comment '{' class_statement_list '}' 514 { $$ = zend_ast_create_decl(ZEND_AST_CLASS, ZEND_ACC_TRAIT, $<num>2, $4, zend_ast_get_str($3), NULL, NULL, $6, NULL); } 515 ; 516 517 interface_declaration_statement: 518 T_INTERFACE { $<num>$ = CG(zend_lineno); } 519 T_STRING interface_extends_list backup_doc_comment '{' class_statement_list '}' 520 { $$ = zend_ast_create_decl(ZEND_AST_CLASS, ZEND_ACC_INTERFACE, $<num>2, $5, zend_ast_get_str($3), NULL, $4, $7, NULL); } 521 ; 522 523 extends_from: 524 /* empty */ { $$ = NULL; } 525 | T_EXTENDS name { $$ = $2; } 526 ; 527 528 interface_extends_list: 529 /* empty */ { $$ = NULL; } 530 | T_EXTENDS name_list { $$ = $2; } 531 ; 532 533 implements_list: 534 /* empty */ { $$ = NULL; } 535 | T_IMPLEMENTS name_list { $$ = $2; } 536 ; 537 538 foreach_variable: 539 variable { $$ = $1; } 540 | '&' variable { $$ = zend_ast_create(ZEND_AST_REF, $2); } 541 | T_LIST '(' assignment_list ')' { $$ = $3; } 542 ; 543 544 for_statement: 545 statement { $$ = $1; } 546 | ':' inner_statement_list T_ENDFOR ';' { $$ = $2; } 547 ; 548 549 foreach_statement: 550 statement { $$ = $1; } 551 | ':' inner_statement_list T_ENDFOREACH ';' { $$ = $2; } 552 ; 553 554 declare_statement: 555 statement { $$ = $1; } 556 | ':' inner_statement_list T_ENDDECLARE ';' { $$ = $2; } 557 ; 558 559 switch_case_list: 560 '{' case_list '}' { $$ = $2; } 561 | '{' ';' case_list '}' { $$ = $3; } 562 | ':' case_list T_ENDSWITCH ';' { $$ = $2; } 563 | ':' ';' case_list T_ENDSWITCH ';' { $$ = $3; } 564 ; 565 566 case_list: 567 /* empty */ { $$ = zend_ast_create_list(0, ZEND_AST_SWITCH_LIST); } 568 | case_list T_CASE expr case_separator inner_statement_list 569 { $$ = zend_ast_list_add($1, zend_ast_create(ZEND_AST_SWITCH_CASE, $3, $5)); } 570 | case_list T_DEFAULT case_separator inner_statement_list 571 { $$ = zend_ast_list_add($1, zend_ast_create(ZEND_AST_SWITCH_CASE, NULL, $4)); } 572 ; 573 574 case_separator: 575 ':' 576 | ';' 577 ; 578 579 580 while_statement: 581 statement { $$ = $1; } 582 | ':' inner_statement_list T_ENDWHILE ';' { $$ = $2; } 583 ; 584 585 586 if_stmt_without_else: 587 T_IF '(' expr ')' statement 588 { $$ = zend_ast_create_list(1, ZEND_AST_IF, 589 zend_ast_create(ZEND_AST_IF_ELEM, $3, $5)); } 590 | if_stmt_without_else T_ELSEIF '(' expr ')' statement 591 { $$ = zend_ast_list_add($1, 592 zend_ast_create(ZEND_AST_IF_ELEM, $4, $6)); } 593 ; 594 595 if_stmt: 596 if_stmt_without_else %prec T_NOELSE { $$ = $1; } 597 | if_stmt_without_else T_ELSE statement 598 { $$ = zend_ast_list_add($1, zend_ast_create(ZEND_AST_IF_ELEM, NULL, $3)); } 599 ; 600 601 alt_if_stmt_without_else: 602 T_IF '(' expr ')' ':' inner_statement_list 603 { $$ = zend_ast_create_list(1, ZEND_AST_IF, 604 zend_ast_create(ZEND_AST_IF_ELEM, $3, $6)); } 605 | alt_if_stmt_without_else T_ELSEIF '(' expr ')' ':' inner_statement_list 606 { $$ = zend_ast_list_add($1, 607 zend_ast_create(ZEND_AST_IF_ELEM, $4, $7)); } 608 ; 609 610 alt_if_stmt: 611 alt_if_stmt_without_else T_ENDIF ';' { $$ = $1; } 612 | alt_if_stmt_without_else T_ELSE ':' inner_statement_list T_ENDIF ';' 613 { $$ = zend_ast_list_add($1, 614 zend_ast_create(ZEND_AST_IF_ELEM, NULL, $4)); } 615 ; 616 617 parameter_list: 618 non_empty_parameter_list { $$ = $1; } 619 | /* empty */ { $$ = zend_ast_create_list(0, ZEND_AST_PARAM_LIST); } 620 ; 621 622 623 non_empty_parameter_list: 624 parameter 625 { $$ = zend_ast_create_list(1, ZEND_AST_PARAM_LIST, $1); } 626 | non_empty_parameter_list ',' parameter 627 { $$ = zend_ast_list_add($1, $3); } 628 ; 629 630 parameter: 631 optional_type is_reference is_variadic T_VARIABLE 632 { $$ = zend_ast_create_ex(ZEND_AST_PARAM, $2 | $3, $1, $4, NULL); } 633 | optional_type is_reference is_variadic T_VARIABLE '=' expr 634 { $$ = zend_ast_create_ex(ZEND_AST_PARAM, $2 | $3, $1, $4, $6); } 635 ; 636 637 638 optional_type: 639 /* empty */ { $$ = NULL; } 640 | type { $$ = $1; } 641 ; 642 643 type: 644 T_ARRAY { $$ = zend_ast_create_ex(ZEND_AST_TYPE, IS_ARRAY); } 645 | T_CALLABLE { $$ = zend_ast_create_ex(ZEND_AST_TYPE, IS_CALLABLE); } 646 | name { $$ = $1; } 647 ; 648 649 return_type: 650 /* empty */ { $$ = NULL; } 651 | ':' type { $$ = $2; } 652 ; 653 654 argument_list: 655 '(' ')' { $$ = zend_ast_create_list(0, ZEND_AST_ARG_LIST); } 656 | '(' non_empty_argument_list ')' { $$ = $2; } 657 ; 658 659 non_empty_argument_list: 660 argument 661 { $$ = zend_ast_create_list(1, ZEND_AST_ARG_LIST, $1); } 662 | non_empty_argument_list ',' argument 663 { $$ = zend_ast_list_add($1, $3); } 664 ; 665 666 argument: 667 expr { $$ = $1; } 668 | T_ELLIPSIS expr { $$ = zend_ast_create(ZEND_AST_UNPACK, $2); } 669 ; 670 671 global_var_list: 672 global_var_list ',' global_var { $$ = zend_ast_list_add($1, $3); } 673 | global_var { $$ = zend_ast_create_list(1, ZEND_AST_STMT_LIST, $1); } 674 ; 675 676 global_var: 677 simple_variable 678 { $$ = zend_ast_create(ZEND_AST_GLOBAL, zend_ast_create(ZEND_AST_VAR, $1)); } 679 ; 680 681 682 static_var_list: 683 static_var_list ',' static_var { $$ = zend_ast_list_add($1, $3); } 684 | static_var { $$ = zend_ast_create_list(1, ZEND_AST_STMT_LIST, $1); } 685 ; 686 687 static_var: 688 T_VARIABLE { $$ = zend_ast_create(ZEND_AST_STATIC, $1, NULL); } 689 | T_VARIABLE '=' expr { $$ = zend_ast_create(ZEND_AST_STATIC, $1, $3); } 690 ; 691 692 693 class_statement_list: 694 class_statement_list class_statement 695 { $$ = zend_ast_list_add($1, $2); } 696 | /* empty */ 697 { $$ = zend_ast_create_list(0, ZEND_AST_STMT_LIST); } 698 ; 699 700 701 class_statement: 702 variable_modifiers property_list ';' 703 { $$ = $2; $$->attr = $1; } 704 | T_CONST class_const_list ';' 705 { $$ = $2; RESET_DOC_COMMENT(); } 706 | T_USE name_list trait_adaptations 707 { $$ = zend_ast_create(ZEND_AST_USE_TRAIT, $2, $3); } 708 | method_modifiers function returns_ref identifier backup_doc_comment '(' parameter_list ')' 709 return_type method_body 710 { $$ = zend_ast_create_decl(ZEND_AST_METHOD, $3 | $1, $2, $5, 711 zend_ast_get_str($4), $7, NULL, $10, $9); } 712 ; 713 714 name_list: 715 name { $$ = zend_ast_create_list(1, ZEND_AST_NAME_LIST, $1); } 716 | name_list ',' name { $$ = zend_ast_list_add($1, $3); } 717 ; 718 719 trait_adaptations: 720 ';' { $$ = NULL; } 721 | '{' '}' { $$ = NULL; } 722 | '{' trait_adaptation_list '}' { $$ = $2; } 723 ; 724 725 trait_adaptation_list: 726 trait_adaptation 727 { $$ = zend_ast_create_list(1, ZEND_AST_TRAIT_ADAPTATIONS, $1); } 728 | trait_adaptation_list trait_adaptation 729 { $$ = zend_ast_list_add($1, $2); } 730 ; 731 732 trait_adaptation: 733 trait_precedence ';' { $$ = $1; } 734 | trait_alias ';' { $$ = $1; } 735 ; 736 737 trait_precedence: 738 absolute_trait_method_reference T_INSTEADOF name_list 739 { $$ = zend_ast_create(ZEND_AST_TRAIT_PRECEDENCE, $1, $3); } 740 ; 741 742 trait_alias: 743 trait_method_reference T_AS T_STRING 744 { $$ = zend_ast_create_ex(ZEND_AST_TRAIT_ALIAS, 0, $1, $3); } 745 | trait_method_reference T_AS reserved_non_modifiers 746 { zval zv; zend_lex_tstring(&zv); $$ = zend_ast_create_ex(ZEND_AST_TRAIT_ALIAS, 0, $1, zend_ast_create_zval(&zv)); } 747 | trait_method_reference T_AS member_modifier identifier 748 { $$ = zend_ast_create_ex(ZEND_AST_TRAIT_ALIAS, $3, $1, $4); } 749 | trait_method_reference T_AS member_modifier 750 { $$ = zend_ast_create_ex(ZEND_AST_TRAIT_ALIAS, $3, $1, NULL); } 751 ; 752 753 trait_method_reference: 754 identifier 755 { $$ = zend_ast_create(ZEND_AST_METHOD_REFERENCE, NULL, $1); } 756 | absolute_trait_method_reference { $$ = $1; } 757 ; 758 759 absolute_trait_method_reference: 760 name T_PAAMAYIM_NEKUDOTAYIM identifier 761 { $$ = zend_ast_create(ZEND_AST_METHOD_REFERENCE, $1, $3); } 762 ; 763 764 method_body: 765 ';' /* abstract method */ { $$ = NULL; } 766 | '{' inner_statement_list '}' { $$ = $2; } 767 ; 768 769 variable_modifiers: 770 non_empty_member_modifiers { $$ = $1; } 771 | T_VAR { $$ = ZEND_ACC_PUBLIC; } 772 ; 773 774 method_modifiers: 775 /* empty */ { $$ = ZEND_ACC_PUBLIC; } 776 | non_empty_member_modifiers 777 { $$ = $1; if (!($$ & ZEND_ACC_PPP_MASK)) { $$ |= ZEND_ACC_PUBLIC; } } 778 ; 779 780 non_empty_member_modifiers: 781 member_modifier { $$ = $1; } 782 | non_empty_member_modifiers member_modifier 783 { $$ = zend_add_member_modifier($1, $2); } 784 ; 785 786 member_modifier: 787 T_PUBLIC { $$ = ZEND_ACC_PUBLIC; } 788 | T_PROTECTED { $$ = ZEND_ACC_PROTECTED; } 789 | T_PRIVATE { $$ = ZEND_ACC_PRIVATE; } 790 | T_STATIC { $$ = ZEND_ACC_STATIC; } 791 | T_ABSTRACT { $$ = ZEND_ACC_ABSTRACT; } 792 | T_FINAL { $$ = ZEND_ACC_FINAL; } 793 ; 794 795 property_list: 796 property_list ',' property { $$ = zend_ast_list_add($1, $3); } 797 | property { $$ = zend_ast_create_list(1, ZEND_AST_PROP_DECL, $1); } 798 ; 799 800 property: 801 T_VARIABLE backup_doc_comment 802 { $$ = zend_ast_create(ZEND_AST_PROP_ELEM, $1, NULL, ($2 ? zend_ast_create_zval_from_str($2) : NULL)); } 803 | T_VARIABLE '=' expr backup_doc_comment 804 { $$ = zend_ast_create(ZEND_AST_PROP_ELEM, $1, $3, ($4 ? zend_ast_create_zval_from_str($4) : NULL)); } 805 ; 806 807 class_const_list: 808 class_const_list ',' class_const_decl { $$ = zend_ast_list_add($1, $3); } 809 | class_const_decl { $$ = zend_ast_create_list(1, ZEND_AST_CLASS_CONST_DECL, $1); } 810 ; 811 812 class_const_decl: 813 identifier '=' expr { $$ = zend_ast_create(ZEND_AST_CONST_ELEM, $1, $3); } 814 ; 815 816 const_decl: 817 T_STRING '=' expr { $$ = zend_ast_create(ZEND_AST_CONST_ELEM, $1, $3); } 818 ; 819 820 echo_expr_list: 821 echo_expr_list ',' echo_expr { $$ = zend_ast_list_add($1, $3); } 822 | echo_expr { $$ = zend_ast_create_list(1, ZEND_AST_STMT_LIST, $1); } 823 ; 824 echo_expr: 825 expr { $$ = zend_ast_create(ZEND_AST_ECHO, $1); } 826 ; 827 828 for_exprs: 829 /* empty */ { $$ = NULL; } 830 | non_empty_for_exprs { $$ = $1; } 831 ; 832 833 non_empty_for_exprs: 834 non_empty_for_exprs ',' expr { $$ = zend_ast_list_add($1, $3); } 835 | expr { $$ = zend_ast_create_list(1, ZEND_AST_EXPR_LIST, $1); } 836 ; 837 838 anonymous_class: 839 T_CLASS { $<num>$ = CG(zend_lineno); } ctor_arguments 840 extends_from implements_list backup_doc_comment '{' class_statement_list '}' { 841 zend_ast *decl = zend_ast_create_decl( 842 ZEND_AST_CLASS, ZEND_ACC_ANON_CLASS, $<num>2, $6, NULL, 843 $4, $5, $8, NULL); 844 $$ = zend_ast_create(ZEND_AST_NEW, decl, $3); 845 } 846 ; 847 848 new_expr: 849 T_NEW class_name_reference ctor_arguments 850 { $$ = zend_ast_create(ZEND_AST_NEW, $2, $3); } 851 | T_NEW anonymous_class 852 { $$ = $2; } 853 ; 854 855 expr_without_variable: 856 T_LIST '(' assignment_list ')' '=' expr 857 { $$ = zend_ast_create(ZEND_AST_ASSIGN, $3, $6); } 858 | variable '=' expr 859 { $$ = zend_ast_create(ZEND_AST_ASSIGN, $1, $3); } 860 | variable '=' '&' variable 861 { $$ = zend_ast_create(ZEND_AST_ASSIGN_REF, $1, $4); } 862 | T_CLONE expr { $$ = zend_ast_create(ZEND_AST_CLONE, $2); } 863 | variable T_PLUS_EQUAL expr 864 { $$ = zend_ast_create_assign_op(ZEND_ASSIGN_ADD, $1, $3); } 865 | variable T_MINUS_EQUAL expr 866 { $$ = zend_ast_create_assign_op(ZEND_ASSIGN_SUB, $1, $3); } 867 | variable T_MUL_EQUAL expr 868 { $$ = zend_ast_create_assign_op(ZEND_ASSIGN_MUL, $1, $3); } 869 | variable T_POW_EQUAL expr 870 { $$ = zend_ast_create_assign_op(ZEND_ASSIGN_POW, $1, $3); } 871 | variable T_DIV_EQUAL expr 872 { $$ = zend_ast_create_assign_op(ZEND_ASSIGN_DIV, $1, $3); } 873 | variable T_CONCAT_EQUAL expr 874 { $$ = zend_ast_create_assign_op(ZEND_ASSIGN_CONCAT, $1, $3); } 875 | variable T_MOD_EQUAL expr 876 { $$ = zend_ast_create_assign_op(ZEND_ASSIGN_MOD, $1, $3); } 877 | variable T_AND_EQUAL expr 878 { $$ = zend_ast_create_assign_op(ZEND_ASSIGN_BW_AND, $1, $3); } 879 | variable T_OR_EQUAL expr 880 { $$ = zend_ast_create_assign_op(ZEND_ASSIGN_BW_OR, $1, $3); } 881 | variable T_XOR_EQUAL expr 882 { $$ = zend_ast_create_assign_op(ZEND_ASSIGN_BW_XOR, $1, $3); } 883 | variable T_SL_EQUAL expr 884 { $$ = zend_ast_create_assign_op(ZEND_ASSIGN_SL, $1, $3); } 885 | variable T_SR_EQUAL expr 886 { $$ = zend_ast_create_assign_op(ZEND_ASSIGN_SR, $1, $3); } 887 | variable T_INC { $$ = zend_ast_create(ZEND_AST_POST_INC, $1); } 888 | T_INC variable { $$ = zend_ast_create(ZEND_AST_PRE_INC, $2); } 889 | variable T_DEC { $$ = zend_ast_create(ZEND_AST_POST_DEC, $1); } 890 | T_DEC variable { $$ = zend_ast_create(ZEND_AST_PRE_DEC, $2); } 891 | expr T_BOOLEAN_OR expr 892 { $$ = zend_ast_create(ZEND_AST_OR, $1, $3); } 893 | expr T_BOOLEAN_AND expr 894 { $$ = zend_ast_create(ZEND_AST_AND, $1, $3); } 895 | expr T_LOGICAL_OR expr 896 { $$ = zend_ast_create(ZEND_AST_OR, $1, $3); } 897 | expr T_LOGICAL_AND expr 898 { $$ = zend_ast_create(ZEND_AST_AND, $1, $3); } 899 | expr T_LOGICAL_XOR expr 900 { $$ = zend_ast_create_binary_op(ZEND_BOOL_XOR, $1, $3); } 901 | expr '|' expr { $$ = zend_ast_create_binary_op(ZEND_BW_OR, $1, $3); } 902 | expr '&' expr { $$ = zend_ast_create_binary_op(ZEND_BW_AND, $1, $3); } 903 | expr '^' expr { $$ = zend_ast_create_binary_op(ZEND_BW_XOR, $1, $3); } 904 | expr '.' expr { $$ = zend_ast_create_binary_op(ZEND_CONCAT, $1, $3); } 905 | expr '+' expr { $$ = zend_ast_create_binary_op(ZEND_ADD, $1, $3); } 906 | expr '-' expr { $$ = zend_ast_create_binary_op(ZEND_SUB, $1, $3); } 907 | expr '*' expr { $$ = zend_ast_create_binary_op(ZEND_MUL, $1, $3); } 908 | expr T_POW expr { $$ = zend_ast_create_binary_op(ZEND_POW, $1, $3); } 909 | expr '/' expr { $$ = zend_ast_create_binary_op(ZEND_DIV, $1, $3); } 910 | expr '%' expr { $$ = zend_ast_create_binary_op(ZEND_MOD, $1, $3); } 911 | expr T_SL expr { $$ = zend_ast_create_binary_op(ZEND_SL, $1, $3); } 912 | expr T_SR expr { $$ = zend_ast_create_binary_op(ZEND_SR, $1, $3); } 913 | '+' expr %prec T_INC { $$ = zend_ast_create(ZEND_AST_UNARY_PLUS, $2); } 914 | '-' expr %prec T_INC { $$ = zend_ast_create(ZEND_AST_UNARY_MINUS, $2); } 915 | '!' expr { $$ = zend_ast_create_ex(ZEND_AST_UNARY_OP, ZEND_BOOL_NOT, $2); } 916 | '~' expr { $$ = zend_ast_create_ex(ZEND_AST_UNARY_OP, ZEND_BW_NOT, $2); } 917 | expr T_IS_IDENTICAL expr 918 { $$ = zend_ast_create_binary_op(ZEND_IS_IDENTICAL, $1, $3); } 919 | expr T_IS_NOT_IDENTICAL expr 920 { $$ = zend_ast_create_binary_op(ZEND_IS_NOT_IDENTICAL, $1, $3); } 921 | expr T_IS_EQUAL expr 922 { $$ = zend_ast_create_binary_op(ZEND_IS_EQUAL, $1, $3); } 923 | expr T_IS_NOT_EQUAL expr 924 { $$ = zend_ast_create_binary_op(ZEND_IS_NOT_EQUAL, $1, $3); } 925 | expr '<' expr 926 { $$ = zend_ast_create_binary_op(ZEND_IS_SMALLER, $1, $3); } 927 | expr T_IS_SMALLER_OR_EQUAL expr 928 { $$ = zend_ast_create_binary_op(ZEND_IS_SMALLER_OR_EQUAL, $1, $3); } 929 | expr '>' expr 930 { $$ = zend_ast_create(ZEND_AST_GREATER, $1, $3); } 931 | expr T_IS_GREATER_OR_EQUAL expr 932 { $$ = zend_ast_create(ZEND_AST_GREATER_EQUAL, $1, $3); } 933 | expr T_SPACESHIP expr 934 { $$ = zend_ast_create_binary_op(ZEND_SPACESHIP, $1, $3); } 935 | expr T_INSTANCEOF class_name_reference 936 { $$ = zend_ast_create(ZEND_AST_INSTANCEOF, $1, $3); } 937 | '(' expr ')' { $$ = $2; } 938 | new_expr { $$ = $1; } 939 | expr '?' expr ':' expr 940 { $$ = zend_ast_create(ZEND_AST_CONDITIONAL, $1, $3, $5); } 941 | expr '?' ':' expr 942 { $$ = zend_ast_create(ZEND_AST_CONDITIONAL, $1, NULL, $4); } 943 | expr T_COALESCE expr 944 { $$ = zend_ast_create(ZEND_AST_COALESCE, $1, $3); } 945 | internal_functions_in_yacc { $$ = $1; } 946 | T_INT_CAST expr { $$ = zend_ast_create_cast(IS_LONG, $2); } 947 | T_DOUBLE_CAST expr { $$ = zend_ast_create_cast(IS_DOUBLE, $2); } 948 | T_STRING_CAST expr { $$ = zend_ast_create_cast(IS_STRING, $2); } 949 | T_ARRAY_CAST expr { $$ = zend_ast_create_cast(IS_ARRAY, $2); } 950 | T_OBJECT_CAST expr { $$ = zend_ast_create_cast(IS_OBJECT, $2); } 951 | T_BOOL_CAST expr { $$ = zend_ast_create_cast(_IS_BOOL, $2); } 952 | T_UNSET_CAST expr { $$ = zend_ast_create_cast(IS_NULL, $2); } 953 | T_EXIT exit_expr { $$ = zend_ast_create(ZEND_AST_EXIT, $2); } 954 | '@' expr { $$ = zend_ast_create(ZEND_AST_SILENCE, $2); } 955 | scalar { $$ = $1; } 956 | '`' backticks_expr '`' { $$ = zend_ast_create(ZEND_AST_SHELL_EXEC, $2); } 957 | T_PRINT expr { $$ = zend_ast_create(ZEND_AST_PRINT, $2); } 958 | T_YIELD { $$ = zend_ast_create(ZEND_AST_YIELD, NULL, NULL); } 959 | T_YIELD expr { $$ = zend_ast_create(ZEND_AST_YIELD, $2, NULL); } 960 | T_YIELD expr T_DOUBLE_ARROW expr { $$ = zend_ast_create(ZEND_AST_YIELD, $4, $2); } 961 | T_YIELD_FROM expr { $$ = zend_ast_create(ZEND_AST_YIELD_FROM, $2); } 962 | function returns_ref backup_doc_comment '(' parameter_list ')' lexical_vars return_type 963 '{' inner_statement_list '}' 964 { $$ = zend_ast_create_decl(ZEND_AST_CLOSURE, $2, $1, $3, 965 zend_string_init("{closure}", sizeof("{closure}") - 1, 0), 966 $5, $7, $10, $8); } 967 | T_STATIC function returns_ref backup_doc_comment '(' parameter_list ')' lexical_vars 968 return_type '{' inner_statement_list '}' 969 { $$ = zend_ast_create_decl(ZEND_AST_CLOSURE, $3 | ZEND_ACC_STATIC, $2, $4, 970 zend_string_init("{closure}", sizeof("{closure}") - 1, 0), 971 $6, $8, $11, $9); } 972 ; 973 974 function: 975 T_FUNCTION { $$ = CG(zend_lineno); } 976 ; 977 978 backup_doc_comment: 979 /* empty */ { $$ = CG(doc_comment); CG(doc_comment) = NULL; } 980 ; 981 982 returns_ref: 983 /* empty */ { $$ = 0; } 984 | '&' { $$ = ZEND_ACC_RETURN_REFERENCE; } 985 ; 986 987 lexical_vars: 988 /* empty */ { $$ = NULL; } 989 | T_USE '(' lexical_var_list ')' { $$ = $3; } 990 ; 991 992 lexical_var_list: 993 lexical_var_list ',' lexical_var { $$ = zend_ast_list_add($1, $3); } 994 | lexical_var { $$ = zend_ast_create_list(1, ZEND_AST_CLOSURE_USES, $1); } 995 ; 996 997 lexical_var: 998 T_VARIABLE { $$ = $1; } 999 | '&' T_VARIABLE { $$ = $2; $$->attr = 1; } 1000 ; 1001 1002 function_call: 1003 name argument_list 1004 { $$ = zend_ast_create(ZEND_AST_CALL, $1, $2); } 1005 | class_name T_PAAMAYIM_NEKUDOTAYIM member_name argument_list 1006 { $$ = zend_ast_create(ZEND_AST_STATIC_CALL, $1, $3, $4); } 1007 | variable_class_name T_PAAMAYIM_NEKUDOTAYIM member_name argument_list 1008 { $$ = zend_ast_create(ZEND_AST_STATIC_CALL, $1, $3, $4); } 1009 | callable_expr argument_list 1010 { $$ = zend_ast_create(ZEND_AST_CALL, $1, $2); } 1011 ; 1012 1013 class_name: 1014 T_STATIC 1015 { zval zv; ZVAL_STRINGL(&zv, "static", sizeof("static")-1); 1016 $$ = zend_ast_create_zval_ex(&zv, ZEND_NAME_NOT_FQ); } 1017 | name { $$ = $1; } 1018 ; 1019 1020 class_name_reference: 1021 class_name { $$ = $1; } 1022 | new_variable { $$ = $1; } 1023 ; 1024 1025 exit_expr: 1026 /* empty */ { $$ = NULL; } 1027 | '(' optional_expr ')' { $$ = $2; } 1028 ; 1029 1030 backticks_expr: 1031 /* empty */ 1032 { $$ = zend_ast_create_zval_from_str(ZSTR_EMPTY_ALLOC()); } 1033 | T_ENCAPSED_AND_WHITESPACE { $$ = $1; } 1034 | encaps_list { $$ = $1; } 1035 ; 1036 1037 1038 ctor_arguments: 1039 /* empty */ { $$ = zend_ast_create_list(0, ZEND_AST_ARG_LIST); } 1040 | argument_list { $$ = $1; } 1041 ; 1042 1043 1044 dereferencable_scalar: 1045 T_ARRAY '(' array_pair_list ')' { $$ = $3; } 1046 | '[' array_pair_list ']' { $$ = $2; } 1047 | T_CONSTANT_ENCAPSED_STRING { $$ = $1; } 1048 ; 1049 1050 scalar: 1051 T_LNUMBER { $$ = $1; } 1052 | T_DNUMBER { $$ = $1; } 1053 | T_LINE { $$ = zend_ast_create_ex(ZEND_AST_MAGIC_CONST, T_LINE); } 1054 | T_FILE { $$ = zend_ast_create_ex(ZEND_AST_MAGIC_CONST, T_FILE); } 1055 | T_DIR { $$ = zend_ast_create_ex(ZEND_AST_MAGIC_CONST, T_DIR); } 1056 | T_TRAIT_C { $$ = zend_ast_create_ex(ZEND_AST_MAGIC_CONST, T_TRAIT_C); } 1057 | T_METHOD_C { $$ = zend_ast_create_ex(ZEND_AST_MAGIC_CONST, T_METHOD_C); } 1058 | T_FUNC_C { $$ = zend_ast_create_ex(ZEND_AST_MAGIC_CONST, T_FUNC_C); } 1059 | T_NS_C { $$ = zend_ast_create_ex(ZEND_AST_MAGIC_CONST, T_NS_C); } 1060 | T_CLASS_C { $$ = zend_ast_create_ex(ZEND_AST_MAGIC_CONST, T_CLASS_C); } 1061 | T_START_HEREDOC T_ENCAPSED_AND_WHITESPACE T_END_HEREDOC { $$ = $2; } 1062 | T_START_HEREDOC T_END_HEREDOC 1063 { $$ = zend_ast_create_zval_from_str(ZSTR_EMPTY_ALLOC()); } 1064 | '"' encaps_list '"' { $$ = $2; } 1065 | T_START_HEREDOC encaps_list T_END_HEREDOC { $$ = $2; } 1066 | dereferencable_scalar { $$ = $1; } 1067 | constant { $$ = $1; } 1068 ; 1069 1070 constant: 1071 name { $$ = zend_ast_create(ZEND_AST_CONST, $1); } 1072 | class_name T_PAAMAYIM_NEKUDOTAYIM identifier 1073 { $$ = zend_ast_create(ZEND_AST_CLASS_CONST, $1, $3); } 1074 | variable_class_name T_PAAMAYIM_NEKUDOTAYIM identifier 1075 { $$ = zend_ast_create(ZEND_AST_CLASS_CONST, $1, $3); } 1076 ; 1077 1078 possible_comma: 1079 /* empty */ 1080 | ',' 1081 ; 1082 1083 expr: 1084 variable { $$ = $1; } 1085 | expr_without_variable { $$ = $1; } 1086 ; 1087 1088 optional_expr: 1089 /* empty */ { $$ = NULL; } 1090 | expr { $$ = $1; } 1091 ; 1092 1093 variable_class_name: 1094 dereferencable { $$ = $1; } 1095 ; 1096 1097 dereferencable: 1098 variable { $$ = $1; } 1099 | '(' expr ')' { $$ = $2; } 1100 | dereferencable_scalar { $$ = $1; } 1101 ; 1102 1103 callable_expr: 1104 callable_variable { $$ = $1; } 1105 | '(' expr ')' { $$ = $2; } 1106 | dereferencable_scalar { $$ = $1; } 1107 ; 1108 1109 callable_variable: 1110 simple_variable 1111 { $$ = zend_ast_create(ZEND_AST_VAR, $1); } 1112 | dereferencable '[' optional_expr ']' 1113 { $$ = zend_ast_create(ZEND_AST_DIM, $1, $3); } 1114 | constant '[' optional_expr ']' 1115 { $$ = zend_ast_create(ZEND_AST_DIM, $1, $3); } 1116 | dereferencable '{' expr '}' 1117 { $$ = zend_ast_create(ZEND_AST_DIM, $1, $3); } 1118 | dereferencable T_OBJECT_OPERATOR property_name argument_list 1119 { $$ = zend_ast_create(ZEND_AST_METHOD_CALL, $1, $3, $4); } 1120 | function_call { $$ = $1; } 1121 ; 1122 1123 variable: 1124 callable_variable 1125 { $$ = $1; } 1126 | static_member 1127 { $$ = $1; } 1128 | dereferencable T_OBJECT_OPERATOR property_name 1129 { $$ = zend_ast_create(ZEND_AST_PROP, $1, $3); } 1130 ; 1131 1132 simple_variable: 1133 T_VARIABLE { $$ = $1; } 1134 | '$' '{' expr '}' { $$ = $3; } 1135 | '$' simple_variable { $$ = zend_ast_create(ZEND_AST_VAR, $2); } 1136 ; 1137 1138 static_member: 1139 class_name T_PAAMAYIM_NEKUDOTAYIM simple_variable 1140 { $$ = zend_ast_create(ZEND_AST_STATIC_PROP, $1, $3); } 1141 | variable_class_name T_PAAMAYIM_NEKUDOTAYIM simple_variable 1142 { $$ = zend_ast_create(ZEND_AST_STATIC_PROP, $1, $3); } 1143 ; 1144 1145 new_variable: 1146 simple_variable 1147 { $$ = zend_ast_create(ZEND_AST_VAR, $1); } 1148 | new_variable '[' optional_expr ']' 1149 { $$ = zend_ast_create(ZEND_AST_DIM, $1, $3); } 1150 | new_variable '{' expr '}' 1151 { $$ = zend_ast_create(ZEND_AST_DIM, $1, $3); } 1152 | new_variable T_OBJECT_OPERATOR property_name 1153 { $$ = zend_ast_create(ZEND_AST_PROP, $1, $3); } 1154 | class_name T_PAAMAYIM_NEKUDOTAYIM simple_variable 1155 { $$ = zend_ast_create(ZEND_AST_STATIC_PROP, $1, $3); } 1156 | new_variable T_PAAMAYIM_NEKUDOTAYIM simple_variable 1157 { $$ = zend_ast_create(ZEND_AST_STATIC_PROP, $1, $3); } 1158 ; 1159 1160 member_name: 1161 identifier { $$ = $1; } 1162 | '{' expr '}' { $$ = $2; } 1163 | simple_variable { $$ = zend_ast_create(ZEND_AST_VAR, $1); } 1164 ; 1165 1166 property_name: 1167 T_STRING { $$ = $1; } 1168 | '{' expr '}' { $$ = $2; } 1169 | simple_variable { $$ = zend_ast_create(ZEND_AST_VAR, $1); } 1170 ; 1171 1172 assignment_list: 1173 assignment_list ',' assignment_list_element 1174 { $$ = zend_ast_list_add($1, $3); } 1175 | assignment_list_element 1176 { $$ = zend_ast_create_list(1, ZEND_AST_LIST, $1); } 1177 ; 1178 1179 assignment_list_element: 1180 variable { $$ = $1; } 1181 | T_LIST '(' assignment_list ')' { $$ = $3; } 1182 | /* empty */ { $$ = NULL; } 1183 ; 1184 1185 1186 array_pair_list: 1187 /* empty */ { $$ = zend_ast_create_list(0, ZEND_AST_ARRAY); } 1188 | non_empty_array_pair_list possible_comma { $$ = $1; } 1189 ; 1190 1191 non_empty_array_pair_list: 1192 non_empty_array_pair_list ',' array_pair 1193 { $$ = zend_ast_list_add($1, $3); } 1194 | array_pair 1195 { $$ = zend_ast_create_list(1, ZEND_AST_ARRAY, $1); } 1196 ; 1197 1198 array_pair: 1199 expr T_DOUBLE_ARROW expr 1200 { $$ = zend_ast_create(ZEND_AST_ARRAY_ELEM, $3, $1); } 1201 | expr { $$ = zend_ast_create(ZEND_AST_ARRAY_ELEM, $1, NULL); } 1202 | expr T_DOUBLE_ARROW '&' variable 1203 { $$ = zend_ast_create_ex(ZEND_AST_ARRAY_ELEM, 1, $4, $1); } 1204 | '&' variable 1205 { $$ = zend_ast_create_ex(ZEND_AST_ARRAY_ELEM, 1, $2, NULL); } 1206 ; 1207 1208 encaps_list: 1209 encaps_list encaps_var 1210 { $$ = zend_ast_list_add($1, $2); } 1211 | encaps_list T_ENCAPSED_AND_WHITESPACE 1212 { $$ = zend_ast_list_add($1, $2); } 1213 | encaps_var 1214 { $$ = zend_ast_create_list(1, ZEND_AST_ENCAPS_LIST, $1); } 1215 | T_ENCAPSED_AND_WHITESPACE encaps_var 1216 { $$ = zend_ast_create_list(2, ZEND_AST_ENCAPS_LIST, $1, $2); } 1217 ; 1218 1219 encaps_var: 1220 T_VARIABLE 1221 { $$ = zend_ast_create(ZEND_AST_VAR, $1); } 1222 | T_VARIABLE '[' encaps_var_offset ']' 1223 { $$ = zend_ast_create(ZEND_AST_DIM, 1224 zend_ast_create(ZEND_AST_VAR, $1), $3); } 1225 | T_VARIABLE T_OBJECT_OPERATOR T_STRING 1226 { $$ = zend_ast_create(ZEND_AST_PROP, 1227 zend_ast_create(ZEND_AST_VAR, $1), $3); } 1228 | T_DOLLAR_OPEN_CURLY_BRACES expr '}' 1229 { $$ = zend_ast_create(ZEND_AST_VAR, $2); } 1230 | T_DOLLAR_OPEN_CURLY_BRACES T_STRING_VARNAME '}' 1231 { $$ = zend_ast_create(ZEND_AST_VAR, $2); } 1232 | T_DOLLAR_OPEN_CURLY_BRACES T_STRING_VARNAME '[' expr ']' '}' 1233 { $$ = zend_ast_create(ZEND_AST_DIM, 1234 zend_ast_create(ZEND_AST_VAR, $2), $4); } 1235 | T_CURLY_OPEN variable '}' { $$ = $2; } 1236 ; 1237 1238 encaps_var_offset: 1239 T_STRING { $$ = $1; } 1240 | T_NUM_STRING { $$ = $1; } 1241 | T_VARIABLE { $$ = zend_ast_create(ZEND_AST_VAR, $1); } 1242 ; 1243 1244 1245 internal_functions_in_yacc: 1246 T_ISSET '(' isset_variables ')' { $$ = $3; } 1247 | T_EMPTY '(' expr ')' { $$ = zend_ast_create(ZEND_AST_EMPTY, $3); } 1248 | T_INCLUDE expr 1249 { $$ = zend_ast_create_ex(ZEND_AST_INCLUDE_OR_EVAL, ZEND_INCLUDE, $2); } 1250 | T_INCLUDE_ONCE expr 1251 { $$ = zend_ast_create_ex(ZEND_AST_INCLUDE_OR_EVAL, ZEND_INCLUDE_ONCE, $2); } 1252 | T_EVAL '(' expr ')' 1253 { $$ = zend_ast_create_ex(ZEND_AST_INCLUDE_OR_EVAL, ZEND_EVAL, $3); } 1254 | T_REQUIRE expr 1255 { $$ = zend_ast_create_ex(ZEND_AST_INCLUDE_OR_EVAL, ZEND_REQUIRE, $2); } 1256 | T_REQUIRE_ONCE expr 1257 { $$ = zend_ast_create_ex(ZEND_AST_INCLUDE_OR_EVAL, ZEND_REQUIRE_ONCE, $2); } 1258 ; 1259 1260 isset_variables: 1261 isset_variable { $$ = $1; } 1262 | isset_variables ',' isset_variable 1263 { $$ = zend_ast_create(ZEND_AST_AND, $1, $3); } 1264 ; 1265 1266 isset_variable: 1267 expr { $$ = zend_ast_create(ZEND_AST_ISSET, $1); } 1268 ; 1269 1270 %% 1271 1272 /* Copy to YYRES the contents of YYSTR after stripping away unnecessary 1273 quotes and backslashes, so that it's suitable for yyerror. The 1274 heuristic is that double-quoting is unnecessary unless the string 1275 contains an apostrophe, a comma, or backslash (other than 1276 backslash-backslash). YYSTR is taken from yytname. If YYRES is 1277 null, do not copy; instead, return the length of what the result 1278 would have been. */ 1279 static YYSIZE_T zend_yytnamerr(char *yyres, const char *yystr) 1280 { 1281 /* CG(parse_error) states: 1282 * 0 => yyres = NULL, yystr is the unexpected token 1283 * 1 => yyres = NULL, yystr is one of the expected tokens 1284 * 2 => yyres != NULL, yystr is the unexpected token 1285 * 3 => yyres != NULL, yystr is one of the expected tokens 1286 */ 1287 if (yyres && CG(parse_error) < 2) { 1288 CG(parse_error) = 2; 1289 } 1290 1291 if (CG(parse_error) % 2 == 0) { 1292 /* The unexpected token */ 1293 char buffer[120]; 1294 const unsigned char *end, *str, *tok1 = NULL, *tok2 = NULL; 1295 unsigned int len = 0, toklen = 0, yystr_len; 1296 1297 CG(parse_error)++; 1298 1299 if (LANG_SCNG(yy_text)[0] == 0 && 1300 LANG_SCNG(yy_leng) == 1 && 1301 memcmp(yystr, "\"end of file\"", sizeof("\"end of file\"") - 1) == 0) { 1302 if (yyres) { 1303 yystpcpy(yyres, "end of file"); 1304 } 1305 return sizeof("end of file")-1; 1306 } 1307 1308 str = LANG_SCNG(yy_text); 1309 end = memchr(str, '\n', LANG_SCNG(yy_leng)); 1310 yystr_len = (unsigned int)yystrlen(yystr); 1311 1312 if ((tok1 = memchr(yystr, '(', yystr_len)) != NULL 1313 && (tok2 = zend_memrchr(yystr, ')', yystr_len)) != NULL) { 1314 toklen = (tok2 - tok1) + 1; 1315 } else { 1316 tok1 = tok2 = NULL; 1317 toklen = 0; 1318 } 1319 1320 if (end == NULL) { 1321 len = LANG_SCNG(yy_leng) > 30 ? 30 : LANG_SCNG(yy_leng); 1322 } else { 1323 len = (end - str) > 30 ? 30 : (end - str); 1324 } 1325 if (yyres) { 1326 if (toklen) { 1327 snprintf(buffer, sizeof(buffer), "'%.*s' %.*s", len, str, toklen, tok1); 1328 } else { 1329 snprintf(buffer, sizeof(buffer), "'%.*s'", len, str); 1330 } 1331 yystpcpy(yyres, buffer); 1332 } 1333 return len + (toklen ? toklen + 1 : 0) + 2; 1334 } 1335 1336 /* One of the expected tokens */ 1337 if (!yyres) { 1338 return yystrlen(yystr) - (*yystr == '"' ? 2 : 0); 1339 } 1340 1341 if (*yystr == '"') { 1342 YYSIZE_T yyn = 0; 1343 const char *yyp = yystr; 1344 1345 for (; *++yyp != '"'; ++yyn) { 1346 yyres[yyn] = *yyp; 1347 } 1348 yyres[yyn] = '\0'; 1349 return yyn; 1350 } 1351 yystpcpy(yyres, yystr); 1352 return strlen(yystr); 1353 } 1354 1355 /* 1356 * Local variables: 1357 * tab-width: 4 1358 * c-basic-offset: 4 1359 * indent-tabs-mode: t 1360 * End: 1361 */ 1362
