From 97dfc4ab28210e6b14a996eee1abc7c563182427 Mon Sep 17 00:00:00 2001 From: Erich Keane Date: Thu, 28 Sep 2017 20:47:10 +0000 Subject: [Sema] Correct nothrow inherited by noexcept As reported in https://bugs.llvm.org/show_bug.cgi?id=33235, a noexcept function was unable to inherit from a nothrow defaulted constructor. Attribute "nothrow" is supposed to be semantically identical to noexcept, and in fact, a number of other places in the code treat them identically. This patch simply checks the RecordDecl for the correct attribute in the case where no other exception specifier was set. Differential Revision: https://reviews.llvm.org/D38209 llvm-svn: 314462 --- clang/test/SemaCXX/nothrow-as-noexcept-ctor.cpp | 26 +++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 clang/test/SemaCXX/nothrow-as-noexcept-ctor.cpp (limited to 'clang/test/SemaCXX/nothrow-as-noexcept-ctor.cpp') diff --git a/clang/test/SemaCXX/nothrow-as-noexcept-ctor.cpp b/clang/test/SemaCXX/nothrow-as-noexcept-ctor.cpp new file mode 100644 index 00000000000..7cca414d7a6 --- /dev/null +++ b/clang/test/SemaCXX/nothrow-as-noexcept-ctor.cpp @@ -0,0 +1,26 @@ +// RUN: %clang_cc1 %s -fcxx-exceptions -fsyntax-only -Wexceptions -verify -std=c++14 + +// expected-no-diagnostics +struct Base { + __attribute__((nothrow)) Base() {} +}; + +struct Derived : Base { + Derived() noexcept = default; +}; + +struct Base2 { + Base2() noexcept {} +}; + +struct Derived2 : Base2 { + __attribute__((nothrow)) Derived2() = default; +}; + +struct Base3 { + __attribute__((nothrow)) Base3() {} +}; + +struct Derived3 : Base3 { + __attribute__((nothrow)) Derived3() = default; +}; -- cgit v1.2.3