On Fri, Apr 03, 2020 at 10:39:49PM -0400, Jason Merrill via Gcc-patches wrote:
> On 4/3/20 9:08 PM, Marek Polacek wrote:
> > On Fri, Apr 03, 2020 at 03:01:37PM -0400, Jason Merrill via Gcc-patches 
> > wrote:
> > > On 3/30/20 4:28 PM, Marek Polacek wrote:
> > > > Here we crash in the gimplifier because gimplify_init_ctor_eval doesn't
> > > > expect null indexes for a constructor:
> > > > 
> > > >         /* ??? Here's to hoping the front end fills in all of the 
> > > > indices,
> > > >            so we don't have to figure out what's missing ourselves.  */
> > > >         gcc_assert (purpose);
> > > > 
> > > > The indexes weren't filled because we never called reshape_init: for
> > > > a constructor that represents parenthesized initialization of an
> > > > aggregate we don't allow brace elision or designated initializers.  So
> > > > fill in the indexes manually, here we have an array, and we can simply
> > > > assign indexes starting from 0.
> > > > 
> > > > Bootstrapped/regtested on x86_64-linux, ok for trunk?
> > > 
> > > Shouldn't digest_init fill in the indexes?  In
> > > process_init_constructor_array I see
> > > 
> > >        if (!ce->index)
> > >          ce->index = size_int (i);
> > 
> > Yes, that works too.  Thus:
> > 
> > Bootstrapped/regtested on x86_64-linux, ok for trunk?
> > 
> > -- >8 --
> > Here we crash in the gimplifier because gimplify_init_ctor_eval doesn't
> > expect null indexes for a constructor:
> > 
> >        /* ??? Here's to hoping the front end fills in all of the indices,
> >           so we don't have to figure out what's missing ourselves.  */
> >        gcc_assert (purpose);
> > 
> > The indexes weren't filled because we never called reshape_init: for
> > a constructor that represents parenthesized initialization of an
> > aggregate we don't allow brace elision or designated initializers.  So
> > call digest_init to fill in the indexes.
> > 
> > Bootstrapped/regtested on x86_64-linux, ok for trunk?
> > 
> >     PR c++/94155 - crash in gimplifier with paren init of aggregates.
> >     * decl.c (check_initializer): Call digest_init.
> > 
> >     * g++.dg/cpp2a/paren-init22.C: New test.
> > ---
> >   gcc/cp/decl.c                             |  5 +++++
> >   gcc/testsuite/g++.dg/cpp2a/paren-init22.C | 15 +++++++++++++++
> >   2 files changed, 20 insertions(+)
> >   create mode 100644 gcc/testsuite/g++.dg/cpp2a/paren-init22.C
> > 
> > diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c
> > index 69a238997b4..63e7bda09f5 100644
> > --- a/gcc/cp/decl.c
> > +++ b/gcc/cp/decl.c
> > @@ -6754,6 +6754,11 @@ check_initializer (tree decl, tree init, int flags, 
> > vec<tree, va_gc> **cleanups)
> >           init = build_constructor_from_list (init_list_type_node, init);
> >           CONSTRUCTOR_IS_DIRECT_INIT (init) = true;
> >           CONSTRUCTOR_IS_PAREN_INIT (init) = true;
> > +         /* The gimplifier expects that the front end fills in all of the
> > +            indices.  Normally, reshape_init_array fills these in, but we
> > +            don't call reshape_init because that does nothing when it gets
> > +            CONSTRUCTOR_IS_PAREN_INIT.  */
> > +         init = digest_init (type, init, tf_warning_or_error);
> 
> But why weren't we already calling digest_init in store_init_value?  Was the
> CONSTRUCTOR making it all the way to gimplification still having
> init_list_type_node?

It's because we set LOOKUP_ALREADY_DIGESTED a few lines below:
 6813               /* Don't call digest_init; it's unnecessary and will 
complain
 6814                  about aggregate initialization of non-aggregate classes. 
 */
 6815               flags |= LOOKUP_ALREADY_DIGESTED;
and so store_init_value doesn't digest.  Given the comment I'd be nervous about
not setting that flag here.

Marek

Reply via email to