Development Log

  • GNAT Pro
    Jun 8th, 2017

    More expressions allowed in Pure_Barriers
    Type conversions and subcomponents of a protected object are now allowed to be specified in entry barriers under the restriction Pure_Barriers. The following constraints apply: type conversions cannot potentially raise Constraint_Error and subcomponents cannot be selected from a prefix that is a dereferenced access value.