Re: [C++ PATCH] Fix constexpr ICE with statement frontiers (PR c++/83734)

2018-01-09 Thread Jason Merrill
On Tue, Jan 9, 2018 at 10:41 AM, Jakub Jelinek wrote: > On Tue, Jan 09, 2018 at 10:30:31AM -0500, Jason Merrill wrote: >> On Mon, Jan 8, 2018 at 6:55 PM, Jakub Jelinek wrote: >> > The assert there assumes we never evaluate a statement list to >> > DEBUG_BEGIN_STMT, but it breaks appart when a BIN

Re: [C++ PATCH] Fix constexpr ICE with statement frontiers (PR c++/83734)

2018-01-09 Thread Jakub Jelinek
On Tue, Jan 09, 2018 at 10:30:31AM -0500, Jason Merrill wrote: > On Mon, Jan 8, 2018 at 6:55 PM, Jakub Jelinek wrote: > > The assert there assumes we never evaluate a statement list to > > DEBUG_BEGIN_STMT, but it breaks appart when a BIND_EXPR with a typedef in it > > has some DEBUG_BEGIN_STMTs i

Re: [C++ PATCH] Fix constexpr ICE with statement frontiers (PR c++/83734)

2018-01-09 Thread Jason Merrill
On Mon, Jan 8, 2018 at 6:55 PM, Jakub Jelinek wrote: > The assert there assumes we never evaluate a statement list to > DEBUG_BEGIN_STMT, but it breaks appart when a BIND_EXPR with a typedef in it > has some DEBUG_BEGIN_STMTs in it and nothing else (without -g it is just > empty STATEMENT_LIST ins

[C++ PATCH] Fix constexpr ICE with statement frontiers (PR c++/83734)

2018-01-08 Thread Jakub Jelinek
Hi! The assert there assumes we never evaluate a statement list to DEBUG_BEGIN_STMT, but it breaks appart when a BIND_EXPR with a typedef in it has some DEBUG_BEGIN_STMTs in it and nothing else (without -g it is just empty STATEMENT_LIST inside of the BIND_EXPR). We want to return void_node in th