diff options
| author | Steven G. Kargl <kargl@gcc.gnu.org> | 2019-08-14 04:22:31 +0000 |
|---|---|---|
| committer | Steven G. Kargl <kargl@gcc.gnu.org> | 2019-08-14 04:22:31 +0000 |
| commit | ade8fdbbfd98aafdc12585885dea60460fea0a26 (patch) | |
| tree | eeec6ca2229ce463b70f5e66aafebc5978143959 /gcc/fortran/resolve.c | |
| parent | 5747e0c0e1bce0df39ab7ac342162ecdc6e1343d (diff) | |
| download | gcc-ade8fdbbfd98aafdc12585885dea60460fea0a26.zip gcc-ade8fdbbfd98aafdc12585885dea60460fea0a26.tar.gz gcc-ade8fdbbfd98aafdc12585885dea60460fea0a26.tar.bz2 | |
re PR fortran/87991 (ICE in gfc_constructor_append_expr, at fortran/constructor.c:135)
2019-08-13 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/87991
* resolve.c (check_data_variable): data-stmt-object with pointer
attribute requires a data-stmt-value with the target attribute.
2019-08-13 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/87991
* gfortran.dg/pr87991.f90: New test.
From-SVN: r274412
Diffstat (limited to 'gcc/fortran/resolve.c')
| -rw-r--r-- | gcc/fortran/resolve.c | 29 |
1 files changed, 19 insertions, 10 deletions
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index bd379b6..ac9192a 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -15726,8 +15726,6 @@ check_data_variable (gfc_data_variable *var, locus *where) return false; } - has_pointer = sym->attr.pointer; - if (gfc_is_coindexed (e)) { gfc_error ("DATA element %qs at %L cannot have a coindex", sym->name, @@ -15735,19 +15733,30 @@ check_data_variable (gfc_data_variable *var, locus *where) return false; } + has_pointer = sym->attr.pointer; + for (ref = e->ref; ref; ref = ref->next) { if (ref->type == REF_COMPONENT && ref->u.c.component->attr.pointer) has_pointer = 1; - if (has_pointer - && ref->type == REF_ARRAY - && ref->u.ar.type != AR_FULL) - { - gfc_error ("DATA element %qs at %L is a pointer and so must " - "be a full array", sym->name, where); - return false; - } + if (has_pointer) + { + if (ref->type == REF_ARRAY && ref->u.ar.type != AR_FULL) + { + gfc_error ("DATA element %qs at %L is a pointer and so must " + "be a full array", sym->name, where); + return false; + } + + if (values.vnode->expr->expr_type == EXPR_CONSTANT) + { + gfc_error ("DATA object near %L has the pointer attribute " + "and the corresponding DATA value is not a valid " + "initial-data-target", where); + return false; + } + } } if (e->rank == 0 || has_pointer) |