diff options
Diffstat (limited to 'src/libs/3rdparty/cplusplus/Parser.cpp')
-rw-r--r-- | src/libs/3rdparty/cplusplus/Parser.cpp | 43 |
1 files changed, 25 insertions, 18 deletions
diff --git a/src/libs/3rdparty/cplusplus/Parser.cpp b/src/libs/3rdparty/cplusplus/Parser.cpp index 9938fa9dde..024573b918 100644 --- a/src/libs/3rdparty/cplusplus/Parser.cpp +++ b/src/libs/3rdparty/cplusplus/Parser.cpp @@ -1618,7 +1618,7 @@ bool Parser::parseCoreDeclarator(DeclaratorAST *&node, SpecifierListAST *decl_sp node = ast; return true; } - } else if (const auto decl = parseDecompositionDeclarator()) { + } else if (const auto decl = parseDecompositionDeclarator(decl_specifier_list)) { DeclaratorAST *ast = new (_pool) DeclaratorAST; ast->attribute_list = attributes; ast->ptr_operator_list = ptr_operators; @@ -1630,19 +1630,21 @@ bool Parser::parseCoreDeclarator(DeclaratorAST *&node, SpecifierListAST *decl_sp return false; } -DecompositionDeclaratorAST *Parser::parseDecompositionDeclarator() +DecompositionDeclaratorAST *Parser::parseDecompositionDeclarator( + SpecifierListAST *decl_specifier_list) { - if (LA() != T_LBRACKET) + if (!_languageFeatures.cxx11Enabled || LA() != T_LBRACKET || !hasAuto(decl_specifier_list)) return nullptr; consumeToken(); const auto decl = new (_pool) DecompositionDeclaratorAST; for (NameListAST **iter = &decl->identifiers; ; iter = &(*iter)->next) { - NameAST *name_ast = nullptr; - if (!parseName(name_ast)) { + if (LA() != T_IDENTIFIER) { error(cursor(), "expected an identifier"); return nullptr; } + SimpleNameAST * const name_ast = new (_pool) SimpleNameAST; + name_ast->identifier_token = consumeToken(); *iter = new (_pool) NameListAST; (*iter)->value = name_ast; @@ -1681,6 +1683,18 @@ static bool maybeCppInitializer(DeclaratorAST *declarator) return true; } +bool Parser::hasAuto(SpecifierListAST *decl_specifier_list) const +{ + for (SpecifierListAST *iter = decl_specifier_list; iter; iter = iter->next) { + SpecifierAST *spec = iter->value; + if (SimpleSpecifierAST *simpleSpec = spec->asSimpleSpecifier()) { + if (_translationUnit->tokenKind(simpleSpec->specifier_token) == T_AUTO) + return true; + } + } + return false; +} + bool Parser::parseDeclarator(DeclaratorAST *&node, SpecifierListAST *decl_specifier_list, ClassSpecifierAST *declaringClass) { DEBUG_THIS_RULE(); @@ -1753,19 +1767,9 @@ bool Parser::parseDeclarator(DeclaratorAST *&node, SpecifierListAST *decl_specif parseRefQualifier(ast->ref_qualifier_token); parseExceptionSpecification(ast->exception_specification); - if (_languageFeatures.cxx11Enabled && ! node->ptr_operator_list && LA() == T_ARROW) { - // only allow if there is 1 type spec, which has to be 'auto' - bool hasAuto = false; - for (SpecifierListAST *iter = decl_specifier_list; !hasAuto && iter; iter = iter->next) { - SpecifierAST *spec = iter->value; - if (SimpleSpecifierAST *simpleSpec = spec->asSimpleSpecifier()) { - if (_translationUnit->tokenKind(simpleSpec->specifier_token) == T_AUTO) - hasAuto = true; - } - } - - if (hasAuto) - parseTrailingReturnType(ast->trailing_return_type); + if (_languageFeatures.cxx11Enabled && ! node->ptr_operator_list && LA() == T_ARROW + && hasAuto(decl_specifier_list)) { + parseTrailingReturnType(ast->trailing_return_type); } parseOverrideFinalQualifiers(ast->cv_qualifier_list); @@ -2809,6 +2813,9 @@ bool Parser::parseInitDeclarator(DeclaratorAST *&node, SpecifierListAST *decl_sp } } else if (node->core_declarator && (LA() == T_EQUAL || (_languageFeatures.cxx11Enabled && !isFunctionDeclarator && LA() == T_LBRACE) || (! declaringClass && LA() == T_LPAREN))) { parseInitializer(node->initializer, &node->equal_token); + } else if (node->core_declarator && node->core_declarator->asDecompositionDeclarator()) { + error(cursor(), "structured binding needs initializer"); + return false; } return true; } |