[Bug middle-end/81782] [7 Regression] Yet another -Wmaybe-uninitialized false positive with empty array

[rguenth at gcc dot gnu.org]

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

--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Wed Jan 17 12:51:07 2018
New Revision: 256792

URL: https://gcc.gnu.org/viewcvs?rev=256792&root=gcc&view=rev
Log:
2018-01-17  Richard Biener  <rguenther@suse.de>

        Backport from mainline
        2017-12-18  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/81877
        * tree-ssa-loop-im.c (ref_indep_loop_p): Remove safelen parameters.
        (outermost_indep_loop): Adjust.
        (ref_indep_loop_p_1): Likewise.  Remove safelen handling again.
        (can_sm_ref_p): Adjust.

        * g++.dg/torture/pr81877.C: New testcase.
        * g++.dg/vect/pr70729.cc: XFAIL.
        * g++.dg/vect/pr70729-nest.cc: XFAIL.

        2017-12-08  Richard Biener  <rguenther@suse.de>

        PR middle-end/81782
        * tree-ssa-uninit.c (warn_uninitialized_vars): Properly
        handle accesses outside of zero-sized vars.

        * gcc.dg/uninit-pr81782.c: New testcase.

Added:
    branches/gcc-7-branch/gcc/testsuite/g++.dg/torture/pr81877.C
    branches/gcc-7-branch/gcc/testsuite/gcc.dg/uninit-pr81782.c
Modified:
    branches/gcc-7-branch/gcc/ChangeLog
    branches/gcc-7-branch/gcc/testsuite/ChangeLog
    branches/gcc-7-branch/gcc/testsuite/g++.dg/vect/pr70729-nest.cc
    branches/gcc-7-branch/gcc/testsuite/g++.dg/vect/pr70729.cc
    branches/gcc-7-branch/gcc/tree-ssa-loop-im.c
    branches/gcc-7-branch/gcc/tree-ssa-uninit.c