From: Simon Wright <simon@pushface.org>
Subject: Re: Discriminant problem
Date: Mon, 30 Aug 2021 09:13:31 +0100 [thread overview]
Message-ID: <lylf4je4es.fsf@pushface.org> (raw)
In-Reply-To: lytuj8dqya.fsf@pushface.org
Simon Wright <simon@pushface.org> writes:
> I've only just noticed this: I'd been using -gnatX (so that I could use
> 'Image on records), which meant that the original code was OK (in the
> sense that it didn't raise any problems), but of course it's not
> portable even within the GNAT family. I think -gnat2020 might solve the
> issue too, but there's a bit of a skew between CE 2021 and GCC 11.
The skew might well be about the semantics of -gnatX - not 100% sure.
The only way I can see that -gnat2020 would help would be if
Get_Node_Type_Test was a static expression function[1], but it's not
even an expression function! It could be, though since it involves tag
tests and can 'return' an exception this seems unlikely.
[1] http://www.ada-auth.org/standards/2xaarm/html/AA-4-9.html#p21.1
next prev parent reply other threads:[~2021-08-30 8:13 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-08-29 18:51 Discriminant problem Simon Wright
2021-08-30 8:13 ` Simon Wright [this message]
2021-08-30 22:03 ` Jeffrey R. Carter
2021-08-31 1:53 ` Randy Brukardt
2021-09-09 19:51 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox