Development Log

  • GNAT Pro
    Apr 20th, 2015

    Improve consistency of floating-point **
    This enhancement ensures on all targets that A**B = A**C when B is a small static constant in the range 0 .. 4 and C is a variable with the same value. Previously for Float and Long_Float on some targets, this was not the case. The results given were both within the error bounds that are allowed by the Ada standard, but it is desirable not to have this discrepancy. This also aids formal verification of such operations.