annotate gcc/testsuite/gfortran.dg/assumed_type_5.f90 @ 152:2b5abeee2509

update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 ! { dg-do compile }
kono
parents:
diff changeset
2 !
kono
parents:
diff changeset
3 ! PR fortran/57035
kono
parents:
diff changeset
4 !
kono
parents:
diff changeset
5 !
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 subroutine assumed_rank (a)
kono
parents:
diff changeset
8 use iso_c_binding
kono
parents:
diff changeset
9 integer, intent(in), target :: a(..)
kono
parents:
diff changeset
10 integer :: c(1:4)
kono
parents:
diff changeset
11 type(c_ptr) :: xx
kono
parents:
diff changeset
12 c = ubound(c,a) ! { dg-error "Assumed-rank argument at .1. is only permitted as first actual argument to the intrinsic inquiry function ubound" }
kono
parents:
diff changeset
13 c = transfer(a,1) ! { dg-error "Assumed-rank argument at .1. is only permitted as actual argument to intrinsic inquiry functions" }
kono
parents:
diff changeset
14 xx = c_loc(a)
kono
parents:
diff changeset
15 end subroutine
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 subroutine assumed_type (a)
kono
parents:
diff changeset
18 use iso_c_binding
kono
parents:
diff changeset
19 type(*), intent(in), target :: a
kono
parents:
diff changeset
20 integer :: c(1:4)
kono
parents:
diff changeset
21 type(c_ptr) :: xx
kono
parents:
diff changeset
22 c = ubound(c,a) ! { dg-error "Assumed-type argument at .1. is only permitted as first actual argument to the intrinsic ubound" }
kono
parents:
diff changeset
23 c = transfer(a,1) ! { dg-error "Assumed-type argument at .1. is not permitted as actual argument to the intrinsic transfer" }
kono
parents:
diff changeset
24 xx = c_loc(a)
kono
parents:
diff changeset
25 end subroutine
kono
parents:
diff changeset
26
kono
parents:
diff changeset
27 subroutine no_arg_check (a)
kono
parents:
diff changeset
28 use iso_c_binding
kono
parents:
diff changeset
29 integer, intent(in), target :: a
kono
parents:
diff changeset
30 !gcc$ attributes no_arg_check :: a
kono
parents:
diff changeset
31 integer :: c(1:4)
kono
parents:
diff changeset
32 type(c_ptr) :: xx
kono
parents:
diff changeset
33 c = ubound(c,a) ! { dg-error "Variable with NO_ARG_CHECK attribute at .1. is only permitted as argument to the intrinsic functions C_LOC and PRESENT" }
kono
parents:
diff changeset
34 c = transfer(a,1) ! { dg-error "Variable with NO_ARG_CHECK attribute at .1. is only permitted as argument to the intrinsic functions C_LOC and PRESENT" }
kono
parents:
diff changeset
35 xx = c_loc(a)
kono
parents:
diff changeset
36 end subroutine