Development Log

  • GNAT Pro
    Apr 7th, 2017

    Better message on violation of No_Dynamic_Allocation
    The Ravenscar profile includes a restriction on dynamic allocation. Its violation is usually detected in the back-end, with an obscure message that does not refer directly to the entity responsible for the dynamic allocation (which is typically a discriminated object with non-static discriminants). This enhancement adds a source warning to pinpoint more precisely the cause of the subsequent error and compiler rejection.