Allow root compound patterns without parens

Author: iluuu1994

Zend/tests/pattern_matching/is/and.phpt

@@ -8,13 +8,13 @@ interface B {}
 interface C {}
 class Foo implements A, B {}
 
-var_dump(1 is (int&1));
-var_dump(2 is (int&(1|2)));
-var_dump(3 is (float&1));
-var_dump(4 is (int&float));
-var_dump([] is ([]&[...]));
-var_dump('foo' is (string&'bar'));
-var_dump(new Foo() is (A&B));
+var_dump(1 is int & 1);
+var_dump(2 is int & (1|2));
+var_dump(3 is float & 1);
+var_dump(4 is int & float);
+var_dump([] is [] & [...]);
+var_dump('foo' is string & 'bar');
+var_dump(new Foo() is A&B);
 var_dump(new Foo() is (A&C));
 
 ?>

Zend/tests/pattern_matching/is/or.phpt

@@ -3,13 +3,14 @@ Or pattern
 --FILE--
 <?php
 
-var_dump(1 is (1|2|3));
-var_dump(2 is (1|2|3));
-var_dump(3 is (1|2|3));
-var_dump(4 is (1|2|3));
-var_dump(null is (1|2|3));
-var_dump([] is (1|2|3));
+var_dump(1 is 1|2|3);
+var_dump(2 is 1|2|3);
+var_dump(3 is 1|2|3);
+var_dump(4 is 1|2|3);
+var_dump(null is 1|2|3);
+var_dump([] is 1|2|3);
 var_dump('hello world' is (1|2|3));
+var_dump('hello world' is 1|2|3 === false);
 
 ?>
 --EXPECT--
@@ -20,3 +21,4 @@ bool(false)
 bool(false)
 bool(false)
 bool(false)
+bool(true)

Zend/zend_language_parser.y

@@ -52,6 +52,7 @@ static YYSIZE_T zend_yytnamerr(char*, const char*);
 %destructor { if ($$) zend_string_release_ex($$, 0); } <str>
 
 %precedence T_THROW
+%precedence T_IS
 %precedence PREC_ARROW_FUNCTION
 %precedence T_INCLUDE T_INCLUDE_ONCE T_REQUIRE T_REQUIRE_ONCE
 %left T_LOGICAL_OR
@@ -80,7 +81,6 @@ static YYSIZE_T zend_yytnamerr(char*, const char*);
 %precedence '~' T_INT_CAST T_DOUBLE_CAST T_STRING_CAST T_ARRAY_CAST T_OBJECT_CAST T_BOOL_CAST T_UNSET_CAST '@'
 %right T_POW
 %precedence T_CLONE
-%precedence T_IS
 
 /* Resolve danging else conflict */
 %precedence T_NOELSE
@@ -1276,7 +1276,7 @@ expr:
 	|	attributes T_STATIC inline_function
 			{ $$ = zend_ast_with_attributes($3, $1); ((zend_ast_decl *) $$)->flags |= ZEND_ACC_STATIC; }
 	|	match { $$ = $1; }
-	|	expr T_IS atomic_pattern { $$ = zend_ast_create(ZEND_AST_IS, $1, $3); }
+	|	expr T_IS pattern { $$ = zend_ast_create(ZEND_AST_IS, $1, $3); }
 ;
 
 pattern: