summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gfortran.dg
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/gfortran.dg')
-rw-r--r--gcc/testsuite/gfortran.dg/bind_c_usage_18.f9029
-rw-r--r--gcc/testsuite/gfortran.dg/c_kind_tests_2.f036
-rw-r--r--gcc/testsuite/gfortran.dg/interop_params.f034
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" }