diff options
| author | Steven G. Kargl <kargl@gcc.gnu.org> | 2006-02-03 19:11:27 +0000 |
|---|---|---|
| committer | Steven G. Kargl <kargl@gcc.gnu.org> | 2006-02-03 19:11:27 +0000 |
| commit | 219fa8c3bd143161ed37bf6197cb83c7c87e9b6f (patch) | |
| tree | 50c12e62ea4c706beae0f2e06912b333f9904b99 /gcc/fortran | |
| parent | c57bf6210beafda78650af0e0e1647833f42d174 (diff) | |
| download | gcc-219fa8c3bd143161ed37bf6197cb83c7c87e9b6f.zip gcc-219fa8c3bd143161ed37bf6197cb83c7c87e9b6f.tar.gz gcc-219fa8c3bd143161ed37bf6197cb83c7c87e9b6f.tar.bz2 | |
[multiple changes]
2006-02-03 Steven G. Kargl <kargls@comcast.net>
Paul Thomas <pault@gcc.gnu.org>
* resolve.c (resolve_symbol): Default initialization of derived type
component reguires the SAVE attribute.
2006-02-03 Steven G. Kargl <kargls@comcast.net>
* gfortran.dg/char_result_11.f90: Add SAVE.
* gfortran.dg/der_pointer_4.f90: Ditto.
* gfortran.dg/default_initialization.f90: New test.
From-SVN: r110554
Diffstat (limited to 'gcc/fortran')
| -rw-r--r-- | gcc/fortran/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fortran/resolve.c | 31 |
2 files changed, 32 insertions, 5 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 80a453d..a9a610e 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2006-02-03 Steven G. Kargl <kargls@comcast> + Paul Thomas <pault@gcc.gnu.org> + + * resolve.c (resolve_symbol): Default initialization of derived type + component reguires the SAVE attribute. + 2006-02-02 Steven G. Kargl <kargls@comcast> PR fortran/24958 diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index ca89f88..3767992 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -4511,11 +4511,12 @@ resolve_symbol (gfc_symbol * sym) int formal_ns_save, check_constant, mp_flag; int i, flag; gfc_namelist *nl; - gfc_symtree * symtree; - gfc_symtree * this_symtree; - gfc_namespace * ns; - gfc_component * c; - gfc_formal_arglist * arg; + gfc_symtree *symtree; + gfc_symtree *this_symtree; + gfc_namespace *ns; + gfc_component *c; + gfc_formal_arglist *arg; + gfc_expr *constructor_expr; if (sym->attr.flavor == FL_UNKNOWN) { @@ -4857,6 +4858,26 @@ resolve_symbol (gfc_symbol * sym) return; } + /* 4th constraint in section 11.3: "If an object of a type for which + component-initialization is specified (R429) appears in the + specification-part of a module and does not have the ALLOCATABLE + or POINTER attribute, the object shall have the SAVE attribute." */ + + if (sym->ts.type == BT_DERIVED && !(sym->value || flag)) + constructor_expr = gfc_default_initializer (&sym->ts); + + if (sym->ns->proc_name + && sym->ns->proc_name->attr.flavor == FL_MODULE + && constructor_expr + && !sym->ns->save_all && !sym->attr.save + && !sym->attr.pointer && !sym->attr.allocatable) + { + gfc_error("Object '%s' at %L must have the SAVE attribute %s", + sym->name, &sym->declared_at, + "for default initialization of a component"); + return; + } + /* Assign default initializer. */ if (sym->ts.type == BT_DERIVED && !(sym->value || flag) && !sym->attr.pointer) |