Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
|
AdaCore Development Log
Wednesday November 30, 2011
[Ada] AI-0207 Mode conformance and access constant »
This AI confirms that access_to_constant indication must match for mode conformance. This was implemented in GNAT when the qualifier was originally introduced in Ada 2005.
Posted in Ada / Ada 2005, Development Log
Saturday July 24, 2010
[Ada] AI-0033 Attach/Interrupt_Handler in generic »
Neither of these two pragmas may appear within a generic template, because the generic might be instantiated at other than the library level.
Posted in Ada / Ada 2005, Development Log
Saturday July 24, 2010
[Ada] AI-0112 Detection of duplicate pragmas »
This AI is about giving names to various representation aspects, but the practical effect is simply to make the use of duplicate Atomic[_Components], Volatile[_Components] and Independent[_Components] pragmas illegal, and GNAT now performs this required check.
Posted in Ada / Ada 2005, Development Log
Saturday July 24, 2010
[Ada] AI-0206 Remote types packages and preelaborate »
Remote types packages are now allowed to depend on preelaborated packages. This was formerly considered illegal.
Posted in Ada / Ada 2005, Development Log
Friday July 23, 2010
[Ada] AI-0181 Soft hyphen is a non-graphic character »
From Ada 2005 on, soft hyphen is considered a non-graphic character, which means that it has a special name (SOFT_HYPHEN) in conjunction with the image and value attributes for the character types. Strictly speaking this is an inconsistency with Ada 95, but in practice the use of these attributes is so obscure that it will not cause problems.
Posted in Ada / Ada 2005, Development Log
Friday July 23, 2010
[GNAT] Report all duplicate units in projects »
When there are more than one duplicate units in the same source directory subtree, each duplicate unit is now reported once as such.
Posted in Development Log, GNAT Compilation System
Friday July 23, 2010
[CodePeer] New switch -output-dir »
A new command line switch -output-dir is available to specify/override the output directory. A path relative to the current directory can be specified. At the same time, the Output_Dir library directive is modified so that relative paths are computed relative to the library file location rather than the current directory which was counter intuitive.
Posted in CodePeer, Development Log
Friday July 23, 2010
[Ada] AI-0009 Pragma Independent[_Components] »
This AI introduces two new pragmas Independent and Independent_Components, which control guaranteeing independence of access to objects and components. The AI also requires independence not unaffected by confirming rep clauses.
Posted in Ada / Ada 2005, Development Log
Friday July 23, 2010
[Ada] AI-0103 Static matching for extended return »
If the return subtype of a function is an elementary type or a constrained type, the subtype indication in an extended return statement must match statically this return subtype.
Posted in Ada / Ada 2005, Development Log
Thursday July 22, 2010
[GNAT] More warnings for redundant pack pragmas »
The compiler now warns on all cases where a pack is ignored because an explicit component clause overrides its effect. These warnings are now all under control of -gnatwr (warn on redundant features).
Posted in Development Log, GNAT Compilation System