Re: fyi, GNAT and SPARK GPL 2016 are out

[gautier_niouzes@hotmail.com]

Le samedi 4 juin 2016 21:34:44 UTC+2, Simon Wright a écrit :

> It looks as though the Windows compiler doesn't handle access violation
> (which would normally be protected by a check) usefully.
> 
> Running the test_2016 program with Container_Checks suppressed under
> gdb on OS X, I get

Sure, it is well known that things work better on a Mac than on Windows ;-).
Perhaps it depends also on other switches such as -O2. Usually -gnatp is lost among a long list of options, like:
"-O2", "-gnatn", "-gnatp", "-fno-strict-aliasing", "-fipa-cp-clone", "-fgcse-after-reload", "-funroll-loops", "-fpeel-loops", "-ftracer", "-funswitch-loops", "-fweb", "-frename-registers", "-ftree-vectorize", "-mfpmath=sse", "-msse3"
_________________________ 
Gautier's Ada programming 
http://www.openhub.net/accounts/gautier_bd