aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Thomas <pault@gcc.gnu.org>2018-03-01 11:06:18 +0000
committerPaul Thomas <pault@gcc.gnu.org>2018-03-01 11:06:18 +0000
commit71a93e81a3a0b574a88364772d1074be9a7e68f6 (patch)
treeb901d3c51b3f8651d60c1ff12fe4c431739bc5ff
parentb120c8b207d33f00b34fad9256740d6483839d2b (diff)
downloadgcc-71a93e81a3a0b574a88364772d1074be9a7e68f6.zip
gcc-71a93e81a3a0b574a88364772d1074be9a7e68f6.tar.gz
gcc-71a93e81a3a0b574a88364772d1074be9a7e68f6.tar.bz2
re PR fortran/84219 (Failure to generate error for IO of transfer intrinsic, when MOLD has derived type components.)
2018-03-01 Paul Thomas <pault@gcc.gnu.org> PR fortran/84219 * target-memory.c (gfc_interpret_derived): Assert that BT_VOID components are caf tokens. (gfc_target_interpret_expr): Treat BT_VOID expressions as integers. 2018-03-01 Paul Thomas <pault@gcc.gnu.org> PR fortran/84219 * gfortran.dg/coarray_47.f90: New test. From-SVN: r258098
-rw-r--r--gcc/fortran/ChangeLog8
-rw-r--r--gcc/fortran/target-memory.c8
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gfortran.dg/coarray_47.f9013
4 files changed, 34 insertions, 0 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index fd522b6..742b83d 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,5 +1,13 @@
2018-03-01 Paul Thomas <pault@gcc.gnu.org>
+ PR fortran/84219
+ * target-memory.c (gfc_interpret_derived): Assert that BT_VOID
+ components are caf tokens.
+ (gfc_target_interpret_expr): Treat BT_VOID expressions as
+ integers.
+
+2018-03-01 Paul Thomas <pault@gcc.gnu.org>
+
PR fortran/84538
* class.c (class_array_ref_detected): Remove the condition that
there be no reference after the array reference.
diff --git a/gcc/fortran/target-memory.c b/gcc/fortran/target-memory.c
index e445fbe..6b9292b 100644
--- a/gcc/fortran/target-memory.c
+++ b/gcc/fortran/target-memory.c
@@ -547,6 +547,7 @@ gfc_interpret_derived (unsigned char *buffer, size_t buffer_size, gfc_expr *resu
gcc_assert (ptr % 8 == 0);
ptr = ptr/8 + TREE_INT_CST_LOW (DECL_FIELD_OFFSET (cmp->backend_decl));
+ gcc_assert (e->ts.type != BT_VOID || cmp->attr.caf_token);
gfc_target_interpret_expr (&buffer[ptr], buffer_size - ptr, e, true);
}
@@ -602,6 +603,13 @@ gfc_target_interpret_expr (unsigned char *buffer, size_t buffer_size,
gcc_assert (result->representation.length >= 0);
break;
+ case BT_VOID:
+ /* This deals with caf_tokens. */
+ result->representation.length =
+ gfc_interpret_integer (result->ts.kind, buffer, buffer_size,
+ result->value.integer);
+ break;
+
default:
gfc_internal_error ("Invalid expression in gfc_target_interpret_expr.");
break;
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5347544..e4ed421 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,10 @@
2018-03-01 Paul Thomas <pault@gcc.gnu.org>
+ PR fortran/84219
+ * gfortran.dg/coarray_47.f90: New test.
+
+2018-03-01 Paul Thomas <pault@gcc.gnu.org>
+
PR fortran/84538
* gfortran.dg/class_array_23.f03: New test.
diff --git a/gcc/testsuite/gfortran.dg/coarray_47.f90 b/gcc/testsuite/gfortran.dg/coarray_47.f90
new file mode 100644
index 0000000..c33eb9c
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/coarray_47.f90
@@ -0,0 +1,13 @@
+! { dg-do compile }
+! { dg-options "-fcoarray=single" }
+!
+! Contributed by G Steinmetz <gscfq@t-online.de>
+!
+program p
+ type t
+ integer, allocatable :: t
+ end type
+ type(t) :: x
+ integer :: i = -1
+ print *, transfer(i, x) ! { dg-error "cannot have ALLOCATABLE components" }
+end