[Bug c/48228] incorrect signed overflow warning when only 0 and 1 are used

["rguenth at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #6 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-03-28 10:14:40 UTC ---
Author: rguenth
Date: Mon Mar 28 10:14:34 2011
New Revision: 171595

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=171595
Log:
2011-03-28  Richard Guenther  <rguenther@suse.de>

    Backport from mainline
    2011-03-24  Richard Guenther  <rguenther@suse.de>

    PR middle-end/48269
    * tree-object-size.c (addr_object_size): Do not double-account
    for MEM_REF offsets.

    * gcc.dg/builtin-object-size-10.c: New testcase.

    2011-03-22  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/48228
    * tree-vrp.c (vrp_visit_phi_node): Do not stop propagating
    for single-arg PHIs.

    * gcc.dg/Wstrict-overflow-23.c: New testcase.

    2011-03-17  Richard Guenther  <rguenther@suse.de>

    PR middle-end/48134
    * tree-ssa.c (insert_debug_temp_for_var_def): If we propagated
    a value make sure to fold the statement.

    * gcc.dg/pr48134.c: New testcase.

    2011-03-15  Richard Guenther  <rguenther@suse.de>

    PR middle-end/48031
    * fold-const.c (fold_indirect_ref_1): Do not create new variable-sized
    or variable-indexed array accesses when in gimple form.

Added:
    branches/gcc-4_6-branch/gcc/testsuite/gcc.dg/Wstrict-overflow-23.c
    branches/gcc-4_6-branch/gcc/testsuite/gcc.dg/builtin-object-size-10.c
    branches/gcc-4_6-branch/gcc/testsuite/gcc.dg/pr48134.c
Modified:
    branches/gcc-4_6-branch/gcc/ChangeLog
    branches/gcc-4_6-branch/gcc/fold-const.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_6-branch/gcc/tree-object-size.c
    branches/gcc-4_6-branch/gcc/tree-ssa.c
    branches/gcc-4_6-branch/gcc/tree-vrp.c