This PR is meant to track one leftover item related to procedure pointer
components: No pointer assignment checking is performed yet when a PPC is
involved, cf. the TODO comment in expr.c (gfc_check_pointer_assign).

Short test case:


implicit none

type :: t1
  procedure(integer), pointer, nopass :: ppc
end type

type :: t2
  procedure(real), pointer, nopass :: ppc
end type

type(t1) :: o1
type(t2) :: o2
procedure(logical),pointer :: pp1
procedure(complex),pointer :: pp2

pp1 => pp2
o1%ppc => pp1
pp2 => o2%ppc
o1%ppc => o2%ppc

end


All four pointer assignments in this example are invalid, but only the first
one is caught.


-- 
           Summary: [F03] PPC assignment checking
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: diagnostic
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: janus at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40869

Reply via email to