maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[Attr] Print enum attributes at correct position 

For example, given:

  void fn() {
    enum __attribute__((deprecated)) T *p;
  }

-ast-print produced:

  void fn() {
    enum T __attribute__((deprecated(""))) *p;
  }

-ast-print on that produced:

  void fn() {
    enum T *p __attribute__((deprecated("")));
  }

The attribute is on enum T in the first case, but it's on p in the
other cases.

Details:

Within enum declarations, enum attributes were always printed after
the tag and any member list.  When no member list was present but the
enum was a type specifier in a variable declaration, the attribute
then applied to the variable not the enum, changing the semantics.

This patch fixes that by always printing attributes between the enum's
keyword and tag, as clang already does for structs, unions, and
classes.

Reviewed By: rsmith

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

llvm-svn: 330722
This commit is contained in:
Joel E. Denny 2018-04-24 14:50:23 +00:00
parent c410083312
commit c2575a376a
2 changed files with 40 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
clang/lib/AST/DeclPrinter.cpp
View File

@ -496,14 +496,17 @@ void DeclPrinter::VisitTypeAliasDecl(TypeAliasDecl *D) {
void DeclPrinter::VisitEnumDecl(EnumDecl *D) {
if (!Policy.SuppressSpecifiers && D->isModulePrivate())
Out << "__module_private__ ";
Out << "enum ";
Out << "enum";
if (D->isScoped()) {
if (D->isScopedUsingClassTag())
Out << "class ";
Out << " class";
else
Out << "struct ";
Out << " struct";
}
Out << *D;
prettyPrintAttributes(D);
Out << ' ' << *D;
if (D->isFixed() && D->getASTContext().getLangOpts().CPlusPlus11)
Out << " : " << D->getIntegerType().stream(Policy);
@ -513,7 +516,6 @@ void DeclPrinter::VisitEnumDecl(EnumDecl *D) {
VisitDeclContext(D);
Indent() << "}";
}
prettyPrintAttributes(D);
}
void DeclPrinter::VisitRecordDecl(RecordDecl *D) {

40
clang/test/Sema/ast-print.c
View File

@ -1,5 +1,12 @@
// RUN: %clang_cc1 %s -ast-print | FileCheck %s
// RUN: %clang_cc1 %s -ast-print | %clang_cc1 -fsyntax-only -
// RUN: %clang_cc1 %s -ast-print -verify > %t.c
// RUN: FileCheck %s --input-file %t.c
//
// RUN: echo >> %t.c "// expected""-warning@* {{use of GNU old-style field designator extension}}"
// RUN: echo >> %t.c "// expected""-warning@* {{'EnumWithAttributes' is deprecated}}"
// RUN: echo >> %t.c "// expected""-note@* {{'EnumWithAttributes' has been explicitly marked deprecated here}}"
// RUN: echo >> %t.c "// expected""-warning@* {{'EnumWithAttributes3' is deprecated}}"
// RUN: echo >> %t.c "// expected""-note@* {{'EnumWithAttributes3' has been explicitly marked deprecated here}}"
// RUN: %clang_cc1 -fsyntax-only %t.c -verify
typedef void func_typedef();
func_typedef xxx;
@ -58,7 +65,7 @@ struct pair_t {
};
// CHECK: struct pair_t p = {a: 3, .b = 4};
struct pair_t p = {a: 3, .b = 4};
struct pair_t p = {a: 3, .b = 4}; // expected-warning {{use of GNU old-style field designator extension}}
void initializers() {
// CHECK: int *x = ((void *)0), *y = ((void *)0);
@ -70,11 +77,30 @@ void initializers() {
} z = {(struct Z){}};
}
// CHECK-LABEL: enum EnumWithAttributes {
enum EnumWithAttributes {
// CHECK-LABEL: enum __attribute__((deprecated(""))) EnumWithAttributes {
enum EnumWithAttributes { // expected-warning {{'EnumWithAttributes' is deprecated}}
// CHECK-NEXT: EnumWithAttributesFoo __attribute__((deprecated(""))),
EnumWithAttributesFoo __attribute__((deprecated)),
// CHECK-NEXT: EnumWithAttributesBar __attribute__((unavailable(""))) = 50
EnumWithAttributesBar __attribute__((unavailable)) = 50
// CHECK-NEXT: } __attribute__((deprecated("")))
} __attribute__((deprecated));
// CHECK-NEXT: };
// CHECK-NEXT: enum EnumWithAttributes *EnumWithAttributesPtr;
} __attribute__((deprecated)) *EnumWithAttributesPtr; // expected-note {{'EnumWithAttributes' has been explicitly marked deprecated here}}
// FIXME: If enum is forward-declared at file scope, attributes are lost.
// CHECK-LABEL: enum EnumWithAttributes2 *EnumWithAttributes2Ptr;
// expected-warning@+2 {{'EnumWithAttributes2' is deprecated}}
// expected-note@+1 {{'EnumWithAttributes2' has been explicitly marked deprecated here}}
enum __attribute__((deprecated)) EnumWithAttributes2 *EnumWithAttributes2Ptr;
// CHECK-LABEL: EnumWithAttributes3Fn
void EnumWithAttributes3Fn() {
// CHECK-NEXT: enum __attribute__((deprecated(""))) EnumWithAttributes3 *EnumWithAttributes3Ptr;
// expected-warning@+2 {{'EnumWithAttributes3' is deprecated}}
// expected-note@+1 {{'EnumWithAttributes3' has been explicitly marked deprecated here}}
enum __attribute__((deprecated)) EnumWithAttributes3 *EnumWithAttributes3Ptr;
// Printing must not put the attribute after the tag where it would apply to
// the variable instead of the type, and then our deprecation warning would
// move to this use of the variable.
void *p = EnumWithAttributes3Ptr;
}