Re: Question about sets and expression

[gautier_niouzes@hotmail.com]

No crash with GNAP GPL 2016 for Windows (gcc version 4.9.4 20160426 (for GNAT GPL 2016 20160515)).
When elaborating a bit:
...
begin
 Put_Line(" ** A: ");
 c1 := (if not os.is_empty then os.first_element else d);
 Put_Line(" ** B: ");
 c2 := (if not os.is_empty then os.first_element else (id => Cnil, others => <>));
 Put_Line(" ** C ");
 if c1 = (id => C003,others => <>) then
   Put_Line(" ** c1 OK ");
 end if;
 if c2 = (id => C003,others => <>) then
   Put_Line(" ** c2 OK ");
 end if;
end test1b;

I get

 ** A:
 ** B:
 ** C
 ** c1 OK
 ** c2 OK

The build command is:
gnatmake -gnato -fno-inline -fstack-check -gnatVa -gnatecdebug.pra test1b.adb

with debug.pra containing "pragma Initialize_Scalars;".

Same result with "gnatmake -f -gnatpn test1b.adb" and "gnatmake -f -gnatpn -O2 test1b.adb".

HTH
Gautier
________________________________________________
Your daily dose of buzzwords: http://cbsg.sf.net