[Bug c/80525] -Wlogical-op confused by undefined integer overflow

[mpolacek at gcc dot gnu.org]

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

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Tue May  9 11:21:14 2017
New Revision: 247786

URL: https://gcc.gnu.org/viewcvs?rev=247786&root=gcc&view=rev
Log:
        PR c/80525
        * c-warn.c (unwrap_c_maybe_const): New.
        (warn_logical_operator): Call it.

        * c-c++-common/Wlogical-op-1.c: Don't use -fwrapv anymore.
        * c-c++-common/Wlogical-op-2.c: New test.

Added:
    trunk/gcc/testsuite/c-c++-common/Wlogical-op-2.c
Modified:
    trunk/gcc/c-family/ChangeLog
    trunk/gcc/c-family/c-warn.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/c-c++-common/Wlogical-op-1.c