From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!aioe.org!RKN7TKnHC01q0gdg6EhkbQ.user.46.165.242.75.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Discriminant problem Date: Mon, 30 Aug 2021 09:13:31 +0100 Organization: Aioe.org NNTP Server Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain Injection-Info: gioia.aioe.org; logging-data="60201"; posting-host="RKN7TKnHC01q0gdg6EhkbQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org"; User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (darwin) Cancel-Lock: sha1:HUoBy8YujoQwhiqi60PNtFm7Tes= X-Notice: Filtered by postfilter v. 0.9.2 Xref: reader02.eternal-september.org comp.lang.ada:62581 List-Id: Simon Wright 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