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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2024-01-29
           Keywords|                            |ice-on-valid-code
     Ever confirmed|0                           |1

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.

Related (not ICEing but still incorrectly to reject) testcase:
```
template<int>
struct params {
    template <typename Return>
    struct return_type {
        constexpr return_type(Return (*p1)()){}
    };

    template <typename Return>
    return_type(Return (*)()) -> 
    return_type<Return>;


    template<return_type Any>
    struct addr {};
};

void x();

template struct params<1>::addr<&x>;
```

Reply via email to