[Bug fortran/100949] New: [9/10/11/12 Regression] ICE in gfc_conv_expr_present, at fortran/trans-expr.c:1975

[Bug fortran/100949] New: [9/10/11/12 Regression] ICE in gfc_conv_expr_present, at fortran/trans-expr.c:1975

[gscfq@t-online.de]

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

            Bug ID: 100949
           Summary: [9/10/11/12 Regression] ICE in gfc_conv_expr_present,
                    at fortran/trans-expr.c:1975
           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 (before 20180426) :


$ cat z1.f90
subroutine s
entry f
   type t
   end type
   class(t), allocatable :: y, z
   allocate (z, mold=y)
end


$ gfortran-6 -c z1.f90
$
$ gfortran-12-20210606 -c z1.f90
z1.f90:6:23:

    6 |    allocate (z, mold=y)
      |                       1
internal compiler error: in gfc_conv_expr_present, at fortran/trans-expr.c:1975
0x7c8560 gfc_conv_expr_present(gfc_symbol*, bool)
        ../../gcc/fortran/trans-expr.c:1975
0x7ce34a gfc_trans_class_init_assign(gfc_code*)
        ../../gcc/fortran/trans-expr.c:1747
0x817477 gfc_trans_allocate(gfc_code*)
        ../../gcc/fortran/trans-stmt.c:7049
0x79e617 trans_code
        ../../gcc/fortran/trans.c:2090
0x7c4bc4 gfc_generate_function_code(gfc_namespace*)
        ../../gcc/fortran/trans-decl.c:6893
0x74b3f6 translate_all_program_units
        ../../gcc/fortran/parse.c:6461
0x74b3f6 gfc_parse_file()
        ../../gcc/fortran/parse.c:6730
0x79772f gfc_be_parse_file
        ../../gcc/fortran/f95-lang.c:212

[Bug fortran/100949] [9/10/11/12 Regression] ICE in gfc_conv_expr_present, at fortran/trans-expr.c:1975

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4
   Target Milestone|---                         |9.5

[Bug fortran/100949] [9/10/11/12 Regression] ICE in gfc_conv_expr_present, at fortran/trans-expr.c:1975

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2021-06-11
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |vehre at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW

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

[Bug fortran/100949] [9/10/11/12 Regression] ICE in gfc_conv_expr_present, at fortran/trans-expr.c:1975

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

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

--- Comment #2 from anlauf at gcc dot gnu.org ---
Tentative patch which regtests ok:

diff --git a/gcc/fortran/trans-expr.c b/gcc/fortran/trans-expr.c
index de406ad2e8f..9e0dcdefd25 100644
--- a/gcc/fortran/trans-expr.c
+++ b/gcc/fortran/trans-expr.c
@@ -1741,8 +1741,9 @@ gfc_trans_class_init_assign (gfc_code *code)
        }
     }

-  if (code->expr1->symtree->n.sym->attr.optional
-      || code->expr1->symtree->n.sym->ns->proc_name->attr.entry_master)
+  if (code->expr1->symtree->n.sym->attr.dummy
+      && (code->expr1->symtree->n.sym->attr.optional
+         || code->expr1->symtree->n.sym->ns->proc_name->attr.entry_master))
     {
       tree present = gfc_conv_expr_present (code->expr1->symtree->n.sym);
       tmp = build3_loc (input_location, COND_EXPR, TREE_TYPE (tmp),

[Bug fortran/100949] [9/10/11/12 Regression] ICE in gfc_conv_expr_present, at fortran/trans-expr.c:1975

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |anlauf at gcc dot gnu.org

--- Comment #3 from anlauf at gcc dot gnu.org ---
Patch: https://gcc.gnu.org/pipermail/fortran/2021-July/056235.html

[Bug fortran/100949] [9/10/11/12 Regression] ICE in gfc_conv_expr_present, at fortran/trans-expr.c:1975

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:269ca408e2839d7f3554a91515d73d4d95352f68

commit r12-2303-g269ca408e2839d7f3554a91515d73d4d95352f68
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Wed Jul 14 17:25:29 2021 +0200

    Fortran - ICE in gfc_conv_expr_present initializing non-dummy class
variable

    gcc/fortran/ChangeLog:

            PR fortran/100949
            * trans-expr.c (gfc_trans_class_init_assign): Call
            gfc_conv_expr_present only for dummy variables.

    gcc/testsuite/ChangeLog:

            PR fortran/100949
            * gfortran.dg/pr100949.f90: New test.

[Bug fortran/100949] [9/10/11/12 Regression] ICE in gfc_conv_expr_present, at fortran/trans-expr.c:1975

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Harald Anlauf
<anlauf@gcc.gnu.org>:

https://gcc.gnu.org/g:ba66193c2966ff7106245e23d6b359f7d30bcff7

commit r11-8756-gba66193c2966ff7106245e23d6b359f7d30bcff7
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Wed Jul 14 17:25:29 2021 +0200

    Fortran - ICE in gfc_conv_expr_present initializing non-dummy class
variable

    gcc/fortran/ChangeLog:

            PR fortran/100949
            * trans-expr.c (gfc_trans_class_init_assign): Call
            gfc_conv_expr_present only for dummy variables.

    gcc/testsuite/ChangeLog:

            PR fortran/100949
            * gfortran.dg/pr100949.f90: New test.

    (cherry picked from commit 269ca408e2839d7f3554a91515d73d4d95352f68)

[Bug fortran/100949] [9/10/11/12 Regression] ICE in gfc_conv_expr_present, at fortran/trans-expr.c:1975

[cvs-commit at gcc dot gnu.org]

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

--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Harald Anlauf
<anlauf@gcc.gnu.org>:

https://gcc.gnu.org/g:4669f3830fc80921b0e8a0a8d45451820283cc46

commit r10-9985-g4669f3830fc80921b0e8a0a8d45451820283cc46
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Wed Jul 14 17:25:29 2021 +0200

    Fortran - ICE in gfc_conv_expr_present initializing non-dummy class
variable

    gcc/fortran/ChangeLog:

            PR fortran/100949
            * trans-expr.c (gfc_trans_class_init_assign): Call
            gfc_conv_expr_present only for dummy variables.

    gcc/testsuite/ChangeLog:

            PR fortran/100949
            * gfortran.dg/pr100949.f90: New test.

    (cherry picked from commit 269ca408e2839d7f3554a91515d73d4d95352f68)

[Bug fortran/100949] [9/10/11/12 Regression] ICE in gfc_conv_expr_present, at fortran/trans-expr.c:1975

[cvs-commit at gcc dot gnu.org]

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

--- Comment #7 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-9 branch has been updated by Harald Anlauf
<anlauf@gcc.gnu.org>:

https://gcc.gnu.org/g:1847a11f4ad8960a57384ed1ef2d0292c65166ed

commit r9-9627-g1847a11f4ad8960a57384ed1ef2d0292c65166ed
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Wed Jul 14 17:25:29 2021 +0200

    Fortran - ICE in gfc_conv_expr_present initializing non-dummy class
variable

    gcc/fortran/ChangeLog:

            PR fortran/100949
            * trans-expr.c (gfc_trans_class_init_assign): Call
            gfc_conv_expr_present only for dummy variables.

    gcc/testsuite/ChangeLog:

            PR fortran/100949
            * gfortran.dg/pr100949.f90: New test.

    (cherry picked from commit 269ca408e2839d7f3554a91515d73d4d95352f68)

[Bug fortran/100949] [9/10/11/12 Regression] ICE in gfc_conv_expr_present, at fortran/trans-expr.c:1975

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

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

--- Comment #8 from anlauf at gcc dot gnu.org ---
Fixed on all open branches.  Closing.

Thanks for the report!