diff options
author | burnus <burnus@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-11-22 18:18:05 +0000 |
---|---|---|
committer | burnus <burnus@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-11-22 18:18:05 +0000 |
commit | 209d3778a7ecf0614943c5be9263d89dfb76e80c (patch) | |
tree | 9b55d331fc080cfba7104b909bfed362f85a302e /gcc/testsuite/gfortran.dg | |
parent | 1ab28bed908aa0f96ff5b474fc3a4bb90ba6f6d2 (diff) | |
download | gcc-209d3778a7ecf0614943c5be9263d89dfb76e80c.tar.gz |
2008-11-22 Tobias Burnus <burnus@net-b.de>
PR fortran/38160
* trans-types.c (gfc_validate_c_kind): Remove function.
* decl.c (gfc_match_kind_spec): Add C kind parameter check.
(verify_bind_c_derived_type): Remove gfc_validate_c_kind call.
(verify_c_interop_param): Update call.
* gfortran.h (verify_bind_c_derived_type): Update prototype.
(gfc_validate_c_kind): Remove.
* symbol.c (verify_bind_c_derived_type): Update verify_c_interop
* call.
* resolve.c (gfc_iso_c_func_interface): Ditto.
2008-11-22 Tobias Burnus <burnus@net-b.de>
PR fortran/38160
* gfortran.dg/bind_c_usage_18.f90: New test.
* gfortran.dg/c_kind_tests_2.f03: Update dg-messages.
* gfortran.dg/interop_params.f03: Ditto.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@142124 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/testsuite/gfortran.dg')
-rw-r--r-- | gcc/testsuite/gfortran.dg/bind_c_usage_18.f90 | 29 | ||||
-rw-r--r-- | gcc/testsuite/gfortran.dg/c_kind_tests_2.f03 | 6 | ||||
-rw-r--r-- | gcc/testsuite/gfortran.dg/interop_params.f03 | 4 |
3 files changed, 34 insertions, 5 deletions
diff --git a/gcc/testsuite/gfortran.dg/bind_c_usage_18.f90 b/gcc/testsuite/gfortran.dg/bind_c_usage_18.f90 new file mode 100644 index 00000000000..30534cca9a9 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/bind_c_usage_18.f90 @@ -0,0 +1,29 @@ +! { dg-do compile } +! +! PR fortran/38160 +! + +subroutine foo(x,y,z,a) bind(c) ! { dg-warning "but may not be C interoperable" } + use iso_c_binding + implicit none + integer(4) :: x + integer(c_float) :: y ! { dg-error "C kind type parameter is for type REAL" } + complex(c_float) :: z ! OK, c_float == c_float_complex + real(c_float_complex) :: a ! OK, c_float == c_float_complex +end subroutine foo + +use iso_c_binding +implicit none +integer, parameter :: it = c_int +integer, parameter :: dt = c_double +complex(c_int), target :: z1 ! { dg-error "C kind type parameter is for type INTEGER" } +complex(it), target :: z2 ! { dg-error "C kind type parameter is for type INTEGER" } +complex(c_double), target :: z3 ! OK +complex(dt), target :: z4 ! OK +type(c_ptr) :: ptr + +ptr = c_loc(z1) +ptr = c_loc(z2) +ptr = c_loc(z3) +ptr = c_loc(z4) +end diff --git a/gcc/testsuite/gfortran.dg/c_kind_tests_2.f03 b/gcc/testsuite/gfortran.dg/c_kind_tests_2.f03 index dcac65dec43..ced31a554ba 100644 --- a/gcc/testsuite/gfortran.dg/c_kind_tests_2.f03 +++ b/gcc/testsuite/gfortran.dg/c_kind_tests_2.f03 @@ -4,11 +4,11 @@ module c_kind_tests_2 integer, parameter :: myF = c_float real(myF), bind(c) :: myCFloat - integer(myF), bind(c) :: myCInt ! { dg-error "is for type REAL" } + integer(myF), bind(c) :: myCInt ! { dg-error "is for type REAL" } integer(c_double), bind(c) :: myCInt2 ! { dg-error "is for type REAL" } integer, parameter :: myI = c_int - real(myI) :: myReal + real(myI) :: myReal ! { dg-error "is for type INTEGER" } real(myI), bind(c) :: myCFloat2 ! { dg-error "is for type INTEGER" } - real(4), bind(c) :: myFloat ! { dg-warning "may not be a C interoperable" } + real(4), bind(c) :: myFloat ! { dg-warning "may not be a C interoperable" } end module c_kind_tests_2 diff --git a/gcc/testsuite/gfortran.dg/interop_params.f03 b/gcc/testsuite/gfortran.dg/interop_params.f03 index 8163b4a5040..96c7d5cef16 100644 --- a/gcc/testsuite/gfortran.dg/interop_params.f03 +++ b/gcc/testsuite/gfortran.dg/interop_params.f03 @@ -13,8 +13,8 @@ contains integer, value :: my_f90_int end subroutine test_0 - subroutine test_1(my_f90_real) bind(c) ! { dg-error "is for type INTEGER" } - real(c_int), value :: my_f90_real + subroutine test_1(my_f90_real) bind(c) + real(c_int), value :: my_f90_real ! { dg-error "is for type INTEGER" } end subroutine test_1 subroutine test_2(my_type) bind(c) ! { dg-error "is not C interoperable" } |