Development Log

  • CodePeer
    Nov 26th, 2012

    Precise analysis of int to float conversions
    The treatment of integer to float conversion was imprecise, leading to false positive messages. For example, CodePeer did not realize that Float(0) = 0.0. A precise analysis of such conversions is now implemented.