Development Log

  • CodePeer
    Nov 27th, 2012

    Unconstrained float overflow checks
    CodePeer now comes with an option to check for overflow on unconstrained floating point types. Previously, CodePeer was following the semantics of most Ada compilers, which do not generate overflow checks on unconstrained floating point types. A new switch is provided (-gnateF) to generate SCIL files with these additional checks.