Development Log in May 2009.

  • GNAT Pro
    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.

  • GNAT Pro
    May 25th, 2009

    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.

  • GNAT Pro
    May 25th, 2009

    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.

  • GNAT Pro
    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.

  • GNAT Pro | GPS | GNATbench
    May 19th, 2009

    Permanent GPS.EditorMark
    Marks created through the GPS.EditorMark python API will now stay valid even if the editor is closed, and possibly reopen.

  • GNAT Pro
    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.

  • GNAT Pro
    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.

  • GNAT Pro
    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.

  • GNAT Pro
    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).

  • PolyORB
    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.

  • GNAT Pro
    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.

  • GNAT Pro | GPS | GNATbench
    May 6th, 2009

    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.

  • GNAT Pro | GPRbuild
    May 6th, 2009

    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.

  • GNAT Pro | GPS | GNATbench
    May 5th, 2009

    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.