[Patch, Fortran] PR57530 - fix rejects valid with gfc_type_compatible

[Tobias Burnus]

Now with attached patch.

Tobias Burnus wrote:
> I accidentally attached a slightly out-dated patch. The old patch 
> permitted CLASS<->TYPE differences in cases where the characteristic 
> had to match (e.g. dummy arguments in a proc-pointer assignment). - 
> Sorry for the confusion.
>
> Build and regtested on x86-64-gnu-linux.
> OK for the trunk?
>
> Tobias
>
> Tobias Burnus wrote:
>> A TYPE is type compatible with a CLASS if both have the same declared 
>> type.
>>
>> Or in words of the standard (cf. PR):
>> "A nonpolymorphic entity is type compatible only with entities of the 
>> same declared type. A polymorphic entity that is not an unlimited 
>> polymorphic entity is type compatible with entities of the same 
>> declared type or any of its extensions." (F2008, 4.3.1.3).
>>
>> Build and regtested on x86-64-gnu-linux.
>> OK for the trunk?
>
>

-------------- next part --------------
A non-text attachment was scrubbed...
Name: ptr-assign.diff
Type: text/x-patch
Size: 2038 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/fortran/attachments/20130605/0f0c057b/attachment.bin>