[Bug fortran/103795] New: ICE in gfc_conv_array_constructor_expr, at fortran/trans-expr.c:8325

[Bug fortran/103795] New: ICE in gfc_conv_array_constructor_expr, at fortran/trans-expr.c:8325

[gscfq@t-online.de]

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

            Bug ID: 103795
           Summary: ICE in gfc_conv_array_constructor_expr, at
                    fortran/trans-expr.c:8325
           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: ---

Started with r7 (expecting STAT=scalar-int-variable) :


$ cat z1.f90
program p
   integer :: a[*] = 2
   print *, a[1, stat=[1]]
end


$ cat z2.f90
program p
   integer :: a[*] = 2
   print *, a[1, stat=1]
end


$ cat z3.f90
program p
   integer :: a[*] = 2
   real :: stat[*]   ! character ...
   print *, a[1, stat=stat]
end


$ cat z4.f90
program p
   integer :: a[*] = 2
   integer :: stat[*]
   print *, a[1, stat=stat[1]]
end


$ gfortran-12-20211219 -c z1.f90 -fcoarray=single
$
$ gfortran-12-20211219 -c z1.f90 -fcoarray=lib
z1.f90:3:26:

    3 |    print *, a[1, stat=[1]]
      |                          1
internal compiler error: in gfc_conv_array_constructor_expr, at
fortran/trans-expr.c:8325
0x886066 gfc_conv_array_constructor_expr
        ../../gcc/fortran/trans-expr.c:8325
0x886066 gfc_conv_expr(gfc_se*, gfc_expr*)
        ../../gcc/fortran/trans-expr.c:9418
0x88cfa2 gfc_conv_expr_reference(gfc_se*, gfc_expr*, bool)
        ../../gcc/fortran/trans-expr.c:9540
0x8a26b9 gfc_conv_intrinsic_caf_get
        ../../gcc/fortran/trans-intrinsic.c:1701
0x8b1c2e gfc_conv_intrinsic_function(gfc_se*, gfc_expr*)
        ../../gcc/fortran/trans-intrinsic.c:10303
0x8852da gfc_conv_expr(gfc_se*, gfc_expr*)
        ../../gcc/fortran/trans-expr.c:9394
0x88cfa2 gfc_conv_expr_reference(gfc_se*, gfc_expr*, bool)
        ../../gcc/fortran/trans-expr.c:9540
0x8b74a7 gfc_trans_transfer(gfc_code*)
        ../../gcc/fortran/trans-io.c:2582
0x8546d7 trans_code
        ../../gcc/fortran/trans.c:2136
0x8b4f8e build_dt
        ../../gcc/fortran/trans-io.c:2026
0x8546b7 trans_code
        ../../gcc/fortran/trans.c:2108
0x87d6be gfc_generate_function_code(gfc_namespace*)
        ../../gcc/fortran/trans-decl.c:7644
0x80063e translate_all_program_units
        ../../gcc/fortran/parse.c:6651
0x80063e gfc_parse_file()
        ../../gcc/fortran/parse.c:6938
0x84d53f gfc_be_parse_file
        ../../gcc/fortran/f95-lang.c:216

[Bug fortran/103795] ICE in gfc_conv_array_constructor_expr, at fortran/trans-expr.c:8325 since r7-1821-g20d0bfcefd6caf09

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE in                      |ICE in
                   |gfc_conv_array_constructor_ |gfc_conv_array_constructor_
                   |expr, at                    |expr, at
                   |fortran/trans-expr.c:8325   |fortran/trans-expr.c:8325
                   |                            |since
                   |                            |r7-1821-g20d0bfcefd6caf09
   Last reconfirmed|                            |2021-12-22
                 CC|                            |fanfarillo.gcc at gmail dot com,
                   |                            |marxin at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r7-1821-g20d0bfcefd6caf09.

[Bug fortran/103795] ICE in gfc_conv_array_constructor_expr, at fortran/trans-expr.c:8325 since r7-1821-g20d0bfcefd6caf09

[kargl at gcc dot gnu.org]

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

kargl at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |kargl at gcc dot gnu.org

--- Comment #2 from kargl at gcc dot gnu.org ---
Created attachment 52044
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52044&action=edit
check STAT= and TEAM= image-selector-specs

The attached patch checks the image-selector-specs for STAT= and TEAM=.

Note, neither NOTIFY= nor TEAM_NUMBER= image-selector-specs are 
supported by gfortran.

[Bug fortran/103795] ICE in gfc_conv_array_constructor_expr, at fortran/trans-expr.c:8325 since r7-1821-g20d0bfcefd6caf09

[kargl at gcc dot gnu.org]

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

kargl at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #52044|0                           |1
        is obsolete|                            |

--- Comment #3 from kargl at gcc dot gnu.org ---
Created attachment 55192
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55192&action=edit
patch that fixes byg

This patch correctly rejects z1.f90 through z4.f90.

[Bug fortran/103795] ICE in gfc_conv_array_constructor_expr, at fortran/trans-expr.c:8325 since r7-1821-g20d0bfcefd6caf09

[kargl at gcc dot gnu.org]

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

kargl at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4