summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gfortran.dg/c_loc_tests_16.f90
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/gfortran.dg/c_loc_tests_16.f90')
-rw-r--r--gcc/testsuite/gfortran.dg/c_loc_tests_16.f9025
1 files changed, 25 insertions, 0 deletions
diff --git a/gcc/testsuite/gfortran.dg/c_loc_tests_16.f90 b/gcc/testsuite/gfortran.dg/c_loc_tests_16.f90
new file mode 100644
index 000000000..1c86a1f9c
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/c_loc_tests_16.f90
@@ -0,0 +1,25 @@
+! { dg-do compile }
+! { dg-options "-fcoarray=single" }
+! PR 38536 - array sections as arguments to c_loc are illegal.
+ use iso_c_binding
+ type, bind(c) :: t1
+ integer(c_int) :: i(5)
+ end type t1
+ type, bind(c):: t2
+ type(t1) :: t(5)
+ end type t2
+ type, bind(c) :: t3
+ type(t1) :: t(5,5)
+ end type t3
+
+ type(t2), target :: tt
+ type(t3), target :: ttt
+ integer(c_int), target :: n(3)
+ integer(c_int), target :: x[*]
+ type(C_PTR) :: p
+
+ p = c_loc(tt%t%i(1)) ! { dg-error "Array section not permitted" }
+ p = c_loc(n(1:2)) ! { dg-warning "Array section" }
+ p = c_loc(ttt%t(5,1:2)%i(1)) ! { dg-error "Array section not permitted" }
+ p = c_loc(x[1]) ! { dg-error "Coindexed argument not permitted" }
+ end