Development Log

  • GNAT Pro
    Jan 20th, 2017

    Ability to check removal of Ghost code in executables
    The names of Ghost entities in the objects and executables are now uniquely prefixed with "___ghost_" (three leading underscores). This makes it possible to independently check the removal of Ghost code by the compiler when generating the final executable with Ghost assertion policy of Ignore (the default).