aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJosé Rui Faustino de Sousa <jrfsousa@gmail.com>2022-09-02 21:35:22 +0200
committerHarald Anlauf <anlauf@gmx.de>2022-09-03 20:32:37 +0200
commit504424f33771be0405454e7845219d5df1bb88bb (patch)
tree3a62158659305463f37321dc142c0f93742b9f5c
parentdae8b9e2bbb6017bf90d68c7b720c500125c8295 (diff)
downloadgcc-504424f33771be0405454e7845219d5df1bb88bb.zip
gcc-504424f33771be0405454e7845219d5df1bb88bb.tar.gz
gcc-504424f33771be0405454e7845219d5df1bb88bb.tar.bz2
Fortran: Fix ICE with automatic reallocation [PR100245]
gcc/fortran/ChangeLog: PR fortran/100245 * trans-expr.cc (trans_class_assignment): Add if clause to handle derived type in the LHS. gcc/testsuite/ChangeLog: PR fortran/100245 * gfortran.dg/PR100245.f90: New test.
-rw-r--r--gcc/fortran/trans-expr.cc3
-rw-r--r--gcc/testsuite/gfortran.dg/PR100245.f9028
2 files changed, 31 insertions, 0 deletions
diff --git a/gcc/fortran/trans-expr.cc b/gcc/fortran/trans-expr.cc
index 850007f..13c3e7d 100644
--- a/gcc/fortran/trans-expr.cc
+++ b/gcc/fortran/trans-expr.cc
@@ -11436,6 +11436,9 @@ trans_class_assignment (stmtblock_t *block, gfc_expr *lhs, gfc_expr *rhs,
class_han = GFC_CLASS_TYPE_P (TREE_TYPE (lse->expr))
? gfc_class_data_get (lse->expr) : lse->expr;
+ if (!POINTER_TYPE_P (TREE_TYPE (class_han)))
+ class_han = gfc_build_addr_expr (NULL_TREE, class_han);
+
/* Allocate block. */
gfc_init_block (&alloc);
gfc_allocate_using_malloc (&alloc, class_han, size, NULL_TREE);
diff --git a/gcc/testsuite/gfortran.dg/PR100245.f90 b/gcc/testsuite/gfortran.dg/PR100245.f90
new file mode 100644
index 0000000..07c1f7b
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/PR100245.f90
@@ -0,0 +1,28 @@
+! { dg-do run }
+!
+! Test the fix for PR100245
+!
+
+program main_p
+
+ implicit none
+
+ type :: foo_t
+ integer :: a
+ end type foo_t
+
+ integer, parameter :: a = 42
+
+ class(foo_t), allocatable :: val
+ class(foo_t), allocatable :: rs1
+ type(foo_t), allocatable :: rs2
+
+ allocate(val, source=foo_t(42))
+ if (val%a/=a) stop 1
+ rs1 = val
+ if (rs1%a/=a) stop 2
+ rs2 = val
+ if (rs2%a/=a) stop 3
+ deallocate(val, rs1, rs2)
+
+end program main_p