[Patch, Fortran] Pointer remapping

[Daniel Kraft]

Tobias Burnus wrote:
>  On 08/19/2010 01:00 PM, Daniel Kraft wrote:,
>> the attached patch implements pointer bounds remapping (F2003, see PR 
>> 45016) and pointer rank remapping (F2003 and generalized in F2008, see 
>> PR 29785).  To my knowledge, these two new features should be fully 
>> supported with it.
> 
> Thanks for the patch. I have not looked at it but just tried the 
> following minutely-extended example from The Fortran 2003 Handbook and 
> it fails with an ICE. (It compiles with crayftn.)
> 
> rem.f90:1:0: error: type mismatch in binary expression
> rem.f90:1:0: internal compiler error: verify_gimple failed
> 
> REAL, TARGET :: DATA(1000)
> REAL, POINTER :: DP(:), DQ(:), DR(:)
> integer :: FIRST, LAST
> !. . .
> DP(FIRST:LAST) => DATA(FIRST:LAST)
> DQ => DATA(FIRST:LAST)
> DR(0:) => DATA(FIRST:LAST)
> end

Good catch!  The attached patch fixes this by adding fold_convert's as 
appropriate (for the declared bounds of the LHS) and changes some error 
messages as discussed on IRC.

I'll retest now, but suppose there are no failures as the last test 
finished successfully.

Ok?

Cheers,
Daniel

-- 
http://www.pro-vegan.info/
--
Done:  Arc-Bar-Cav-Ran-Rog-Sam-Tou-Val-Wiz
To go: Hea-Kni-Mon-Pri
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch.changelog
URL: <http://gcc.gnu.org/pipermail/fortran/attachments/20100819/cab54733/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch.diff
URL: <http://gcc.gnu.org/pipermail/fortran/attachments/20100819/cab54733/attachment-0001.ksh>