diff options
| author | Feng Wang <fengwang@nudt.edu.cn> | 2005-03-15 02:52:38 +0000 |
|---|---|---|
| committer | Feng Wang <fengwang@gcc.gnu.org> | 2005-03-15 02:52:38 +0000 |
| commit | ce2df7c64ae0185dab22bb38628acf8ae48551b7 (patch) | |
| tree | 9d626c10efe2ea1ff72bf8bd94fa123c776b3dad /gcc/fortran/resolve.c | |
| parent | 08091139067ee2565a3ad248bd0113e521a425ee (diff) | |
| download | gcc-ce2df7c64ae0185dab22bb38628acf8ae48551b7.zip gcc-ce2df7c64ae0185dab22bb38628acf8ae48551b7.tar.gz gcc-ce2df7c64ae0185dab22bb38628acf8ae48551b7.tar.bz2 | |
re PR fortran/18827 (ICE on assign to common variable)
fortran/
2005-03-15 Feng Wang <fengwang@nudt.edu.cn>
PR fortran/18827
* io.c (resolve_tag): Add checking on assigned label.
(match_dt_format): Does not set symbol assign attribute.
* match.c (gfc_match_goto):Does not set symbol assign attribute.
* resolve.c (resolve_code): Add checking on assigned label.
* trans-common.c (build_field): Deals with common variable assigned
a label.
* trans-stmt.c (gfc_conv_label_variable): New function.
(gfc_trans_label_assign): Use it.
(gfc_trans_goto): Ditto.
* trans-io.c (set_string): Ditto.
* trans.h (gfc_conv_label_variable): Add prototype.
testsuite/
2005-03-15 Feng Wang <fengwang@nudt.edu.cn>
PR fortran/18827
* gfortran.dg/assign_2.f90: New test.
* gfortran.dg/assign_3.f90: New test.
* gfortran.dg/assign.f90: New test.
From-SVN: r96467
Diffstat (limited to 'gcc/fortran/resolve.c')
| -rw-r--r-- | gcc/fortran/resolve.c | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index 35795c3..730f4fb 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -3695,10 +3695,17 @@ resolve_code (gfc_code * code, gfc_namespace * ns) break; case EXEC_GOTO: - if (code->expr != NULL && code->expr->ts.type != BT_INTEGER) - gfc_error ("ASSIGNED GOTO statement at %L requires an INTEGER " + if (code->expr != NULL) + { + if (code->expr->ts.type != BT_INTEGER) + gfc_error ("ASSIGNED GOTO statement at %L requires an INTEGER " "variable", &code->expr->where); - else + else if (code->expr->symtree->n.sym->attr.assign != 1) + gfc_error ("Variable '%s' has not been assigned a target label " + "at %L", code->expr->symtree->n.sym->name, + &code->expr->where); + } + else resolve_branch (code->label, code); break; |