[Bug tree-optimization/56456] [meta-bug] bogus warning when inlining or unrolling: "array subscript is above array bounds"

[slash.tmp at free dot fr]

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

Mason <slash.tmp at free dot fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jwakely.gcc at gmail dot com,
                   |                            |law at redhat dot com,
                   |                            |rguenth at gcc dot gnu.org,
                   |                            |slash.tmp at free dot fr

--- Comment #2 from Mason <slash.tmp at free dot fr> ---
A few more bugs should be added to this tracker:
(It seems I don't have permission to do that?)

bug 59124
bug 63441
bug 63477
bug 80907
bug 82286

Adding my own testcase here:

extern int array[3];
void foo(int n)
{
        for (int i = 0; i < n; ++i)
                for (int j = 0; j < i; ++j)
                        if (array[i] == array[j])
                                array[j] = 0;
}

gcc -Wall -O3 test.c triggers bogus warning(s) with any version of gcc >= 4.8