[Bug c/23587] Missing "warning: comparison is always false due to limited range of data type"

[manu at gcc dot gnu dot org]

------- Comment #4 from manu at gcc dot gnu dot org  2007-05-20 21:31 -------
Subject: Bug 23587

Author: manu
Date: Sun May 20 20:29:55 2007
New Revision: 124875

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=124875
Log:
2007-05-20  Manuel Lopez-Ibanez  <[EMAIL PROTECTED]>

        PR middle-end/7651
        PR c++/11856
        PR c/12963
        PR c/23587
        PR other/29694
        * c.opt (Wtype-limits): New.
        * doc/invoke.texi (Wtype-limits): Document it.
        (Wextra): Enabled by -Wextra.
        * c-opts.c (c_common_post_options): Enabled by -Wextra.
        * c-common.c (shorten_compare): Warn with Wtype-limits.

testsuite/
        * gcc.dg/compare6.c: Replace Wall with Wtype-limits.
        * gcc.dg/Wtype-limits.c: New.
        * gcc.dg/Wtype-limits-Wextra.c: New.
        * gcc.dg/Wtype-limits-no.c: New.
        * g++.dg/warn/Wtype-limits.C: New.
        * g++.dg/warn/Wtype-limits-Wextra.C: New.
        * g++.dg/warn/Wtype-limits-no.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/warn/Wtype-limits-Wextra.C
    trunk/gcc/testsuite/g++.dg/warn/Wtype-limits-no.C
    trunk/gcc/testsuite/g++.dg/warn/Wtype-limits.C
    trunk/gcc/testsuite/gcc.dg/Wtype-limits-Wextra.c
    trunk/gcc/testsuite/gcc.dg/Wtype-limits-no.c
    trunk/gcc/testsuite/gcc.dg/Wtype-limits.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-common.c
    trunk/gcc/c-opts.c
    trunk/gcc/c.opt
    trunk/gcc/doc/invoke.texi
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/compare6.c


-- 


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