decl.c (gfc_verify_c_interop_param): Allow assumed-shape with -std=f2008ts.

2012-07-20  Tobias Burnus  <burnus@net-b.de>

        * decl.c (gfc_verify_c_interop_param): Allow assumed-shape
        with -std=f2008ts.

2012-07-20  Tobias Burnus  <burnus@net-b.de>

        * gfortran.dg/bind_c_array_params_2.f90: New.
        * gfortran.dg/bind_c_array_params.f03: Add -std=f2003
        and update dg-error.

From-SVN: r189726
This commit is contained in:
Tobias Burnus 2012-07-20 22:15:59 +02:00 committed by Tobias Burnus
parent 5d8c54a731
commit 95d47b8dbc
5 changed files with 41 additions and 24 deletions

View File

@ -1,3 +1,8 @@
2012-07-20 Tobias Burnus <burnus@net-b.de>
* decl.c (gfc_verify_c_interop_param): Allow assumed-shape
with -std=f2008ts.
2012-07-20 Tobias Burnus <burnus@net-b.de>
PR fortran/48820

View File

@ -1095,29 +1095,15 @@ gfc_verify_c_interop_param (gfc_symbol *sym)
retval = FAILURE;
/* Make sure that if it has the dimension attribute, that it is
either assumed size or explicit shape. */
if (sym->as != NULL)
{
if (sym->as->type == AS_ASSUMED_SHAPE)
{
gfc_error ("Assumed-shape array '%s' at %L cannot be an "
"argument to the procedure '%s' at %L because "
"the procedure is BIND(C)", sym->name,
&(sym->declared_at), sym->ns->proc_name->name,
&(sym->ns->proc_name->declared_at));
retval = FAILURE;
}
if (sym->as->type == AS_DEFERRED)
{
gfc_error ("Deferred-shape array '%s' at %L cannot be an "
"argument to the procedure '%s' at %L because "
"the procedure is BIND(C)", sym->name,
&(sym->declared_at), sym->ns->proc_name->name,
&(sym->ns->proc_name->declared_at));
retval = FAILURE;
}
}
either assumed size or explicit shape. Deferred shape is already
covered by the pointer/allocatable attribute. */
if (sym->as != NULL && sym->as->type == AS_ASSUMED_SHAPE
&& gfc_notify_std (GFC_STD_F2008_TS, "Assumed-shape array '%s' "
"at %L as dummy argument to the BIND(C) "
"procedure '%s' at %L", sym->name,
&(sym->declared_at), sym->ns->proc_name->name,
&(sym->ns->proc_name->declared_at)) == FAILURE)
retval = FAILURE;
}
}

View File

@ -1,3 +1,9 @@
2012-07-20 Tobias Burnus <burnus@net-b.de>
* gfortran.dg/bind_c_array_params_2.f90: New.
* gfortran.dg/bind_c_array_params.f03: Add -std=f2003
and update dg-error.
2012-07-20 Tobias Burnus <burnus@net-b.de>
* gfortran.dg/assumed_rank_12.f90: Update dg-error.

View File

@ -1,10 +1,11 @@
! { dg-do compile }
! { dg-options "-std=f2003" }
module bind_c_array_params
use, intrinsic :: iso_c_binding
implicit none
contains
subroutine sub0(assumed_array) bind(c) ! { dg-error "cannot be an argument" }
subroutine sub0(assumed_array) bind(c) ! { dg-error "TS 29113: Assumed-shape array 'assumed_array' at .1. as dummy argument to the BIND.C. procedure 'sub0'" }
integer(c_int), dimension(:) :: assumed_array
end subroutine sub0

View File

@ -0,0 +1,19 @@
! { dg-do compile }
! { dg-options "-std=f2008ts -fdump-tree-original" }
!
! Check that assumed-shape variables are correctly passed to BIND(C)
! as defined in TS 29913
!
interface
subroutine test (xx) bind(C, name="myBindC")
type(*), dimension(:,:) :: xx
end subroutine test
end interface
integer :: aa(4,4)
call test(aa)
end
! { dg-final { scan-tree-dump-times "test \\\(&parm\\." 1 "original" } }
! { dg-final { scan-assembler-times "myBindC" 1 } }