Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
[GNAT] Enhancements to pragma Check_Policy/Obsolescent
Wednesday August 13, 2008
The second argument of pragma Check_Policy can be given an identifier of Policy. The second and third arguments of pragma Obsolescent can be given identifiers Message and Version. Note that in accordance with RM 2.8(4), the use of these new identifiers is mandatory if the first argument has an identifier. The compiler did not always catch violations of 2.8(4) (see known problems entry for H813-005), so it may be necessary to change some existing uses of pragma Obsolescent.
Posted
in Development Log, GNAT Compilation System