1 // PR c++/53025 2 // { dg-do compile { target c++11 } } 3 4 template<typename T> 5 struct A { AA6 A() noexcept {} noexceptA7 A(const A&) noexcept(false) {} 8 }; 9 10 template<typename T> a(A<T>)11void a(A<T>) noexcept {} 12 13 template<typename T> f()14void f() 15 { 16 #if __cplusplus <= 201402L 17 const bool val = false; 18 #else 19 const bool val = true; 20 #endif 21 static_assert(val == noexcept(a(A<T>{})), ""); 22 } 23 g()24void g() 25 { 26 f<int>(); 27 } 28