[Bug fortran/35395] New: Invalid-accepted - public entity with private type should be diagnosed

[Bug fortran/35395] New: Invalid-accepted - public entity with private type should be diagnosed

[w6ws at earthlink dot net]

The following test case should be diagnosed as an error.  This is because the
type definition (e.g, X_t) is private, but the entity defined with it (abc) is
public.

module xyzzy
  implicit none
  private

  type X_t
    real :: y
    real :: z
  end type

  private :: X_t

  type(X_t), parameter, public :: abc = X_t (12.34, 56.78)

end module 

This was observed with several versions of gfortran, including the 4.1.0 IA64
release, the 4.3.0 20081222 snapshot for x86 windows, and the 4.4.0 20080219
snapshot for x86_64 linux.

Both ifort 10.1 and SGI IRIX f90 correctly reject the code.  Interestingly,
Salford 5.10 (wrongly) accepts it.


-- 
           Summary: Invalid-accepted - public entity with private type
                    should be diagnosed
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: w6ws at earthlink dot net
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35395

[Bug fortran/35395] Invalid-accepted - public entity with private type should be diagnosed

[w6ws at earthlink dot net]

------- Comment #1 from w6ws at earthlink dot net  2008-02-27 18:30 -------
Add keywords


-- 

w6ws at earthlink dot net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35395

[Bug fortran/35395] Invalid-accepted - public entity with private type should be diagnosed

[fxcoudert at gcc dot gnu dot org]

------- Comment #2 from fxcoudert at gcc dot gnu dot org  2008-02-28 10:12 -------
Confirmed on i686-apple-darwin8.10.1 with mainline.


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |fxcoudert at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
  GCC build triplet|x86_64-unknown-linux-gnu    |
   GCC host triplet|x86_64-unknown-linux-gnu    |
 GCC target triplet|x86_64-unknown-linux-gnu    |
      Known to fail|                            |4.1.0 4.3.0 4.4.0
   Last reconfirmed|0000-00-00 00:00:00         |2008-02-28 10:12:38
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35395

[Bug fortran/35395] Invalid-accepted - public entity with private type should be diagnosed

[pault at gcc dot gnu dot org]

------- Comment #3 from pault at gcc dot gnu dot org  2008-03-23 09:37 -------
(In reply to comment #1)
> Add keywords
> 

Walter,

This is permitted in F2003 so you have to apply the F95 standard to extract the
message out of gfortran:

[root@localhost svn]# /irun/bin/gfortran -std=f95 p*.f90
pr35395.f90:12.37:

  type(X_t), parameter, public :: abc = X_t (12.34, 56.78)
                                    1
Error: Fortran 2003: PUBLIC parameter 'abc' at (1) of PRIVATE derived type
'x_t'

See 4.5.1.1 of F2003.

Paul


-- 

pault at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35395

[Bug fortran/35395] Invalid-accepted - public entity with private type should be diagnosed

[w6ws at earthlink dot net]

------- Comment #4 from w6ws at earthlink dot net  2008-03-24 17:47 -------
Subject: Re:  Invalid-accepted - public entity with private
 type should be diagnosed

pault at gcc dot gnu dot org wrote:
> 
> This is permitted in F2003 so you have to apply the F95 standard to extract the
> message out of gfortran:

OK, I have researched this further, and concur with your response.
In fact, MR&C 95/2003 discusses this in section 18.14.  (I finally
bought a copy last week...)

So you may close the PR.  However it would also be nice if at least
the following web pages were updated to show that the feature is now
supported:

        http://gcc.gnu.org/wiki/GFortran#news
        http://gcc.gnu.org/wiki/Fortran2003
        http://gcc.gnu.org/wiki/Fortran2003Status

Thank you,

Walter


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35395