Development Log

  • GNAT Pro
    Jun 15th, 2017

    Refine warning on redundant comparison to True
    In many cases, comparing the value of an expression to True is a matter of preference to decide what is clearer. Thus, in such cases the use of -gnatwr may lead to spurious warnings. This is revised: GNAT now only warns on comparisons with True when the expression being compared is an object name or a simple expression involving an operator.