[Bug c++/103946] New: ice in build_vec_init_expr, at cp/tree.c:791

[Bug c++/103946] New: ice in build_vec_init_expr, at cp/tree.c:791

[dcb314 at hotmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103946

            Bug ID: 103946
           Summary: ice in build_vec_init_expr, at cp/tree.c:791
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

Created attachment 52142
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52142&action=edit
gzipped C++ source code

The attached C++ code does this:

regexst.cpp:75:52: internal compiler error: in build_vec_init_expr, at
cp/tree.c:791
0x9aa3ca build_vec_init_expr(tree_node*, tree_node*, int)
        ../../trunk.git/gcc/cp/tree.c:791
0x7cbe6e perform_member_init(tree_node*, tree_node*, hash_set<tree_node*,
false, default_hash_t
raits<tree_node*> >&)
        ../../trunk.git/gcc/cp/init.c:0
0x7cbe6e emit_mem_initializers(tree_node*)
        ../../trunk.git/gcc/cp/init.c:1584
0x8a30a8 cp_parser_ctor_initializer_opt(cp_parser*)
        ../../trunk.git/gcc/cp/parser.c:0

Bug first seems to occur sometime between git hash 80ad67e2af0620d5
and add37d3bf4f375bb, a distance of 62 commits.

I will run a reduce.

[Bug c++/103946] [12 Regression] ice in build_vec_init_expr, at cp/tree.c:791

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103946

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code,
                   |                            |needs-bisection,
                   |                            |needs-reduction
            Summary|ice in build_vec_init_expr, |[12 Regression] ice in
                   |at cp/tree.c:791            |build_vec_init_expr, at
                   |                            |cp/tree.c:791
   Target Milestone|---                         |12.0

[Bug c++/103946] [12 Regression] ice in build_vec_init_expr, at cp/tree.c:791

[dcb314 at hotmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103946

--- Comment #1 from David Binderman <dcb314 at hotmail dot com> ---
Reduced C++ code is:

class UnicodeSet {
  virtual UnicodeSet complement();
};
enum { URX_GC_T, URX_LAST_SET };
class RegexStaticSets {
  RegexStaticSets();
  UnicodeSet fPropSets[URX_LAST_SET]{};
};
RegexStaticSets::RegexStaticSets() {}

I will have a look at a git bisect tomorrow.

[Bug c++/103946] [12 Regression] ice in build_vec_init_expr, at cp/tree.c:791

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103946

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |needs-reduction
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |jason at gcc dot gnu.org
           Priority|P3                          |P1
   Last reconfirmed|                            |2022-01-07
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r12-6326-ge948436eab818c527dd60b0ef939c4f42fbe8ba4

[Bug c++/103946] [12 Regression] ice in build_vec_init_expr, at cp/tree.c:791

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103946

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed reduced further:
struct s1 {  s1(); };
class s2 { s1 f1[2]{}; };
s2 a;
---- CUT ---
This was most likely caused by one of Jason's recent patches that should have
improved this case.

[Bug c++/103946] [12 Regression] ice in build_vec_init_expr, at cp/tree.c:791

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103946

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jason Merrill <jason@gcc.gnu.org>:

https://gcc.gnu.org/g:787d66eb6c53094161fb86e64ddf65f21389f63d

commit r12-6381-g787d66eb6c53094161fb86e64ddf65f21389f63d
Author: Jason Merrill <jason@redhat.com>
Date:   Sat Jan 8 01:18:51 2022 -0500

    c++: default mem-init of array [PR103946]

    In the patch for PR92385 I added asserts to see if we tried to make a
    vec_init of a vec_init, but didn't see any in regression testing.  This
    testcase is one case, which seems reasonable: we create a VEC_INIT_EXPR for
    the aggregate initializer, and then again to express the actual
    initialization of the member.  We already do similar collapsing of
    TARGET_EXPR.  So let's just remove the asserts.

            PR c++/103946

    gcc/cp/ChangeLog:

            * init.c (build_vec_init): Remove assert.
            * tree.c (build_vec_init_expr): Likewise.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp0x/nsdmi-array1.C: New test.

[Bug c++/103946] [12 Regression] ice in build_vec_init_expr, at cp/tree.c:791

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103946

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed.