https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93345
gcc-bugs at marehr dot dialup.fu-berlin.de changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |gcc-bugs at marehr dot
dialup.fu-b
| |erlin.de
--- Comment #7 from gcc-bugs at marehr dot dialup.fu-berlin.de ---
Hi Jason Merrill,
I have the following gcc-9 code:
```
template <typename> concept bool a = true;
template <int> struct b {};
template <typename g> using c = b<a<g>>;
struct h {
template <typename g> auto operator()(g) noexcept(noexcept(c<g>{})) {}
};
template <typename d> concept bool e = requires(d f) { h{}(f); };
static_assert(e<int>);
```
that ICEs at the same location:
```
> g++ -std=c++17 -fconcepts -c ice.cpp
ice.cpp:7:59: internal compiler error: in nothrow_spec_p, at cp/except.c:1247
7 | template <typename d> concept bool e = requires(d f) { h{}(f); };
| ~~~^~~
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://bugs.archlinux.org/> for instructions.
```
Is this a dupe of this? or should I create a new issue? A gcc-10 build of mine
seems to compile it. So this patch might need to be backported to gcc9.
```
> g++ -v
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-pc-linux-gnu/9.2.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /build/gcc/src/gcc/configure --prefix=/usr --libdir=/usr/lib
--libexecdir=/usr/lib --mandir=/usr/share/man --infodir=/usr/share/info
--with-bugurl=https://bugs.archlinux.org/
--enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++,d --enable-shared
--enable-threads=posix --with-system-zlib --with-isl --enable-__cxa_atexit
--disable-libunwind-exceptions --enable-clocale=gnu --disable-libstdcxx-pch
--disable-libssp --enable-gnu-unique-object --enable-linker-build-id
--enable-lto --enable-plugin --enable-install-libiberty
--with-linker-hash-style=gnu --enable-gnu-indirect-function --enable-multilib
--disable-werror --enable-checking=release --enable-default-pie
--enable-default-ssp --enable-cet=auto gdc_include_dir=/usr/include/dlang/gdc
Thread model: posix
gcc version 9.2.0 (GCC)
```
