comment
git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@2055 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
parent
0503864b26
commit
424e3a644f
|
@ -1967,15 +1967,18 @@ bool Parser::rDeclarators(
|
||||||
/*
|
/*
|
||||||
declarator.with.init
|
declarator.with.init
|
||||||
: ':' expression
|
: ':' expression
|
||||||
| declarator {'=' initialize.expr | ':' expression}
|
| declarator
|
||||||
|
{'=' initialize.expr |
|
||||||
|
':' expression}
|
||||||
*/
|
*/
|
||||||
bool Parser::rDeclaratorWithInit(
|
bool Parser::rDeclaratorWithInit(
|
||||||
cpp_declaratort &dw,
|
cpp_declaratort &dw,
|
||||||
bool should_be_declarator,
|
bool should_be_declarator,
|
||||||
bool is_statement)
|
bool is_statement)
|
||||||
{
|
{
|
||||||
if(lex->LookAhead(0)==':') // anonymous bit field
|
if(lex->LookAhead(0)==':')
|
||||||
{
|
{
|
||||||
|
// This is an anonymous bit field.
|
||||||
Token tk;
|
Token tk;
|
||||||
lex->GetToken(tk);
|
lex->GetToken(tk);
|
||||||
|
|
||||||
|
@ -2013,6 +2016,7 @@ bool Parser::rDeclaratorWithInit(
|
||||||
// initializer
|
// initializer
|
||||||
Token tk;
|
Token tk;
|
||||||
lex->GetToken(tk);
|
lex->GetToken(tk);
|
||||||
|
|
||||||
if(!rInitializeExpr(declarator.value()))
|
if(!rInitializeExpr(declarator.value()))
|
||||||
return false;
|
return false;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue