diff options
| author | Harald Anlauf <anlauf@gmx.de> | 2020-07-06 18:52:39 +0200 |
|---|---|---|
| committer | Harald Anlauf <anlauf@gmx.de> | 2020-07-06 18:52:39 +0200 |
| commit | 824084e72e388f81015e7f67922c75f50741355a (patch) | |
| tree | b4771a3f33b47112bc2274ac2cdb580197bf4d7d /gcc/fortran/resolve.c | |
| parent | 0e5abeb0cb06f9798a559e1238839c5d6581657e (diff) | |
| download | gcc-824084e72e388f81015e7f67922c75f50741355a.zip gcc-824084e72e388f81015e7f67922c75f50741355a.tar.gz gcc-824084e72e388f81015e7f67922c75f50741355a.tar.bz2 | |
PR fortran/95709 - ICE in gfc_resolve_code, at fortran/resolve.c:11807
The legacy "assigned GOTO" accepts only scalar integer variables.
Check for proper arguments.
gcc/fortran/
PR fortran/95709
* resolve.c (gfc_resolve_code): Check for valid arguments to
assigned GOTO.
Diffstat (limited to 'gcc/fortran/resolve.c')
| -rw-r--r-- | gcc/fortran/resolve.c | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index 9c178d0..e8ba487 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -11815,10 +11815,18 @@ start: case EXEC_GOTO: if (code->expr1 != NULL) { - if (code->expr1->ts.type != BT_INTEGER) - gfc_error ("ASSIGNED GOTO statement at %L requires an " - "INTEGER variable", &code->expr1->where); - else if (code->expr1->symtree->n.sym->attr.assign != 1) + if (code->expr1->expr_type != EXPR_VARIABLE + || code->expr1->ts.type != BT_INTEGER + || (code->expr1->ref + && code->expr1->ref->type == REF_ARRAY) + || code->expr1->symtree == NULL + || (code->expr1->symtree->n.sym + && (code->expr1->symtree->n.sym->attr.flavor + == FL_PARAMETER))) + gfc_error ("ASSIGNED GOTO statement at %L requires a " + "scalar INTEGER variable", &code->expr1->where); + else if (code->expr1->symtree->n.sym + && code->expr1->symtree->n.sym->attr.assign != 1) gfc_error ("Variable %qs has not been assigned a target " "label at %L", code->expr1->symtree->n.sym->name, &code->expr1->where); |