]> granicus.if.org Git - clang/commit
Disambiguation of '[[':
authorRichard Smith <richard-llvm@metafoo.co.uk>
Tue, 10 Apr 2012 01:32:12 +0000 (01:32 +0000)
committerRichard Smith <richard-llvm@metafoo.co.uk>
Tue, 10 Apr 2012 01:32:12 +0000 (01:32 +0000)
commit6ee326af4e77e6f05973486097884d7431f2108d
treedef0e1b57abc33f0654ba903dec1f37715442417
parent0e9bf71c6187da074fd6d382a7b1d11fd9ddf3dd
Disambiguation of '[[':
 * In C++11, '[[' is ill-formed unless it starts an attribute-specifier. Reject
   array sizes and array indexes which begin with a lambda-expression. Recover by
   parsing the lambda as a lambda.
 * In Objective-C++11, either '[' could be the start of a message-send.
   Fully disambiguate this case: it turns out that the grammars of message-sends,
   lambdas and attributes do not actually overlap. Accept any occurrence of '[['
   where either '[' starts a message send, but reject a lambda in an array index
   just like in C++11 mode.

Implement a couple of changes to the attribute wording which occurred after our
attributes implementation landed:
 * In a function-declaration, the attributes go after the exception specification,
   not after the right paren.
 * A reference type can have attributes applied.
 * An 'identifier' in an attribute can also be a keyword. Support for alternative
   tokens (iso646 keywords) in attributes to follow.

And some bug fixes:
 * Parse attributes after declarator-ids, even if they are not simple identifiers.
 * Do not accept attributes after a parenthesized declarator.
 * Accept attributes after an array size in a new-type-id.
 * Partially disamiguate 'delete' followed by a lambda. More work is required
   here for the case where the lambda-introducer is '[]'.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@154369 91177308-0d34-0410-b5e6-96231b3b80d8
14 files changed:
include/clang/Basic/DiagnosticParseKinds.td
include/clang/Parse/Parser.h
lib/Parse/ParseDecl.cpp
lib/Parse/ParseDeclCXX.cpp
lib/Parse/ParseExpr.cpp
lib/Parse/ParseExprCXX.cpp
lib/Parse/ParseInit.cpp
lib/Parse/ParseStmt.cpp
lib/Parse/ParseTentative.cpp
test/CXX/dcl.dcl/dcl.attr/dcl.attr.grammar/p6.cpp [new file with mode: 0644]
test/Parser/cxx0x-attributes.cpp
test/Parser/objcxx11-attributes.mm [new file with mode: 0644]
test/SemaCXX/new-delete-0x.cpp [new file with mode: 0644]
test/SemaCXX/new-delete.cpp