Store decls in prototypes on the declarator instead of in the AST
authorReid Kleckner <rnk@google.com>
Fri, 9 Dec 2016 17:14:05 +0000 (17:14 +0000)
committerReid Kleckner <rnk@google.com>
Fri, 9 Dec 2016 17:14:05 +0000 (17:14 +0000)
commit078aea904331271c3fdc65b52d128a8acefe4e38
tree0fae177059857ad3ca7c9abba5dfe641151aec7c
parent1ef90d2f25ca2dc6c538949d4f5d4e6f7de18986
Store decls in prototypes on the declarator instead of in the AST

This saves two pointers from FunctionDecl that were being used for some
rare and questionable C-only functionality.  The DeclsInPrototypeScope
ArrayRef was added in r151712 in order to parse this kind of C code:

    enum e {x, y};
    int f(enum {y, x} n) {
     return x; // should return 1, not 0
    }

The challenge is that we parse 'int f(enum {y, x} n)' it its own
function prototype scope that gets popped before we build the
FunctionDecl for 'f'. The original change was doing two questionable
things:

1. Saving all tag decls introduced in prototype scope on a TU-global
Sema variable. This is problematic when you have cases like this, where
'x' and 'y' shouldn't be visible in 'f':
    void f(void (*fp)(enum { x, y } e)) { /* no x */ }
This patch fixes that, so now 'f' can't see 'x', which is consistent
with GCC.

2. Storing the decls in FunctionDecl in ActOnFunctionDeclarator so that
they could be used in ActOnStartOfFunctionDef. This is just an
inefficient way to move information around. The AST lives forever, but
the list of non-parameter decls in prototype scope is short lived.

Moving these things to the Declarator solves both of these issues.

Reviewers: rsmith

Subscribers: jmolloy, cfe-commits

Differential Revision: https://reviews.llvm.org/D27279

llvm-svn: 289225
16 files changed:
clang/include/clang/AST/Decl.h
clang/include/clang/Sema/DeclSpec.h
clang/include/clang/Sema/Sema.h
clang/lib/AST/ASTDumper.cpp
clang/lib/AST/Decl.cpp
clang/lib/Parse/ParseDecl.cpp
clang/lib/Parse/ParseExpr.cpp
clang/lib/Parse/ParseExprCXX.cpp
clang/lib/Sema/DeclSpec.cpp
clang/lib/Sema/SemaDecl.cpp
clang/lib/Sema/SemaTemplateVariadic.cpp
clang/lib/Sema/SemaType.cpp
clang/test/Misc/ast-dump-decl.c
clang/test/PCH/decl-in-prototype.c [new file with mode: 0644]
clang/test/Sema/decl-in-prototype.c
clang/test/SemaCXX/type-definition-in-specifier.cpp