[Bug c++/70361] Obviously false code in if not detected

[egallager at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70361

Eric Gallager  changed:

   What|Removed |Added

 CC||mpolacek at gcc dot gnu.org
   See Also||https://gcc.gnu.org/bugzill
   ||a/show_bug.cgi?id=71852

--- Comment #5 from Eric Gallager  ---
(In reply to Patrick Palka from comment #2)
> Maybe the new -Wtautological-compare flag could be extended to warn about
> these kinds of conditionals.

Maybe Marek Polacek's enhancements to it could be relevant here? See also bug
71852

[Bug c++/70361] Obviously false code in if not detected

[egallager at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70361

Eric Gallager  changed:

   What|Removed |Added

 CC||egallager at gcc dot gnu.org
   See Also||https://gcc.gnu.org/bugzill
   ||a/show_bug.cgi?id=70800

--- Comment #4 from Eric Gallager  ---
same issue as the one in bug 70800

[Bug c++/70361] Obviously false code in if not detected

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70361

Andrew Pinski  changed:

   What|Removed |Added

   Keywords||diagnostic
 Status|UNCONFIRMED |NEW
   Last reconfirmed||2016-08-04
 Ever confirmed|0   |1
   Severity|normal  |enhancement

--- Comment #3 from Andrew Pinski  ---
Confirmed.

[Bug c++/70361] Obviously false code in if not detected

[ppalka at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70361

Patrick Palka  changed:

   What|Removed |Added

 CC||ppalka at gcc dot gnu.org

--- Comment #2 from Patrick Palka  ---
Maybe the new -Wtautological-compare flag could be extended to warn about these
kinds of conditionals.

[Bug c++/70361] Obviously false code in if not detected

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70361

--- Comment #1 from Andrew Pinski  ---
-Wunreachable-code does nothing now and has not for a few years now.  Support
for it was removed as it provided too many false positives.