Re: -gnatN breakage was: Child vs nested package : efficiency matter

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Wed, 02 Jun 2010 18:45:09 +0200, Georg Bauhaus  
<rm.dash-bauhaus@futureapps.de> a écrit:
>> -gnatN is obsolete, you must use pragma Inline/Inline_Always with -
>> gnatn instead.
>
> Does this mean that 3rd party source cannot be
> inlined across units unless GNAT specific pragma Inline_Always
> is added to these 3rd party sources?
The option is supported, it's sure, I've checked it. In the mean time, GPS  
does not provide it in project options (only -gnatn is supplied). May be  
while still supported, this is a bit broken, thus not recommended and not  
made visible.

As the option is supported, there should be no need to modify any third  
party source.


-- 
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.