https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115219

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE on conditionally        |[c++17+] ICE on depdendent
                   |noexcept class operator     |noexcept class operator
                   |delete                      |delete
      Known to fail|                            |7.1.0, 8.5.0
           Keywords|                            |ice-on-valid-code

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed reduced testcase:
```
using t = decltype(sizeof(0));

template <typename _Tp>
  constexpr bool is_nothrow_destructible_v =
    false;

template<typename Derived>
struct B {
    static void * operator new(t s, t);
    static void
    operator delete(void *)
    noexcept(is_nothrow_destructible_v<int>)
   ;
};

void test() {
    new (42) B<int>();
}
```

Reply via email to