Re: C++ PATCH to fix rejects-valid with constexpr ctor in C++17 (PR c++/83692)

2018-02-23 Thread Jason Merrill
OK, thanks. On Fri, Feb 23, 2018 at 9:29 AM, Marek Polacek wrote: > On Fri, Feb 16, 2018 at 04:10:20PM -0500, Jason Merrill wrote: >> On Mon, Feb 5, 2018 at 1:45 PM, Jason Merrill wrote: >> > On Mon, Feb 5, 2018 at 8:37 AM, Marek Polacek wrote: >> >> On Fri, Feb 02, 2018 at 02:11:27PM -0500, Ja

Re: C++ PATCH to fix rejects-valid with constexpr ctor in C++17 (PR c++/83692)

2018-02-23 Thread Marek Polacek
On Fri, Feb 16, 2018 at 04:10:20PM -0500, Jason Merrill wrote: > On Mon, Feb 5, 2018 at 1:45 PM, Jason Merrill wrote: > > On Mon, Feb 5, 2018 at 8:37 AM, Marek Polacek wrote: > >> On Fri, Feb 02, 2018 at 02:11:27PM -0500, Jason Merrill wrote: > >>> On Thu, Jan 25, 2018 at 4:16 PM, Marek Polacek

Re: C++ PATCH to fix rejects-valid with constexpr ctor in C++17 (PR c++/83692)

2018-02-16 Thread Jason Merrill
On Mon, Feb 5, 2018 at 1:45 PM, Jason Merrill wrote: > On Mon, Feb 5, 2018 at 8:37 AM, Marek Polacek wrote: >> On Fri, Feb 02, 2018 at 02:11:27PM -0500, Jason Merrill wrote: >>> On Thu, Jan 25, 2018 at 4:16 PM, Marek Polacek wrote: >>> > This is a similar problem to 83116: we'd cached a constexp

Re: C++ PATCH to fix rejects-valid with constexpr ctor in C++17 (PR c++/83692)

2018-02-05 Thread Jason Merrill
On Mon, Feb 5, 2018 at 8:37 AM, Marek Polacek wrote: > On Fri, Feb 02, 2018 at 02:11:27PM -0500, Jason Merrill wrote: >> On Thu, Jan 25, 2018 at 4:16 PM, Marek Polacek wrote: >> > This is a similar problem to 83116: we'd cached a constexpr call, but >> > after a >> > store the result had become

Re: C++ PATCH to fix rejects-valid with constexpr ctor in C++17 (PR c++/83692)

2018-02-05 Thread Marek Polacek
On Fri, Feb 02, 2018 at 02:11:27PM -0500, Jason Merrill wrote: > On Thu, Jan 25, 2018 at 4:16 PM, Marek Polacek wrote: > > This is a similar problem to 83116: we'd cached a constexpr call, but after > > a > > store the result had become invalid, yet we used the wrong result again when > > encount

Re: C++ PATCH to fix rejects-valid with constexpr ctor in C++17 (PR c++/83692)

2018-02-02 Thread Jason Merrill
On Thu, Jan 25, 2018 at 4:16 PM, Marek Polacek wrote: > This is a similar problem to 83116: we'd cached a constexpr call, but after a > store the result had become invalid, yet we used the wrong result again when > encountering the same call later. This resulted in evaluating a THROW_EXPR > which

Re: C++ PATCH to fix rejects-valid with constexpr ctor in C++17 (PR c++/83692)

2018-01-25 Thread Marek Polacek
On Thu, Jan 25, 2018 at 10:16:39PM +0100, Marek Polacek wrote: > This is a similar problem to 83116: we'd cached a constexpr call, but after a > store the result had become invalid, yet we used the wrong result again when > encountering the same call later. This resulted in evaluating a THROW_EXPR

C++ PATCH to fix rejects-valid with constexpr ctor in C++17 (PR c++/83692)

2018-01-25 Thread Marek Polacek
This is a similar problem to 83116: we'd cached a constexpr call, but after a store the result had become invalid, yet we used the wrong result again when encountering the same call later. This resulted in evaluating a THROW_EXPR which doesn't work. Details in https://gcc.gnu.org/bugzilla/show_bu