http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59846

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-01-23
                 CC|                            |mpolacek at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.
Extended testcase (locus is imprecise), use -Wlogical-op -Wtype-limits.

_Bool
fn1 (unsigned int p)
{
  return 0UL > p;
}

_Bool
fn2 (unsigned int p)
{
  return 0UL <= p;
}

_Bool
fn3 (unsigned int p)
{
  return p >= 0U;
}

_Bool
fn4 (unsigned int p)
{
  return p < 0U;
}

_Bool
fn5 (_Bool p)
{
  return p || !p;
}

_Bool
fn6 (_Bool p)
{
  return p && !p;
}

Reply via email to