Re: Stack checking in GNAT

[Samuel Tardieu <sam@rfc1149.net>]

>>>>> "Ludovic" == Ludovic Brenta <ludovic@ludovic-brenta.org> writes:

Ludovic> I don't understand the difference between the flags in System
Ludovic> and those in Targparm (i.e. why are there two sets of flags,
Ludovic> and what happens if their values are different?).

The Targparm package can be seen as a quick system.ads parser. To
avoid a full semantic analysis of system.ads, Targparm reads it and
set its options from system.ads. This is why you should be extra
careful when modifying system.ads, even the indentation has to be
correct to be understood by Targparm (note that system.ads may not be
replaced by the user so this is a perfectly right way to do this for
GNAT).

You can see values in Targparm as default values in case nothing
corresponding is found in system.ads. So any change you make must
definitely be in system.ads.

Ludovic> Also I am curious to know what would be the effect of
Ludovic> changing these flags in Debian.

The effect would be disastrous for people handling bug reports from
Debian users submitted to http://gcc.gnu.org/bugzilla/ :)

If you want to change a flag, I would suggest that you try to get it
changed in the GCC distribution rather than doing Debian specific
changes.

  Sam
-- 
Samuel Tardieu -- sam@rfc1149.net -- http://www.rfc1149.net/