This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Fix FIXME in call handling of the alias-oracle
- From: Janus Weil <janus at gcc dot gnu dot org>
- To: Richard Guenther <rguenther at suse dot de>
- Cc: gcc-patches at gcc dot gnu dot org, fortran at gcc dot gnu dot org
- Date: Fri, 26 Jun 2009 10:21:07 +0200
- Subject: Re: [PATCH] Fix FIXME in call handling of the alias-oracle
- References: <alpine.LNX.2.00.0906251711210.2044@zhemvz.fhfr.qr>
2009/6/25 Richard Guenther <rguenther@suse.de>:
>
> This exposes TBAA issues in the Fortran frontend, notably
> gfortran.dg/proc_ptr_result_1.f90 will now segfault. ?Reduced
> testcase:
>
> program proc_ptr_14
> implicit none
> procedure(integer),pointer :: p,p2
> p => k(p2)
> if (p(-10)/=p2(-10)) call abort()
> contains
> ?function k(arg)
> ? ?procedure(),pointer :: k,arg
> ? ?k => iabs
> ? ?arg => k
> ?end function
> end
This part of the test case is invalid anyway (k can not be implicitly
typed and must be a procedure pointer to a subroutine, so it cannot be
associated with iabs). I'm working on this right now (cf. PR
39997/40541).
Cheers,
Janus