PEAR Bug Search Results
http://pear.php.net/bugs/search.php?cmd=display&package_name%5B0%5D=PHP_ParserGenerator
Search Resultsen-uspear-webmaster@lists.php.netpear-webmaster@lists.php.nethourly12000-01-01T12:00+00:00PEAR Bugshttp://pear.php.net/gifs/pearsmall.gif
http://pear.php.net/bugs
PHP_ParserGenerator: Bug 18263 [Open] Infinite loop on syntax error when using recursive grammar rules
http://pear.php.net/bugs/18263
PHP_ParserGenerator Bug
Reported by wkampmann
2011-02-11T18:40:05+00:00
PHP: Irrelevant OS: Package Version: 0.1.7
Description:
------------
When using recursive grammar rules like the expression rules in
the provided grammar excerpt, the generated parser enters an
infinite loop if a syntax error is made within the recursive
elements.
This is due to the functions yy_is_expected_token and
yy_get_expected_tokens as shown in code excerpts (1) and (2).
Test script:
---------------
========= GRAMMAR EXCERPT =========
expr(A) ::= LPAREN expr_0(B) RPAREN.
expr(A) ::= expr_0(B).
expr_0(A) ::= expr_1(B) AND expr_1(C).
expr_0(A) ::= expr_1(B) OR expr_1(C).
expr_0(A) ::= expr_1(B).
expr_1(A) ::= expr_2(B) LESS_THAN_EQ expr_2(C).
expr_1(A) ::= expr_2(B) GREATER_THAN_EQ expr_2(C).
expr_1(A) ::= expr_2(B) LESS_THAN expr_2(C).
expr_1(A) ::= expr_2(B) GREATER_THAN expr_2(C).
expr_1(A) ::= expr_2(B) EQ expr_2(C).
expr_1(A) ::= expr_2(B).
expr_2(A) ::= expr_3(B) PLUS expr_3(C).
expr_2(A) ::= expr_3(B) MINUS expr_3(C).
expr_2(A) ::= expr_3(B).
expr_3(A) ::= expr_4(B) MUL expr_4(C).
expr_3(A) ::= expr_4(B) DIV expr_4(C).
expr_3(A) ::= expr_4(B).
expr_4(A) ::= NOT expr_5(B).
expr_4(A) ::= MINUS expr_5(B).
expr_4(A) ::= PLUS expr_5(B).
expr_4(A) ::= expr_5(B).
expr_5(A) ::= variable(B).
expr_5(A) ::= expr(B). // << RECURSION
========= GENERATED PARSER CODE (1) =========
function yy_get_expected_tokens (..) {
[...]
do {
$yyact = $this->yy_find_shift_action($token);
if ($yyact >= self::YYNSTATE && $yyact < self::YYNSTATE + self::YYNRULE) {
// reduce action
$done = 0; // <<<< RESETS $done, SHOULD BE OUTSIDE OUTER DO LOOP
do {
if ($done++ == 100) { // <<<< NEVER REACHES 100 AS A RESULT
$this->yyidx = $yyidx;
$this->yystack = $stack;
// too much recursion prevents proper detection
// so give up
return array_unique($expected);
}
[...]
if ($nextstate < self::YYNSTATE) {
// we need to shift a non-terminal
$this->yyidx++;
$x = new MQLParseryyStackEntry;
$x->stateno = $nextstate;
$x->major = self::$yyRuleInfo[$yyruleno]['lhs'];
$this->yystack[$this->yyidx] = $x;
continue 2; // <<<< JUMPS TO OUTER DO LOOP
}
[...]
}
[...]
}
[...]
}
========= GENERATED PARSER CODE (2) =========
function yy_is_expected_token($token) {
[...]
do {
$yyact = $this->yy_find_shift_action($token);
if ($yyact >= self::YYNSTATE && $yyact < self::YYNSTATE + self::YYNRULE) {
// reduce action
$done = 0; // <<<< RESETS $done, SHOULD BE OUTSIDE OUTER DO LOOP
do {
if ($done++ == 100) { // <<<< NEVER REACHES 100 AS A RESULT
$this->yyidx = $yyidx;
$this->yystack = $stack;
// too much recursion prevents proper detection
// so give up
return true; // <<<< SHOULD RETURN FALSE
}
[...]
if ($nextstate < self::YYNSTATE) {
// we need to shift a non-terminal
$this->yyidx++;
$x = new MQLParseryyStackEntry;
$x->stateno = $nextstate;
$x->major = self::$yyRuleInfo[$yyruleno]['lhs'];
$this->yystack[$this->yyidx] = $x;
continue 2; // <<<< JUMPS TO OUTER DO LOOP
}
} while (true);
}
break;
} while (true);
$this->yyidx = $yyidx;
$this->yystack = $stack;
return true;
}
Expected result:
----------------
The parser should report a syntax error.
Actual result:
--------------
Infinite loop.]]>PHP_ParserGenerator Bug
Reported by wkampmann
2011-02-11T18:40:05+00:00
PHP: Irrelevant OS: Package Version: 0.1.7
Description:
------------
When using recursive grammar rules like the expression rules in
the provided grammar excerpt, the generated parser enters an
infinite loop if a syntax error is made within the recursive
elements.
This is due to the functions yy_is_expected_token and
yy_get_expected_tokens as shown in code excerpts (1) and (2).
Test script:
---------------
========= GRAMMAR EXCERPT =========
expr(A) ::= LPAREN expr_0(B) RPAREN.
expr(A) ::= expr_0(B).
expr_0(A) ::= expr_1(B) AND expr_1(C).
expr_0(A) ::= expr_1(B) OR expr_1(C).
expr_0(A) ::= expr_1(B).
expr_1(A) ::= expr_2(B) LESS_THAN_EQ expr_2(C).
expr_1(A) ::= expr_2(B) GREATER_THAN_EQ expr_2(C).
expr_1(A) ::= expr_2(B) LESS_THAN expr_2(C).
expr_1(A) ::= expr_2(B) GREATER_THAN expr_2(C).
expr_1(A) ::= expr_2(B) EQ expr_2(C).
expr_1(A) ::= expr_2(B).
expr_2(A) ::= expr_3(B) PLUS expr_3(C).
expr_2(A) ::= expr_3(B) MINUS expr_3(C).
expr_2(A) ::= expr_3(B).
expr_3(A) ::= expr_4(B) MUL expr_4(C).
expr_3(A) ::= expr_4(B) DIV expr_4(C).
expr_3(A) ::= expr_4(B).
expr_4(A) ::= NOT expr_5(B).
expr_4(A) ::= MINUS expr_5(B).
expr_4(A) ::= PLUS expr_5(B).
expr_4(A) ::= expr_5(B).
expr_5(A) ::= variable(B).
expr_5(A) ::= expr(B). // << RECURSION
========= GENERATED PARSER CODE (1) =========
function yy_get_expected_tokens (..) {
[...]
do {
$yyact = $this->yy_find_shift_action($token);
if ($yyact >= self::YYNSTATE && $yyact < self::YYNSTATE + self::YYNRULE) {
// reduce action
$done = 0; // <<<< RESETS $done, SHOULD BE OUTSIDE OUTER DO LOOP
do {
if ($done++ == 100) { // <<<< NEVER REACHES 100 AS A RESULT
$this->yyidx = $yyidx;
$this->yystack = $stack;
// too much recursion prevents proper detection
// so give up
return array_unique($expected);
}
[...]
if ($nextstate < self::YYNSTATE) {
// we need to shift a non-terminal
$this->yyidx++;
$x = new MQLParseryyStackEntry;
$x->stateno = $nextstate;
$x->major = self::$yyRuleInfo[$yyruleno]['lhs'];
$this->yystack[$this->yyidx] = $x;
continue 2; // <<<< JUMPS TO OUTER DO LOOP
}
[...]
}
[...]
}
[...]
}
========= GENERATED PARSER CODE (2) =========
function yy_is_expected_token($token) {
[...]
do {
$yyact = $this->yy_find_shift_action($token);
if ($yyact >= self::YYNSTATE && $yyact < self::YYNSTATE + self::YYNRULE) {
// reduce action
$done = 0; // <<<< RESETS $done, SHOULD BE OUTSIDE OUTER DO LOOP
do {
if ($done++ == 100) { // <<<< NEVER REACHES 100 AS A RESULT
$this->yyidx = $yyidx;
$this->yystack = $stack;
// too much recursion prevents proper detection
// so give up
return true; // <<<< SHOULD RETURN FALSE
}
[...]
if ($nextstate < self::YYNSTATE) {
// we need to shift a non-terminal
$this->yyidx++;
$x = new MQLParseryyStackEntry;
$x->stateno = $nextstate;
$x->major = self::$yyRuleInfo[$yyruleno]['lhs'];
$this->yystack[$this->yyidx] = $x;
continue 2; // <<<< JUMPS TO OUTER DO LOOP
}
} while (true);
}
break;
} while (true);
$this->yyidx = $yyidx;
$this->yystack = $stack;
return true;
}
Expected result:
----------------
The parser should report a syntax error.
Actual result:
--------------
Infinite loop.]]>2011-02-11T18:40:05+00:00wkampmann at gmail dot comPHP_ParserGenerator BugPHP_ParserGenerator: Bug 17841 [Open] Bugs in PHP-grammar
http://pear.php.net/bugs/17841
PHP_ParserGenerator Bug
Reported by hrniels
2010-09-03T03:08:02+00:00
PHP: 5.3.2 OS: Linux Package Version: 0.1.6
Description:
------------
Hi!
I'm using this parser-generator for parsing PHP-code. I based my parser on the grammars PHP.y and PHP_Parser.y. During my development I found a few bugs in the grammar:
for-statement: COLON -> SEMI
switch-statement: inner_statement_list was missing
unset: LPAREN -> RPAREN
"static_scalar ::= PLUS static_scalar" was missing
"static_scalar ::= MINUS static_scalar" was missing
Hope this helps!
Best regards,
Nils]]>PHP_ParserGenerator Bug
Reported by hrniels
2010-09-03T03:08:02+00:00
PHP: 5.3.2 OS: Linux Package Version: 0.1.6
Description:
------------
Hi!
I'm using this parser-generator for parsing PHP-code. I based my parser on the grammars PHP.y and PHP_Parser.y. During my development I found a few bugs in the grammar:
for-statement: COLON -> SEMI
switch-statement: inner_statement_list was missing
unset: LPAREN -> RPAREN
"static_scalar ::= PLUS static_scalar" was missing
"static_scalar ::= MINUS static_scalar" was missing
Hope this helps!
Best regards,
Nils]]>2010-09-03T03:08:02+00:00nils at script-solution dot dePHP_ParserGenerator BugPHP_ParserGenerator: Feature/Change Request 17710 [Open] Reduce the PHPCS errors and warnings
http://pear.php.net/bugs/17710
PHP_ParserGenerator Feature/Change Request
Reported by jespino
2010-08-16T22:32:55+00:00
PHP: 5.3.2 OS: Package Version: SVN
Description:
------------
Reduce the PHPCS errors and warnings]]>PHP_ParserGenerator Feature/Change Request
Reported by jespino
2010-08-16T22:32:55+00:00
PHP: 5.3.2 OS: Package Version: SVN
Description:
------------
Reduce the PHPCS errors and warnings]]>2010-08-16T22:32:55+00:00jespinog at gmail dot comPHP_ParserGenerator Feature/Change RequestPHP_ParserGenerator: Bug 11647 [Assigned] substitution of @X works incorrectly
http://pear.php.net/bugs/11647
PHP_ParserGenerator Bug
Reported by r0vert
2007-07-19T19:24:21+00:00
PHP: Irrelevant OS: Package Version: CVS
Description:
------------
If using @X for the code of a rule it should be use the token number instead of the token value.
Test script:
---------------
match ::= TYPE(A) TEXT(T). { doSomething(@X, T) }
Expected result:
----------------
doSomething($this->yystack[$this->yyidx + -1]->major, $this->yystack[$this->yyidx + 0]->minor)
Actual result:
--------------
doSomething($this->yystack[$this->yyidx + -1]->minor, $this->yystack[$this->yyidx + 0]->minor)]]>PHP_ParserGenerator Bug
Reported by r0vert
2007-07-19T19:24:21+00:00
PHP: Irrelevant OS: Package Version: CVS
Description:
------------
If using @X for the code of a rule it should be use the token number instead of the token value.
Test script:
---------------
match ::= TYPE(A) TEXT(T). { doSomething(@X, T) }
Expected result:
----------------
doSomething($this->yystack[$this->yyidx + -1]->major, $this->yystack[$this->yyidx + 0]->minor)
Actual result:
--------------
doSomething($this->yystack[$this->yyidx + -1]->minor, $this->yystack[$this->yyidx + 0]->minor)]]>2007-08-20T14:08:16+00:00rovert at wowway dot comPHP_ParserGenerator Bug