From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Question about sets and expression Date: Tue, 09 May 2017 12:15:52 +0100 Organization: A noiseless patient Spider Message-ID: References: <83325a39-b5b1-4742-a28b-4a8631379d43@googlegroups.com> <2c53a9f3-6cd7-49b3-b69f-300d682bc2a1@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: mx02.eternal-september.org; posting-host="d290b80abe48222621d86e814eee5bf5"; logging-data="15765"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18O8RtY9IaeOyMDK8gw5VyX52aNffUT6y0=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (darwin) Cancel-Lock: sha1:KbQVwCdTf878/paJKQ/a74L2EuM= sha1:T4GmaxQa9bHzoTJosC9coB7/j3Q= Xref: news.eternal-september.org comp.lang.ada:46728 Date: 2017-05-09T12:15:52+01:00 List-Id: reinert writes: > I get the output (debian, gnat-4.9): > > -------------------------------------------------------------------------- > ** A: > ** B: > > raised PROGRAM_ERROR : test1b.adb:29 finalize/adjust raised exception > -------------------------------------------------------------------------- > Why "finalize/adjust raised exception" ? I'm afraid this is a GNAT 4.9 error. On macOS Sierra, GCC 7.1.0 : OK GCC 6.1.0 : OK GCC 5.2.0 : OK GCC 4.9.1 : fails For amusement, GDB shows that it happens at a-crbtgo.adb:539: 538 procedure Generic_Clear (Tree : in out Tree_Type) is 539 Root : Node_Access := Tree.Root; 540 begin called from a-coorse.adb:1319: 1319 return It : constant Iterator := 1320 Iterator'(Limited_Controlled with 1321 Container => Container'Unrestricted_Access, 1322 Node => null); 1323 end Iterate;