[Bug fortran/103260] New: ICE in gfc_simplify_reshape, at fortran/simplify.c:6857

[Bug fortran/103260] New: ICE in gfc_simplify_reshape, at fortran/simplify.c:6857

[gscfq@t-online.de]

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

            Bug ID: 103260
           Summary: ICE in gfc_simplify_reshape, at
                    fortran/simplify.c:6857
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Affects versions down to at least r5 :


$ cat z1.f90
program p
   integer, parameter :: a(-1) = reshape([2], a)
end


$ gfortran-12-20211114 -c z1.f90
f951: internal compiler error: in gfc_simplify_reshape, at
fortran/simplify.c:6857
0x82f018 gfc_simplify_reshape(gfc_expr*, gfc_expr*, gfc_expr*, gfc_expr*)
        ../../gcc/fortran/simplify.c:6857
0x7ac6ae do_simplify
        ../../gcc/fortran/intrinsic.c:4645
0x7b706a gfc_intrinsic_func_interface(gfc_expr*, int)
        ../../gcc/fortran/intrinsic.c:5017
0x80ad0c resolve_unknown_f
        ../../gcc/fortran/resolve.c:2972
0x80ad0c resolve_function
        ../../gcc/fortran/resolve.c:3329
0x80ad0c gfc_resolve_expr(gfc_expr*)
        ../../gcc/fortran/resolve.c:7166
0x79c4c4 gfc_reduce_init_expr(gfc_expr*)
        ../../gcc/fortran/expr.c:3130
0x79f390 gfc_match_init_expr(gfc_expr**)
        ../../gcc/fortran/expr.c:3178
0x789944 variable_decl
        ../../gcc/fortran/decl.c:3004
0x789944 gfc_match_data_decl()
        ../../gcc/fortran/decl.c:6297
0x7f33e3 match_word
        ../../gcc/fortran/parse.c:67
0x7f33e3 decode_statement
        ../../gcc/fortran/parse.c:378
0x7f4e2a next_free
        ../../gcc/fortran/parse.c:1397
0x7f4e2a next_statement
        ../../gcc/fortran/parse.c:1629
0x7f7294 parse_spec
        ../../gcc/fortran/parse.c:3984
0x7f98ac parse_progunit
        ../../gcc/fortran/parse.c:6179
0x7fab91 gfc_parse_file()
        ../../gcc/fortran/parse.c:6724
0x84806f gfc_be_parse_file
        ../../gcc/fortran/f95-lang.c:216

[Bug fortran/103260] ICE in gfc_simplify_reshape, at fortran/simplify.c:6857 since r6-4614-g57e596204fceef2e

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
            Summary|ICE in                      |ICE in
                   |gfc_simplify_reshape, at    |gfc_simplify_reshape, at
                   |fortran/simplify.c:6857     |fortran/simplify.c:6857
                   |                            |since
                   |                            |r6-4614-g57e596204fceef2e
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2021-11-16
                 CC|                            |kargl at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r6-4614-g57e596204fceef2e.

[Bug fortran/103260] ICE in gfc_simplify_reshape, at fortran/simplify.c:6857 since r6-4614-g57e596204fceef2e

[kargl at gcc dot gnu.org]

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

--- Comment #2 from kargl at gcc dot gnu.org ---
Not sure why Martin tagged me of this problem.
I definitely did not cause it as I don't insert
assert()'s into code I write.  Anywho,

diff --git a/gcc/fortran/simplify.c b/gcc/fortran/simplify.c
index d675f2c3aef..6b7a8eba063 100644
--- a/gcc/fortran/simplify.c
+++ b/gcc/fortran/simplify.c
@@ -6823,6 +6823,10 @@ gfc_simplify_reshape (gfc_expr *source, gfc_expr
*shape_exp,
   if (source->shape == NULL)
     return NULL;

+  if (gfc_is_size_zero_array (source)
+      || gfc_is_size_zero_array (shape_exp))
+    return NULL;
+
   /* Proceed with simplification, unpacking the array.  */

   mpz_init (index);

[Bug fortran/103260] ICE in gfc_simplify_reshape, at fortran/simplify.c:6857 since r6-4614-g57e596204fceef2e

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |anlauf at gcc dot gnu.org
             Status|NEW                         |WAITING

--- Comment #3 from anlauf at gcc dot gnu.org ---
Does no longer appear on trunk at r12-6050.

[Bug fortran/103260] ICE in gfc_simplify_reshape, at fortran/simplify.c:6857 since r6-4614-g57e596204fceef2e

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #4 from anlauf at gcc dot gnu.org ---
It is actually a duplicate of PR103610.

*** This bug has been marked as a duplicate of bug 103610 ***