R430 derived-type-stmt is TYPE [ [ , type-attr-spec-list ] :: ] type-name
[ ( type-param-name-list ) ]
Thus the :: is mandatory, however, gfortran does not give any diagnostic with
-std=f2003.
Expected: As with "type, private :: t" or "type, private, bind(c) t" give a
diagnostic error such as:
Error: Expected :: in TYPE definition at (1)
Test case:
module a
type, private, bind(C) b
integer :: i
end type b
end module a
Note: g95 also accepts it without :: whereas NAG f95 and ifort give an error.
--
Summary: "type, bind(C) t": Diagnose missing "::"
Product: gcc
Version: 4.3.0
Status: UNCONFIRMED
Keywords: diagnostic
Severity: normal
Priority: P3
Component: fortran
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: burnus at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33066
