reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38
   39
   40
   41

// RUN: %clang_cc1 -std=c++11 %s -verify -fcxx-exceptions

// We permit overriding an implicit exception specification with an explicit one
// as an extension, for compatibility with existing code.

struct S {
  void a(); // expected-note {{here}}
  ~S(); // expected-note {{here}}
  void operator delete(void*); // expected-note {{here}}
};

void S::a() noexcept {} // expected-error {{does not match previous}}
S::~S() noexcept {} // expected-warning {{function previously declared with an implicit exception specification redeclared with an explicit exception specification}}
void S::operator delete(void*) noexcept {} // expected-warning {{function previously declared with an implicit exception specification redeclared with an explicit exception specification}}

struct T {
  void a() noexcept; // expected-note {{here}}
  ~T() noexcept; // expected-note {{here}}
  void operator delete(void*) noexcept; // expected-note {{here}}
};

void T::a() {} // expected-error {{missing exception specification 'noexcept'}}
T::~T() {} // expected-warning {{function previously declared with an explicit exception specification redeclared with an implicit exception specification}}
void T::operator delete(void*) {} // expected-warning {{function previously declared with an explicit exception specification redeclared with an implicit exception specification}}


// The extension does not extend to function templates.

template<typename T> struct U {
  T t;
  ~U(); // expected-note {{here}}
  void operator delete(void*); // expected-note {{here}}
};

template<typename T> U<T>::~U() noexcept(true) {} // expected-error {{exception specification in declaration does not match previous declaration}}
template<typename T> void U<T>::operator delete(void*) noexcept(false) {} // expected-error {{exception specification in declaration does not match previous declaration}}


// Make sure this restriction interacts properly with __attribute__((noreturn))
void __attribute__ ((__noreturn__)) PR17110(int status) throw();
void PR17110(int status) throw();