The attached patch has been tested on i586-*-freebsd and x86_64-*-freebsd. If a data-statement-object is a component of a derived type, it checks if that component is allocatable.
2018-12-16 Steven G . Kargl <ka...@gcc.gnu.org> PR fortran/85798 * decl.c (gfc_match_data): If a component of a derived type entity appears in data statement, check that does not have the allocatable attribute. 2018-12-16 Steven G . Kargl <ka...@gcc.gnu.org> PR fortran/85798 * gfortran.dg/pr85798.f90: New test. -- Steve
Index: gcc/fortran/decl.c =================================================================== --- gcc/fortran/decl.c (revision 267189) +++ gcc/fortran/decl.c (working copy) @@ -596,6 +596,7 @@ match gfc_match_data (void) { gfc_data *new_data; + gfc_expr *e; match m; /* Before parsing the rest of a DATA statement, check F2008:c1206. */ @@ -630,6 +631,30 @@ gfc_match_data (void) gfc_error ("Invalid substring in data-implied-do at %L in DATA " "statement", &new_data->var->list->expr->where); goto cleanup; + } + + /* Check for an entity with an allocatable component, which is not + allowed. */ + e = new_data->var->expr; + if (e) + { + bool invalid; + + invalid = false; + for (gfc_ref *ref = e->ref; ref; ref = ref->next) + if ((ref->type == REF_COMPONENT + && ref->u.c.component->attr.allocatable) + || (ref->type == REF_ARRAY + && e->symtree->n.sym->attr.pointer != 1 + && ref->u.ar.as && ref->u.ar.as->type == AS_DEFERRED)) + invalid = true; + + if (invalid) + { + gfc_error ("Allocatable component or deferred-shaped array " + "near %C in DATA statement"); + goto cleanup; + } } m = top_val_list (new_data); Index: gcc/testsuite/gfortran.dg/pr85798.f90 =================================================================== --- gcc/testsuite/gfortran.dg/pr85798.f90 (nonexistent) +++ gcc/testsuite/gfortran.dg/pr85798.f90 (working copy) @@ -0,0 +1,14 @@ +! { dg-do compile } +program p + type t + integer, allocatable :: a(:) + end type + type u + real x + type(t) y + end type + type(t) :: z + type(u) :: q + data z%a(1) / 789 / ! { dg-error "Allocatable component" } + data q%y%a(1) / 789 / ! { dg-error "Allocatable component" } +end