On Mon, Jan 8, 2018 at 6:55 PM, Jakub Jelinek <ja...@redhat.com> 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 inside of the BIND_EXPR). We want to return void_node > in that case. > > THere is nothing interesting about DEBUG_BEGIN_STMT for constexpr > evaluation, it doesn't change any values, so let's just ignore them > and the assert is then unnecessary.
What if we return void_node for a DEBUG_BEGIN_STMT from cxx_eval_constant_expression? Jason