http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46301
kargl at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |kargl at gcc dot gnu.org
--- Comment #2 from kargl at gcc dot gnu.org 2010-11-04 17:47:49 UTC ---
Index: resolve.c
===================================================================
--- resolve.c (revision 166318)
+++ resolve.c (working copy)
@@ -11739,6 +11739,15 @@ resolve_symbol (gfc_symbol *sym)
gfc_namespace *ns;
gfc_component *c;
+ /* FIXME: Until deferred type parameters are resolved and translated to
+ to something useful, just bail out. */
+ if (sym->ts.type == BT_CHARACTER && sym->ts.deferred)
+ {
+ gfc_error ("Deferred type parameter at %L is unsupported",
+ &sym->declared_at);
+ return;
+ }
+
/* Avoid double resolution of function result symbols. */
if ((sym->result || sym->attr.result) && !sym->attr.dummy
&& (sym->ns != gfc_current_ns))
troutmask:sgk[232] gfc4x -o z g.f90
g.f90:2.40:
character(len=:), allocatable :: S
1
Error: Deferred type parameter at (1) is unsupported
Also note that the testcase fails to compile if
one asks for Fortran conformance with or without this
patch.
troutmask:sgk[233] gfc4x -o z -std=f95 g.f90
g.f90:2.21:
character(len=:), allocatable :: S
1
Error: Fortran 2003: deferred type parameter at (1)
g.f90:4.6:
S=S(3:)
1
Error: Unclassifiable statement at (1)
g.f90:3.8:
S='abcdef'
1
Error: Can't convert CHARACTER(1) to REAL(4) at (1)
