------- Comment #1 from burnus at gcc dot gnu dot org 2008-03-28 19:40 -------
Confirmed.
A simple patch would be the following:
Index: expr.c
===================================================================
--- expr.c (Revision 133693)
+++ expr.c (Arbeitskopie)
@@ -2502,6 +2502,7 @@ check_restricted (gfc_expr *e)
|| sym->attr.use_assoc
|| sym->attr.dummy
|| sym->attr.implied_index
+ || sym->attr.flavor == FL_PARAMETER
|| sym->ns != gfc_current_ns
|| (sym->ns->proc_name != NULL
&& sym->ns->proc_name->attr.flavor == FL_MODULE)
However, this also accepts the following invalid program (note the "i"):
program try_vf0016
call vf0016( 1, 2, 3)
end
SUBROUTINE VF0016(nf1,nf2,nf3)
CHARACTER(LEN=9,KIND=1),DIMENSION(3) , PARAMETER
$ :: TEST_STRINGS =
$ (/' HI','ABC ',' CDEFG '/)
integer :: i = 2
CHARACTER :: TEST_ARRAY
$(LEN_TRIM(ADJUSTL(TEST_STRINGS(i))), ! changing nf1 to 1 fixes it
$ SUM(LEN_TRIM(ADJUSTL(TEST_STRINGS))),
$ LEN_TRIM(ADJUSTL(ADJUSTR(TEST_STRINGS(3)))),
$ SUM(LEN_TRIM(ADJUSTL(ADJUSTR(TEST_STRINGS(NF1:NF3:NF2))))) )
print *, 2, 10, 5, 7
print *, shape (test_array)
end
We therefore need to loop over expr->ref and check_restricted() these
expressions as well. I think that we can throw in another half a dozen checks
as well. ;-)
--
burnus at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |burnus at gcc dot gnu dot
| |org
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Keywords| |rejects-valid
Last reconfirmed|0000-00-00 00:00:00 |2008-03-28 19:40:15
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35723
