[gcc r10-9985] Fortran - ICE in gfc_conv_expr_present initializing non-dummy class variable

[gcc r10-9985] Fortran - ICE in gfc_conv_expr_present initializing non-dummy class variable

[Harald Anlauf]

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)

Diff:
---
 gcc/fortran/trans-expr.c               |  5 +++--
 gcc/testsuite/gfortran.dg/pr100949.f90 | 10 ++++++++++
 2 files changed, 13 insertions(+), 2 deletions(-)

diff --git a/gcc/fortran/trans-expr.c b/gcc/fortran/trans-expr.c
index a12cd2fde5a..d88ad2b293a 100644
--- a/gcc/fortran/trans-expr.c
+++ b/gcc/fortran/trans-expr.c
@@ -1648,8 +1648,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),
diff --git a/gcc/testsuite/gfortran.dg/pr100949.f90 b/gcc/testsuite/gfortran.dg/pr100949.f90
new file mode 100644
index 00000000000..6c736fd7f72
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr100949.f90
@@ -0,0 +1,10 @@
+! { dg-do compile }
+! PR fortran/100949 - ICE in gfc_conv_expr_present, at fortran/trans-expr.c:1975
+
+subroutine s
+entry f
+  type t
+  end type
+  class(t), allocatable :: y, z
+  allocate (z, mold=y)
+end