Re: [PATCH] Fortran: Add IEEE_SIGNBIT and IEEE_FMA functions

2022-09-11 Thread Mikael Morin

Le 10/09/2022 à 12:14, FX via Fortran a écrit :

If you have a solution for the standards checking, I’ll add it.

As a first step, one could check the use rename lists; what's done for 
iso_fortran_env can be used as an example.


To diagnose the other usages, the check could be put in resolve_symbol 
but it would diagnose it even if not used, so one can add a check on 
attr.referenced (I hope it can be relied upon).
Another possibility is mimicking or modifying gfc_resolve_intrinsic, 
which already does a similar job for intrinsic procedures.


I hope this helps.


Re: [PATCH] Fortran: Add IEEE_SIGNBIT and IEEE_FMA functions

2022-09-11 Thread FX via Fortran
Hi Mikael,

> As a first step, one could check the use rename lists; what's done for 
> iso_fortran_env can be used as an example.

Yes, but iso_fortran_env is handled entirely in front-end, not through external 
files.
This is what I plan to do when migrating the IEEE modules to front-end, but it 
is a big task.


> Another possibility is mimicking or modifying gfc_resolve_intrinsic, which 
> already does a similar job for intrinsic procedures.

That’s probably the best place to put it for now, indeed. Thanks for the advice.

FX

Re: [PATCH] Fortran: Add IEEE_SIGNBIT and IEEE_FMA functions

2022-09-11 Thread Mikael Morin

Le 11/09/2022 à 11:57, FX a écrit :

As a first step, one could check the use rename lists; what's done for 
iso_fortran_env can be used as an example.


Yes, but iso_fortran_env is handled entirely in front-end, not through external 
files.


That's true, but the standard check doesn't really depend on that.
It only needs the u->use_name for each use rename u.