re PR fortran/20897 (derived type name shall not be same as intrinsic type name)

PR fortran/20897
fortran/
* decl.c (gfc_match_derived_decl): Reliably reject
'doubleprecision' and 'doublecomplex' as type names.
testsuite/
* gfortran.dg/derived_name_1.f90: New.
* gfortran.dg/derived_name_2.f: New.

From-SVN: r123129
This commit is contained in:
Tobias Schlüter 2007-03-22 16:37:25 +01:00
parent 8766652c6e
commit 1e863adf83
5 changed files with 56 additions and 2 deletions

View file

@ -1,3 +1,9 @@
2007-03-22 Tobias Schlüter <tobi@gcc.gnu.org>
PR fortran/20897
* decl.c (gfc_match_derived_decl): Reliably reject
'doubleprecision' and 'doublecomplex' as type names.
2007-03-19 Francois-Xavier Coudert <coudert@clipper.ens.fr>
PR fortran/31203

View file

@ -4341,12 +4341,16 @@ loop:
return m;
/* Make sure the name isn't the name of an intrinsic type. The
'double precision' type doesn't get past the name matcher. */
'double {precision,complex}' types don't get past the name
matcher, unless they're written as a single word or in fixed
form. */
if (strcmp (name, "integer") == 0
|| strcmp (name, "real") == 0
|| strcmp (name, "character") == 0
|| strcmp (name, "logical") == 0
|| strcmp (name, "complex") == 0)
|| strcmp (name, "complex") == 0
|| strcmp (name, "doubleprecision") == 0
|| strcmp (name, "doublecomplex") == 0)
{
gfc_error ("Type name '%s' at %C cannot be the same as an intrinsic "
"type", name);

View file

@ -1,3 +1,9 @@
2007-03-22 Tobias Schlüter <tobi@gcc.gnu.org>
PR fortran/20897
* gfortran.dg/derived_name_1.f90: New.
* gfortran.dg/derived_name_2.f: New.
2007-03-21 Richard Sandiford <richard@codesourcery.com>
* lib/target-supports.exp (check_effective_target_nonpic): New

View file

@ -0,0 +1,19 @@
! { dg-do compile }
! PR 20897
! Make sure intrinsic type names do not appear as names of derived types
type integer ! { dg-error "cannot be the same as an intrinsic type" }
type real ! { dg-error "cannot be the same as an intrinsic type" }
type complex ! { dg-error "cannot be the same as an intrinsic type" }
type character ! { dg-error "cannot be the same as an intrinsic type" }
type logical ! { dg-error "cannot be the same as an intrinsic type" }
type complex ! { dg-error "cannot be the same as an intrinsic type" }
type double precision ! { dg-error "Unclassifiable statement" }
type doubleprecision ! { dg-error "cannot be the same as an intrinsic type" }
type double complex ! { dg-error "Unclassifiable statement" }
type doublecomplex ! { dg-error "cannot be the same as an intrinsic type" }
type x
integer y
end type x
end

View file

@ -0,0 +1,19 @@
! { dg-do compile }
! PR 20897
! Make sure intrinsic type names do not appear as names of derived types
type integer ! { dg-error "cannot be the same as an intrinsic type" }
type real ! { dg-error "cannot be the same as an intrinsic type" }
type complex ! { dg-error "cannot be the same as an intrinsic type" }
type character ! { dg-error "cannot be the same as an intrinsic type" }
type logical ! { dg-error "cannot be the same as an intrinsic type" }
type complex ! { dg-error "cannot be the same as an intrinsic type" }
type double precision ! { dg-error "cannot be the same as an intrinsic type" }
type doubleprecision ! { dg-error "cannot be the same as an intrinsic type" }
type double complex ! { dg-error "cannot be the same as an intrinsic type" }
type doublecomplex ! { dg-error "cannot be the same as an intrinsic type" }
type x
integer y
end type x
end