Currently the validity checks for procedure pointer assignments are limited to formal/actual arguments and function/subroutine (see proc_ptr_11.f90 and PR 38290), but a check for the return value is missing.
Example: procedure(real), pointer :: p1 procedure(integer), pointer :: p2 p1 => iabs p1 => p2 -- Summary: procedure pointer assignments: return value is not checked Product: gcc Version: 4.5.0 Status: UNCONFIRMED Keywords: accepts-invalid 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=39735