This is the mail archive of the
fortran@gcc.gnu.org
mailing list for the GNU Fortran project.
Re: [Patch, Fortran] PR57530 - fix rejects valid with gfc_type_compatible
- From: Mikael Morin <mikael dot morin at sfr dot fr>
- To: Tobias Burnus <burnus at net-b dot de>
- Cc: gfortran <fortran at gcc dot gnu dot org>, gcc patches <gcc-patches at gcc dot gnu dot org>
- Date: Thu, 06 Jun 2013 11:30:27 +0200
- Subject: Re: [Patch, Fortran] PR57530 - fix rejects valid with gfc_type_compatible
- References: <51AF2896 dot 1030800 at net-b dot de> <51AF3351 dot 2080907 at net-b dot de> <51AF33C6 dot 3080209 at net-b dot de>
Le 05/06/2013 14:49, Tobias Burnus a écrit :
> 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?
>>
OK