[Bug fortran/93338] [8/9/10 Regression] ICE in make_ssa_name_fn, at tree-ssanames.c:282

[Bug fortran/93338] [8/9/10 Regression] ICE in make_ssa_name_fn, at tree-ssanames.c:282

[tkoenig at gcc dot gnu.org]

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

--- Comment #5 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
Works now, probably fixed by Paul's work on associate.

[Bug fortran/93338] [8/9/10 Regression] ICE in make_ssa_name_fn, at tree-ssanames.c:282

[tkoenig at gcc dot gnu.org]

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

--- Comment #6 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
Correction: Fails with -O, does not fail without optimization.

[Bug fortran/93338] [8/9/10 Regression] ICE in make_ssa_name_fn, at tree-ssanames.c:282

[tkoenig at gcc dot gnu.org]

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

--- Comment #7 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #2)
> Likely another missing DECL_EXPR for variable-size stuff.  TYPE_SIZE has
> 
>   (bitsizetype) (sizetype) _29 * 8
> 
> and _29 is released.

This is confusing.

Grepping through the gimple dump for the length .y , I see

  sizetype .y.16;
        integer(kind=8) .y;
            .y = _24;
            .y.15_29 = .y;
            .y.16 = (sizetype) .y.15_29;
            y.dtype.elem_len = .y.16;
              character(kind=1)[0:][1:.y] * D.3961;
                .y.19_40 = .y;
                _41 = _39 * .y.19_40;
                .y.20_44 = .y;
                _45 = _gfortran_compare_string (.y.20_44, _43, 3, &"abc"[1]{lb:
1 sz: 1});
            .y = {CLOBBER};


so cheking the indentation, .y is correctly declared.

_29 seems to be a variable that is introduced by gimple, possibly
incorrectly. I am not sure how to debug this, or if this is even
a front-end error, or just exposes something in the middle end.

[Bug fortran/93338] [9/10/11/12 Regression] ICE in make_ssa_name_fn, at tree-ssanames.c:282

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|8.5                         |9.4

--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 8 branch is being closed.

[Bug fortran/93338] [9/10/11/12 Regression] ICE in make_ssa_name_fn, at tree-ssanames.c:282

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.4                         |9.5

--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9.4 is being released, retargeting bugs to GCC 9.5.

[Bug fortran/93338] [10/11/12/13 Regression] ICE in make_ssa_name_fn, at tree-ssanames.c:282

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.5                         |10.4

--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9 branch is being closed

[Bug fortran/93338] [10/11/12/13 Regression] ICE in make_ssa_name_fn, at tree-ssanames.c:282

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |10.5

--- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.

[Bug fortran/93338] [10/11/12/13/14 Regression] ICE in make_ssa_name_fn, at tree-ssanames.c:282

[pault at gcc dot gnu.org]

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

--- Comment #12 from Paul Thomas <pault at gcc dot gnu.org> ---
This is fixed on current 10- through 13-branches.

I don't quite know why it hasn't been closed.

Paul

[Bug fortran/93338] [10/11/12/13/14 Regression] ICE in make_ssa_name_fn, at tree-ssanames.c:282

[anlauf at gcc dot gnu.org]

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

--- Comment #13 from anlauf at gcc dot gnu.org ---
(In reply to Paul Thomas from comment #12)
> This is fixed on current 10- through 13-branches.
> 
> I don't quite know why it hasn't been closed.

It still fails for me at -O1 and higher for 10-branch and 11-branch:

% gfc-11 pr93338.f90 -O1
during IPA pass: inline
pr93338.f90:10:3:

   10 | end
      |   ^
internal compiler error: in make_ssa_name_fn, at tree-ssanames.c:290
0xe0f0d5 make_ssa_name_fn(function*, tree_node*, gimple*, unsigned int)
        ../../gcc-11/gcc/tree-ssanames.c:287
0xc8dc8e make_ssa_name
        ../../gcc-11/gcc/tree-ssanames.h:115
0xc8dc8e remap_ssa_name
        ../../gcc-11/gcc/tree-inline.c:262
0xc90897 copy_tree_body_r(tree_node**, int*, void*)
        ../../gcc-11/gcc/tree-inline.c:1256
0xeb4505 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
        ../../gcc-11/gcc/tree.c:12091
0xeb4b4e walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
        ../../gcc-11/gcc/tree.c:12439
0xc8cdec remap_type_1
        ../../gcc-11/gcc/tree-inline.c:622
0xc8d0c8 remap_type(tree_node*, copy_body_data*)
        ../../gcc-11/gcc/tree-inline.c:740
0xc8cc87 remap_type_1
        ../../gcc-11/gcc/tree-inline.c:452
0xc8d0c8 remap_type(tree_node*, copy_body_data*)
        ../../gcc-11/gcc/tree-inline.c:740
0xc8dc7b remap_ssa_name
        ../../gcc-11/gcc/tree-inline.c:262
0xc9117f remap_gimple_op_r
        ../../gcc-11/gcc/tree-inline.c:1058
0xeb4505 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
        ../../gcc-11/gcc/tree.c:12091
0x9a5f9d walk_gimple_op(gimple*, tree_node* (*)(tree_node**, int*, void*),
walk_stmt_info*)
        ../../gcc-11/gcc/gimple-walk.c:221
0xc8f2ff remap_gimple_stmt
        ../../gcc-11/gcc/tree-inline.c:1952
0xc916ed copy_bb
        ../../gcc-11/gcc/tree-inline.c:2022
0xc9319a copy_cfg_body
        ../../gcc-11/gcc/tree-inline.c:3054
0xc9319a copy_body
        ../../gcc-11/gcc/tree-inline.c:3309
0xc96164 expand_call_inline
        ../../gcc-11/gcc/tree-inline.c:5129
0xc977c9 gimple_expand_calls_inline
        ../../gcc-11/gcc/tree-inline.c:5319
Please submit a full bug report,
with preprocessed source if appropriate.


So adjust known-to-work/-fail?

[Bug fortran/93338] [10/11/12/13/14 Regression] ICE in make_ssa_name_fn, at tree-ssanames.c:282

[pault at gcc dot gnu.org]

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

Paul Thomas <pault at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #14 from Paul Thomas <pault at gcc dot gnu.org> ---
Since this is "auto-fixed" back to 12-branch, I am closing this PR.

Thanks for the report.

Paul