diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7dbc185d66c..428ba9bd0be 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2017-05-17 Jerry DeLisle + + Backport from trunk + PR libgfortran/80727 + * gfortran.dg/read_3.f90: New test. + 2017-05-17 Jerry DeLisle Backport from trunk diff --git a/gcc/testsuite/gfortran.dg/read_3.f90 b/gcc/testsuite/gfortran.dg/read_3.f90 new file mode 100644 index 00000000000..630666e2938 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/read_3.f90 @@ -0,0 +1,13 @@ +! { dg-do run } +! PR80727 Crash of runtime gfortran library during integer transformation +! Note: before the patch this was giving an incorrect EOR error on READ. +program gfortran_710_io_bug + character str*4 + integer(4) :: i4 + str ='' + i = 256 + write(str,fmt='(a)') i + i = 0 + read ( unit=str(1:4), fmt='(a)' ) i4 + if (i4.ne.256) call abort +end program gfortran_710_io_bug diff --git a/libgfortran/ChangeLog b/libgfortran/ChangeLog index 62a631c79ec..2541f5a824a 100644 --- a/libgfortran/ChangeLog +++ b/libgfortran/ChangeLog @@ -1,3 +1,11 @@ +2017-05-17 Jerry DeLisle + + Backport from trunk + PR libgfortran/80727 + * transfer.c (read_sf_internal): Remove bogus code to detect EOR. + (read_block_form): For internal units, generate EOR if no more + bytes left in unit and we are trying to read with ADVANCE='NO'. + 2017-05-02 Release Manager * GCC 7.1.0 released. diff --git a/libgfortran/io/transfer.c b/libgfortran/io/transfer.c index f16d8c55f6d..928a448f74c 100644 --- a/libgfortran/io/transfer.c +++ b/libgfortran/io/transfer.c @@ -272,12 +272,6 @@ read_sf_internal (st_parameter_dt *dtp, int *length) return NULL; } - if (base && *base == 0) - { - generate_error (&dtp->common, LIBERROR_EOR, NULL); - return NULL; - } - dtp->u.p.current_unit->bytes_left -= *length; if (((dtp->common.flags & IOPARM_DT_HAS_SIZE) != 0) || @@ -470,11 +464,24 @@ read_block_form (st_parameter_dt *dtp, int *nbytes) } } - if (unlikely (dtp->u.p.current_unit->bytes_left == 0 - && !is_internal_unit(dtp))) + if (is_internal_unit(dtp)) { - hit_eof (dtp); - return NULL; + if (*nbytes > 0 && dtp->u.p.current_unit->bytes_left == 0) + { + if (dtp->u.p.advance_status == ADVANCE_NO) + { + generate_error (&dtp->common, LIBERROR_EOR, NULL); + return NULL; + } + } + } + else + { + if (unlikely (dtp->u.p.current_unit->bytes_left == 0)) + { + hit_eof (dtp); + return NULL; + } } *nbytes = dtp->u.p.current_unit->bytes_left;