]> granicus.if.org Git - clang/commit
Don't drop attributes when checking explicit specializations.
authorNico Weber <nicolasweber@gmx.de>
Fri, 19 Dec 2014 23:52:45 +0000 (23:52 +0000)
committerNico Weber <nicolasweber@gmx.de>
Fri, 19 Dec 2014 23:52:45 +0000 (23:52 +0000)
commit6426e17f2c3bc515da685e99baa337592f511cea
tree5725b23665296496a8fb04ec9d7a3aac4aa066cf
parent59265c5c860e55bfe9a4ea1e9281266797845207
Don't drop attributes when checking explicit specializations.

Consider a template class with attributes on a method, and an explicit
specialization of that method:

    template <int>
    struct A {
      void foo() final;
    };

    template <>
    void A<0>::foo() {}

In this example, the attribute is `final`, but it might also be an
__attribute__((visibility("foo"))), noreturn, inline, etc. clang's current
behavior is to strip all attributes, which for some attributes is wrong
(the snippet above allows a subclass of A<0> to override the final method, for
example) and for others disagrees with gcc.

So stop dropping attributes. r95845 added this code without a test case, and
r176728 added the code for dropping attributes on parameters (with tests, but
they still pass).

As an additional wrinkle, do drop dllimport and dllexport, since that's how
these two attributes work. (This is covered by existing tests.)

Fixes PR21942.

The approach is by Richard Smith, initial analysis and typing was done by me.

With this, clang also matches GCC and EDG on all attributes Richard tested.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@224651 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Sema/SemaTemplate.cpp
test/SemaTemplate/explicit-instantiation.cpp
test/SemaTemplate/function-template-specialization-noreturn.cpp