Development Log

  • GNAT Pro
    Nov 26th, 2012

    Switch/pragma to force overflow checking on float
    The configuration pragma Check_Float_Overflow, or the -gnateF compiler switch can be used to set a mode in which unconstrained floating-point types (such as the predefined type Float) do overflow checking against the base range bounds for operators instead of generating infinities. This adds considerable overhead, but may be required in some cases.