From 2265988cd43beaa553ac76c0ff55f3e60aeba8fb Mon Sep 17 00:00:00 2001 From: Janus Weil Date: Tue, 28 May 2013 13:21:44 +0200 Subject: [PATCH] re PR fortran/57217 ([OOP] Accepts invalid TBP overriding - lacking arguments check) 2013-05-28 Janus Weil Tobias Burnus PR fortran/57217 * interface.c (check_dummy_characteristics): Symmetrize type check. 2013-05-28 Janus Weil Tobias Burnus PR fortran/57217 * gfortran.dg/typebound_override_4.f90: New. Co-Authored-By: Tobias Burnus From-SVN: r199375 --- gcc/fortran/ChangeLog | 6 ++++ gcc/fortran/interface.c | 3 +- gcc/testsuite/ChangeLog | 6 ++++ .../gfortran.dg/typebound_override_4.f90 | 34 +++++++++++++++++++ 4 files changed, 48 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gfortran.dg/typebound_override_4.f90 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index e13a46b5f5d..4ebdf3c2aa5 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2013-05-28 Janus Weil + Tobias Burnus + + PR fortran/57217 + * interface.c (check_dummy_characteristics): Symmetrize type check. + 2013-05-27 Bud Davis PR fortran/50405 diff --git a/gcc/fortran/interface.c b/gcc/fortran/interface.c index 1b967fac275..2f8c6a5e54f 100644 --- a/gcc/fortran/interface.c +++ b/gcc/fortran/interface.c @@ -1030,7 +1030,8 @@ check_dummy_characteristics (gfc_symbol *s1, gfc_symbol *s2, return s1 == s2 ? true : false; /* Check type and rank. */ - if (type_must_agree && !compare_type_rank (s2, s1)) + if (type_must_agree && + (!compare_type_rank (s1, s2) || !compare_type_rank (s2, s1))) { snprintf (errmsg, err_len, "Type/rank mismatch in argument '%s'", s1->name); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c62514c9982..7e70dce0cdd 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2013-05-28 Janus Weil + Tobias Burnus + + PR fortran/57217 + * gfortran.dg/typebound_override_4.f90: New. + 2013-05-28 Richard Biener PR tree-optimization/57411 diff --git a/gcc/testsuite/gfortran.dg/typebound_override_4.f90 b/gcc/testsuite/gfortran.dg/typebound_override_4.f90 new file mode 100644 index 00000000000..2b747a87b6e --- /dev/null +++ b/gcc/testsuite/gfortran.dg/typebound_override_4.f90 @@ -0,0 +1,34 @@ +! { dg-do compile } +! +! PR 57217: [4.7/4.8/4.9 Regression][OOP] Accepts invalid TBP overriding - lacking arguments check +! +! Contributed by Salvatore Filippone + +module base_mod + implicit none + type base_type + contains + procedure, pass(map) :: clone => base_clone + end type +contains + subroutine base_clone(map,mapout) + class(base_type) :: map + class(base_type) :: mapout + end subroutine +end module + +module r_mod + use base_mod + implicit none + type, extends(base_type) :: r_type + contains + procedure, pass(map) :: clone => r_clone ! { dg-error "Type/rank mismatch in argument" } + end type +contains + subroutine r_clone(map,mapout) + class(r_type) :: map + class(r_type) :: mapout + end subroutine +end module + +! { dg-final { cleanup-modules "base_mod r_mod" } } -- 2.30.2