Re: Question about sets and expression

[Simon Wright <simon@pushface.org>]

reinert <reinkor@gmail.com> 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;