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; }