[Bug c++/57367] Missing warning: array subscript is above array bounds

[Gildos at gmail dot com]

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

--- Comment #4 from Guido Del Sarto <Gildos at gmail dot com> ---
I do not receive warnings with the following (no dead code).
#####
#include <stdio.h>

void warning( int pippo[100] )
{
    pippo[1000] += pippo[0];

    printf( "%d\n", pippo[1000] ) ;
}

int main(int argc, char**argv)
{
    (void)argv;

    int pippo[100] ;
    pippo[   0] = 0 ;
    pippo[1000] = 1 ;
    warning(pippo);

    return argc ;
}
#####