Re: [Patch, Fortran] PR 57160: short-circuit IF only with -ffrontend-optimize

[Janus Weil <janus@gcc.gnu.org>]

2018-08-01 22:46 GMT+02:00 Janus Weil <janus@gcc.gnu.org>:
> 2018-07-28 10:03 GMT+02:00 Janus Weil <janus@gcc.gnu.org>:
>> 2018-07-27 18:42 GMT+02:00 Dominique d'Humières <dominiq@lps.ens.fr>:
>>>> If there is further constructive criticism regarding v3 of the patch,
>>>> as posted at https://gcc.gnu.org/ml/fortran/2018-07/msg00103.html,
>>>> I'll be happy to deal with that. If not, I'd like to commit it by the
>>>> weekend.
>>>
>>> This patch breaks backward compatibility
>>
>> Not for valid Fortran code. The patch only affects code that is not
>> guaranteed to work by the Fortran standard, like "if (associated(a)
>> .and. a>0)".
>>
>> "Breaking" such code is precisely the purpose of the patch. The idea
>> is to discourage users from writing such code, because it is not valid
>> Fortran code (and therefore not portable). Are you trying to argue
>> that such code should work with gfortran?
>>
>>
>>> Hence I am definitively against this patch.
>>
>> If you are against it, do you have *any* other solution for the problem at hand?
>
> Ping!
>
> We have a problem here which deserves a solution. So, Dominique, if
> you don't like my solution, how do you propose to solve PR 57160?

ping**2

It's so easy to scream "bullshit", and so hard to find a good
solution. Still, we need one ...

I suggest the naysayers get active. I'm out.

Cheers,
Janus