diff options
| author | Daniel Kraft <d@domob.eu> | 2010-09-03 10:01:51 +0200 |
|---|---|---|
| committer | Daniel Kraft <domob@gcc.gnu.org> | 2010-09-03 10:01:51 +0200 |
| commit | e5ca969363516ec05db3357c22079d7fdcd70ccf (patch) | |
| tree | ab6ea012d837fff217565926dab37412151bd71e /gcc/fortran/resolve.c | |
| parent | e97e08bc2e561f285dab48468b5fa0cba6a48d88 (diff) | |
| download | gcc-e5ca969363516ec05db3357c22079d7fdcd70ccf.zip gcc-e5ca969363516ec05db3357c22079d7fdcd70ccf.tar.gz gcc-e5ca969363516ec05db3357c22079d7fdcd70ccf.tar.bz2 | |
re PR fortran/44602 ([F2008] EXIT: Jump to end of construct)
2010-09-03 Daniel Kraft <d@domob.eu>
PR fortran/44602
* gfortran.h (struct gfc_code): Renamed `whichloop' to
`which_construct' as this is no longer restricted to loops.
* parse.h (struct gfc_state_data): New field `construct'.
* match.c (match_exit_cycle): Handle EXIT from non-loops.
* parse.c (push_state): Set `construct' field.
* resolve.c (resolve_select_type): Extend comment.
* trans-stmt.c (gfc_trans_if): Add exit label.
(gfc_trans_block_construct), (gfc_trans_select): Ditto.
(gfc_trans_simple_do): Store exit/cycle labels on the gfc_code itself.
(gfc_trans_do), (gfc_trans_do_while): Ditto.
(gfc_trans_exit): Use new name `which_construct' instead of `whichloop'.
(gfc_trans_cycle): Ditto.
(gfc_trans_if_1): Use fold_build3_loc instead of fold_build3.
2010-09-03 Daniel Kraft <d@domob.eu>
PR fortran/44602
* gfortran.dg/exit_2.f08; Adapt error messages.
* gfortran.dg/exit_3.f08: New test.
* gfortran.dg/exit_4.f08: New test.
* gfortran.dg/exit_5.f03: New test.
From-SVN: r163798
Diffstat (limited to 'gcc/fortran/resolve.c')
| -rw-r--r-- | gcc/fortran/resolve.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index 6b922a0..4b6ac1d 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -7688,7 +7688,10 @@ resolve_select_type (gfc_code *code) return; /* Transform SELECT TYPE statement to BLOCK and associate selector to - target if present. */ + target if present. If there are any EXIT statements referring to the + SELECT TYPE construct, this is no problem because the gfc_code + reference stays the same and EXIT is equally possible from the BLOCK + it is changed to. */ code->op = EXEC_BLOCK; if (code->expr2) { |