public inbox for fortran@gcc.gnu.org
 help / color / mirror / Atom feed
From: Mikael Morin <morin-mikael@orange.fr>
To: FX <fxcoudert@gmail.com>, Thomas Koenig <tkoenig@netcologne.de>
Cc: gcc-patches@gcc.gnu.org, FX via Fortran <fortran@gcc.gnu.org>
Subject: Re: [PATCH] Fortran: Add IEEE_SIGNBIT and IEEE_FMA functions
Date: Sun, 11 Sep 2022 11:49:15 +0200	[thread overview]
Message-ID: <041d1f6b-9812-e1e3-dbd7-0416888804bc@orange.fr> (raw)
In-Reply-To: <EB05188D-9523-4FF2-B941-6F418F5D3F79@gmail.com>

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.

  reply	other threads:[~2022-09-11  9:49 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-08-31 13:46 FX
2022-08-31 14:22 ` FX
2022-09-06 13:26   ` FX
2022-09-07  5:43     ` Thomas Koenig
2022-09-07 18:57       ` FX
2022-09-09 17:50         ` FX
2022-09-10 10:14           ` FX
2022-09-11  9:49             ` Mikael Morin [this message]
2022-09-11  9:57               ` FX
2022-09-11 10:23                 ` Mikael Morin

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=041d1f6b-9812-e1e3-dbd7-0416888804bc@orange.fr \
    --to=morin-mikael@orange.fr \
    --cc=fortran@gcc.gnu.org \
    --cc=fxcoudert@gmail.com \
    --cc=gcc-patches@gcc.gnu.org \
    --cc=tkoenig@netcologne.de \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).