database/sqlite
1
0
Fork 0
mirror of https://github.com/sqlite/sqlite.git synced 2025-07-29 08:01:23 +03:00
Code Activity

Fix an unreachable branch associated with stack overflow in the

Browse Source 
LEMON-generated parser.

FossilOrigin-Name: e3064ba3b68ca2a1c54561756e8c898866a19ef6e785d315171cd47827a50c85
This commit is contained in:
drh
2018-04-23 00:25:31 +00:00
parent fd39c5874a
commit 05ef50d08a
3 changed files with 17 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
tool/lempar.c
View File

@ -747,13 +747,19 @@ static YYACTIONTYPE yy_reduce(
#if YYSTACKDEPTH>0
if( yypParser->yytos>=yypParser->yystackEnd ){
yyStackOverflow(yypParser);
return YY_ACCEPT_ACTION;
/* The call to yyStackOverflow() above pops the stack until it is
** empty, causing the main parser loop to exit. So the return value
** is never used and does not matter. */
return 0;
}
#else
if( yypParser->yytos>=&yypParser->yystack[yypParser->yystksz-1] ){
if( yyGrowStack(yypParser) ){
yyStackOverflow(yypParser);
return YY_ACCEPT_ACTION;
/* The call to yyStackOverflow() above pops the stack until it is
** empty, causing the main parser loop to exit. So the return value
** is never used and does not matter. */
return 0;
}
yymsp = yypParser->yytos;
}
@ -930,14 +936,8 @@ void Parse(
#endif
break;
}else if( yyact==YY_ACCEPT_ACTION ){
/* YY_ACCEPT_ACTION also happens on a stack overflow. We distingush
** the two cases by observing that on a true accept, there should be
** a single token left on the stack, whereas on a stack overflow,
** the stack has been popped (by yyStackOverflow()) to be empty */
if( yypParser->yytos > yypParser->yystack ){
yypParser->yytos--;
yy_accept(yypParser);
}
yypParser->yytos--;
yy_accept(yypParser);
return;
}else{
assert( yyact == YY_ERROR_ACTION );