Re: [PATCH] c++: ICE with deferred noexcept when deducing targs [PR82099]

2021-01-05 Thread Jason Merrill via Gcc-patches
On 1/4/21 8:31 PM, Marek Polacek wrote: In this test we ICE in type_throw_all_p because it got a deferred noexcept which it shouldn't. Here's the story: In noexcept61.C, we call bar, so we perform overload resolution. When adding the (only) candidate, we need to deduce template arguments, so c

[PATCH] c++: ICE with deferred noexcept when deducing targs [PR82099]

2021-01-04 Thread Marek Polacek via Gcc-patches
In this test we ICE in type_throw_all_p because it got a deferred noexcept which it shouldn't. Here's the story: In noexcept61.C, we call bar, so we perform overload resolution. When adding the (only) candidate, we need to deduce template arguments, so call fn_type_unification as usually. That