1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
! RUN: %python %S/test_errors.py %s %flang_fc1 -pedantic
! Tests of selectors whose defining expressions are pointer-valued functions;
! they must be valid targets, but not pointers.
! (F'2018 11.1.3.3 p1) "The associating entity does not have the ALLOCATABLE or
! POINTER attributes; it has the TARGET attribute if and only if the selector
! is a variable and has either the TARGET or POINTER attribute."
module m1
type t
contains
procedure, nopass :: iptr
end type
contains
function iptr(n)
integer, intent(in), target :: n
integer, pointer :: iptr
!WARNING: Pointer target is not a definable variable
!BECAUSE: 'n' is an INTENT(IN) dummy argument
iptr => n
end function
subroutine test
type(t) tv
integer, target :: itarget
integer, pointer :: ip
associate (sel => iptr(itarget))
ip => sel
!ERROR: POINTER= argument of ASSOCIATED() must be a POINTER
if (.not. associated(sel)) stop
end associate
associate (sel => tv%iptr(itarget))
ip => sel
!ERROR: POINTER= argument of ASSOCIATED() must be a POINTER
if (.not. associated(sel)) stop
end associate
associate (sel => (iptr(itarget)))
!ERROR: In assignment to object pointer 'ip', the target 'sel' is not an object with POINTER or TARGET attributes
ip => sel
!ERROR: POINTER= argument of ASSOCIATED() must be a POINTER
if (.not. associated(sel)) stop
end associate
associate (sel => 0 + iptr(itarget))
!ERROR: In assignment to object pointer 'ip', the target 'sel' is not an object with POINTER or TARGET attributes
ip => sel
!ERROR: POINTER= argument of ASSOCIATED() must be a POINTER
if (.not. associated(sel)) stop
end associate
end subroutine
end module
|
