[Bug c++/102455] ICE in verify_ctor_sanity with vector types in constexpr and variable template

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
            Summary|ICE in verify_ctor_sanity   |ICE in verify_ctor_sanity
                   |with vector types in        |with vector types in
                   |constexpr                   |constexpr and variable
                   |                            |template
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|                            |2021-09-22

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
The infinite loop is not needed:
typedef int v4si;
typedef float v4sf __attribute__ ((vector_size(4)));
constexpr v4sf foo (v4si a) { return (v4sf)a;}
template <class> constexpr v4sf b = foo (v4si {});