]> granicus.if.org Git - clang/commitdiff
Reject cases like
authorRafael Espindola <rafael.espindola@gmail.com>
Thu, 26 Apr 2012 01:26:03 +0000 (01:26 +0000)
committerRafael Espindola <rafael.espindola@gmail.com>
Thu, 26 Apr 2012 01:26:03 +0000 (01:26 +0000)
struct __attribute__((visibility("hidden"))) a;
struct __attribute__((visibility("default"))) b;

which gcc already rejects.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@155603 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/Basic/DiagnosticSemaKinds.td
lib/Sema/SemaDeclAttr.cpp
test/Sema/attr-visibility.c

index b0e5deba5175454dc492960b8a46b55b29071ea4..8826d0397be49e8b4171c3fb01036169f7bc1f5d 100644 (file)
@@ -1815,6 +1815,8 @@ def warn_attribute_unknown_visibility : Warning<"unknown visibility '%0'">;
 def warn_attribute_protected_visibility :
   Warning<"target does not support 'protected' visibility; using 'default'">,
   InGroup<DiagGroup<"unsupported-visibility">>;
+def err_mismatched_visibilit: Error<"visibility does not match previous declaration">;
+def note_previous_attribute : Note<"previous attribute is here">;
 def err_unknown_machine_mode : Error<"unknown machine mode %0">;
 def err_unsupported_machine_mode : Error<"unsupported machine mode %0">;
 def err_mode_not_primitive : Error<
index 861b91420d5f7ec8fe3cebf4a72db90a2fc0d7cb..0e1c43c7a476d20ebfc23815c4fc8ea1f72cca79 100644 (file)
@@ -1752,6 +1752,15 @@ static void handleVisibilityAttr(Sema &S, Decl *D, const AttributeList &Attr) {
     return;
   }
 
+  VisibilityAttr *PrevAttr = D->getCanonicalDecl()->getAttr<VisibilityAttr>();
+  if (PrevAttr) {
+    VisibilityAttr::VisibilityType PrevVisibility = PrevAttr->getVisibility();
+    if (PrevVisibility != type) {
+      S.Diag(Attr.getLoc(), diag::err_mismatched_visibilit);
+      S.Diag(PrevAttr->getLocation(), diag::note_previous_attribute);
+      return;
+    }
+  }
   D->addAttr(::new (S.Context) VisibilityAttr(Attr.getRange(), S.Context, type));
 }
 
index 5cf269582abcbc45f090600b7a0abb133cfa4f76..afeb4f1546f4081b2b5f6e8faa49dabe0f478151 100644 (file)
@@ -7,3 +7,5 @@ void test2() __attribute__((visibility("internal")));
 // rdar://problem/10753392
 void test3() __attribute__((visibility("protected"))); // expected-warning {{target does not support 'protected' visibility; using 'default'}}
 
+struct __attribute__((visibility("hidden"))) test4; // expected-note {{previous attribute is here}}
+struct __attribute__((visibility("default"))) test4; // expected-error {{visibility does not match previous declaration}}