comp.lang.ada
 help / color / mirror / Atom feed
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

  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