Development Log

  • GNAT Pro
    Apr 28th, 2008

    New gnatcheck rule for exceptions
    A new rule (Separate_Numeric_Error_Handlers) is added to gnatcheck. This rule checks if the predefined Numeric_Error and Constraint_Error are always used together as exception choices of the same exception handler. This check is used to ensure that exception handling will behave the same in Ada 83 and in Ada 95 modes.