forked from OSchip/llvm-project
d6ab8744dc
specifier resulted in the creation of a new TagDecl node, which
happens either when the tag specifier was a definition or when the tag
specifier was the first declaration of that tag type. This information
has several uses, the first of which is implemented in this commit:
1) In C++, one is not allowed to define tag types within a type
specifier (e.g., static_cast<struct S { int x; } *>(0) is
ill-formed) or within the result or parameter types of a
function. We now diagnose this.
2) We can extend DeclGroups to contain information about any tags
that are declared/defined within the declaration specifiers of a
variable, e.g.,
struct Point { int x, y, z; } p;
This will help improve AST printing and template instantiation,
among other things.
3) For C99, we can keep track of whether a tag type is defined
within the type of a parameter, to properly cope with cases like,
e.g.,
int bar(struct T2 { int x; } y) {
struct T2 z;
}
We can also do similar things wherever there is a type specifier,
e.g., to keep track of where the definition of S occurs in this
legal C99 code:
(struct S { int x, y; } *)0
llvm-svn: 72555
|
||
|---|---|---|
| .. | ||
| CMakeLists.txt | ||
| CXXFieldCollector.h | ||
| IdentifierResolver.cpp | ||
| IdentifierResolver.h | ||
| JumpDiagnostics.cpp | ||
| Makefile | ||
| ParseAST.cpp | ||
| Sema.cpp | ||
| Sema.h | ||
| SemaAccess.cpp | ||
| SemaAttr.cpp | ||
| SemaCXXScopeSpec.cpp | ||
| SemaChecking.cpp | ||
| SemaDecl.cpp | ||
| SemaDeclAttr.cpp | ||
| SemaDeclCXX.cpp | ||
| SemaDeclObjC.cpp | ||
| SemaExpr.cpp | ||
| SemaExprCXX.cpp | ||
| SemaExprObjC.cpp | ||
| SemaInherit.cpp | ||
| SemaInherit.h | ||
| SemaInit.cpp | ||
| SemaLookup.cpp | ||
| SemaNamedCast.cpp | ||
| SemaOverload.cpp | ||
| SemaOverload.h | ||
| SemaStmt.cpp | ||
| SemaTemplate.cpp | ||
| SemaTemplateInstantiate.cpp | ||
| SemaTemplateInstantiateDecl.cpp | ||
| SemaTemplateInstantiateExpr.cpp | ||
| SemaTemplateInstantiateStmt.cpp | ||
| SemaType.cpp | ||