aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTobias Burnus <burnus@net-b.de>2007-12-14 16:14:29 +0100
committerTobias Burnus <burnus@gcc.gnu.org>2007-12-14 16:14:29 +0100
commit720522379c33e1054acc70d63382ae4bb65ae119 (patch)
tree1091ccae9b7cf74d9e3be7484844579eb1c0712a
parent4956b1f14709e967ec5a374a4f9f5bcdadaea480 (diff)
downloadgcc-720522379c33e1054acc70d63382ae4bb65ae119.zip
gcc-720522379c33e1054acc70d63382ae4bb65ae119.tar.gz
gcc-720522379c33e1054acc70d63382ae4bb65ae119.tar.bz2
re PR fortran/34438 (gfortran not compliant w.r.t default initialization of derived type component and implicit SAVE attribute)
2007-12-14 Tobias Burnus <burnus@net-b.de> PR fortran/34438 * resolve.c (resolve_symbol): Do not emit public-variable- of-private-derived-type error for non-module variables. 2007-12-14 Tobias Burnus <burnus@net-b.de> PR fortran/34438 * gfortran.dg/private_type_10.f90: New. From-SVN: r130933
-rw-r--r--gcc/fortran/ChangeLog6
-rw-r--r--gcc/fortran/resolve.c3
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gfortran.dg/private_type_10.f9034
4 files changed, 47 insertions, 1 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 40bbc53..200f38c 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,5 +1,11 @@
2007-12-14 Tobias Burnus <burnus@net-b.de>
+ PR fortran/34438
+ * resolve.c (resolve_symbol): Do not emit public-variable-
+ of-private-derived-type error for non-module variables.
+
+2007-12-14 Tobias Burnus <burnus@net-b.de>
+
PR fortran/34398
* expr.c (gfc_check_assign): Add range checks for assignments of BOZs.
* resolve.c (resolve_ordinary_assign): Ditto.
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c
index bee74e5..16543bc 100644
--- a/gcc/fortran/resolve.c
+++ b/gcc/fortran/resolve.c
@@ -7848,10 +7848,11 @@ resolve_symbol (gfc_symbol *sym)
See 4.4.1 (F95) and 4.5.1.1 (F2003); and related interpretation
161 in 95-006r3. */
if (sym->ts.type == BT_DERIVED
+ && sym->ns->proc_name && sym->ns->proc_name->attr.flavor == FL_MODULE
+ && !sym->ts.derived->attr.use_assoc
&& gfc_check_access (sym->attr.access, sym->ns->default_access)
&& !gfc_check_access (sym->ts.derived->attr.access,
sym->ts.derived->ns->default_access)
- && !sym->ts.derived->attr.use_assoc
&& gfc_notify_std (GFC_STD_F2003, "Fortran 2003: PUBLIC %s '%s' at %L "
"of PRIVATE derived type '%s'",
(sym->attr.flavor == FL_PARAMETER) ? "parameter"
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index d021240e5..faf00e1 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,10 @@
2007-12-14 Tobias Burnus <burnus@net-b.de>
+ PR fortran/34438
+ * gfortran.dg/private_type_10.f90: New.
+
+2007-12-14 Tobias Burnus <burnus@net-b.de>
+
PR fortran/34398
* gfortran.dg/nan_4.f90: New.
diff --git a/gcc/testsuite/gfortran.dg/private_type_10.f90 b/gcc/testsuite/gfortran.dg/private_type_10.f90
new file mode 100644
index 0000000..561cfb7
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/private_type_10.f90
@@ -0,0 +1,34 @@
+! { dg-do compile }
+! { dg-options "-std=f95" }
+!
+! PR fortran/34438
+!
+! Check that error is not issued for local, non-module
+! variables.
+!
+! Contributed by Sven Buijssen
+!
+module demo
+ implicit none
+ private
+ type myint
+ integer :: bar = 42
+ end type myint
+ public :: func
+contains
+ subroutine func()
+ type(myint) :: foo
+ end subroutine func
+end module demo
+
+module demo2
+ implicit none
+ private
+ type myint
+ integer :: bar = 42
+ end type myint
+ type(myint), save :: foo2 ! { dg-error "of PRIVATE derived type" }
+ public :: foo2
+end module demo2
+
+! { dg-final { cleanup-modules "demo" } }