- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
May 30th, 2009
Call graph information for high integrity run-times
High integrity run-time libraries are now built to generate the .ci files needed by GNATStack for static stack size analysis.
More flexible tagged type component placement
If a tagged type extends a parent type all of whose components have been placed using a record representation clause (or clauses for the nested case), then components of this type may be placed anywhere that does not overlap any component of the parent type. In particular, they can be positioned immediately following the last component of the parent type in all cases, or even within "gaps" in the parent type.
New gnatstub switch to avoid local comment headers
A new switch --no-local-header for gnatstub prevents the output of the local comment header with the unit name before the unit stub.
May 20th, 2009
Improvements to the code generated by gnatstub
A Compile_Time_Warning pragma is added to the code of the body stubs generated by gnatstub. When gnatstub is called with -gnat05, a message is added to the raise statement.
Marks created through the GPS.EditorMark python API will now stay valid even if the editor is closed, and possibly reopen.
May 18th, 2009
Better warnings for Ada 2005 units
Warnings for use of Ada 2005 units in Ada 83 or Ada 95 mode are now given on specs and subunits, as well as the main unit.
May 16th, 2009
Optimize away redundant language-defined checks
The compiler can now optimize away more redundant language-defined checks when compilation flags -O2, -O3 or -Os are used.
May 15th, 2009
Better warnings for implementation units
If an internal implementation unit is with'ed, a warning is given that this is non-portable. This message is now improved to suggest the name of an equivalent package in the GNAT library that can be with'ed without this warning. For instance, if a program with's System.OS_Lib, the warning will suggest the alternative use of GNAT.OS_Lib. Implementation unit warnings are now also given on specs and subunits as well as the main unit.
May 13th, 2009
New warning switch -gnatw.g
The new warning switch -gnatw.g sets exactly the same set of warnings as -gnatg, but has no other effect (e.g. it does not allow recompilation of children of Ada).
May 12th, 2009
Identify originating partition in exceptions
When using the Ada DSA applicative personality, partition id information is now appended to exception messages to help identifying which partition raised the exception, and how it was propagated across partitions.
May 8th, 2009
Improved accuracy for warnings on address clauses
The size and alignment warnings issued for address clauses that cause one variable to overlay another (e.g. "for X'Address use Y'Address;") are now more accurate and print the respective values for X and Y.
New On-the-fly casing policy handling
The On_The_Fly casing policy is now activated character-by-character. The previous behavior (activated after each word) has been renamed End_Of_Word.
Binder generated file compiled with all options
gprbind now compiles the binder generated file with the required trailing compilation switches specified in the configuration project file.
Smart completion: backspace key re-expands list
When entering text while the smart completion window is up, the smart completion window narrows the list of choices to match the text. When there are no more choices, the completion window disappears completely. Now, pressing backspace to erase the last characters will cause the completion window to reappear.