diff options
| author | Steven G. Kargl <kargl@gcc.gnu.org> | 2019-01-10 18:45:38 +0000 |
|---|---|---|
| committer | Steven G. Kargl <kargl@gcc.gnu.org> | 2019-01-10 18:45:38 +0000 |
| commit | bebf94afe55f257942ca4bd378b4006f1f17a0c8 (patch) | |
| tree | edc2cc445b82581019c86417e1883a4ceb9bedb5 /gcc/fortran/decl.c | |
| parent | 8b530f81133e4dd8f9a4aa8057f7bcc54845c9ef (diff) | |
| download | gcc-bebf94afe55f257942ca4bd378b4006f1f17a0c8.zip gcc-bebf94afe55f257942ca4bd378b4006f1f17a0c8.tar.gz gcc-bebf94afe55f257942ca4bd378b4006f1f17a0c8.tar.bz2 | |
re PR fortran/86322 (ICE in reference_record with data statement)
2019-01-10 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/86322
* decl.c (top_var_list): Set locus of expr.
(gfc_match_data): Detect pointer on non-rightmost part-refs.
2019-01-10 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/86322
* gfortran.dg/pr86322_1.f90: New test.
* gfortran.dg/pr86322_2.f90: Ditto.
* gfortran.dg/pr86322_3.f90: Ditto.
From-SVN: r267820
Diffstat (limited to 'gcc/fortran/decl.c')
| -rw-r--r-- | gcc/fortran/decl.c | 26 |
1 files changed, 25 insertions, 1 deletions
diff --git a/gcc/fortran/decl.c b/gcc/fortran/decl.c index 460c45d..e5bfc3b 100644 --- a/gcc/fortran/decl.c +++ b/gcc/fortran/decl.c @@ -337,6 +337,8 @@ top_var_list (gfc_data *d) new_var = gfc_get_data_variable (); *new_var = var; + if (new_var->expr) + new_var->expr->where = gfc_current_locus; if (tail == NULL) d->var = new_var; @@ -597,6 +599,7 @@ gfc_match_data (void) { gfc_data *new_data; gfc_expr *e; + gfc_ref *ref; match m; /* Before parsing the rest of a DATA statement, check F2008:c1206. */ @@ -641,7 +644,7 @@ gfc_match_data (void) bool invalid; invalid = false; - for (gfc_ref *ref = e->ref; ref; ref = ref->next) + for (ref = e->ref; ref; ref = ref->next) if ((ref->type == REF_COMPONENT && ref->u.c.component->attr.allocatable) || (ref->type == REF_ARRAY @@ -655,6 +658,21 @@ gfc_match_data (void) "near %C in DATA statement"); goto cleanup; } + + /* F2008:C567 (R536) A data-i-do-object or a variable that appears + as a data-stmt-object shall not be an object designator in which + a pointer appears other than as the entire rightmost part-ref. */ + ref = e->ref; + if (e->symtree->n.sym->ts.type == BT_DERIVED + && e->symtree->n.sym->attr.pointer + && ref->type == REF_COMPONENT) + goto partref; + + for (; ref; ref = ref->next) + if (ref->type == REF_COMPONENT + && ref->u.c.component->attr.pointer + && ref->next) + goto partref; } m = top_val_list (new_data); @@ -681,6 +699,12 @@ gfc_match_data (void) return MATCH_YES; +partref: + + gfc_error ("part-ref with pointer attribute near %L is not " + "rightmost part-ref of data-stmt-object", + &e->where); + cleanup: set_in_match_data (false); gfc_free_data (new_data); |