Development Log

  • GNAT Pro
    Sep 18th, 2017

    Improved access-before-elaboration mechanism
    The access-before-elaboration mechanism of the compiler has been modified to offer: * Improved support for entries, instances, protected subprograms, and select statements. * New support for assertion aspects and pragmas such as Invariant, Pre, and Post, as well as requeue statements. * Improved compile-time diagnostics for elaboration issues. The section "Elaboration Order Handling in GNAT" of the GNAT User Guide has been updated accordingly to reflect these new changes.