diff options
| author | Martin Jambor <mjambor@suse.cz> | 2008-11-05 17:06:38 +0100 |
|---|---|---|
| committer | Martin Jambor <jamborm@gcc.gnu.org> | 2008-11-05 17:06:38 +0100 |
| commit | 5e9abf2ce4a4e1e380a1da8016eac24b22973dfd (patch) | |
| tree | 519533d92b35a2c870dadff443e7d0905b988f61 /gcc/testsuite/gcc.dg/Warray-bounds-6.c | |
| parent | 8df7b2b60e8d304998ae7b487e8981c9cc30040a (diff) | |
| download | gcc-5e9abf2ce4a4e1e380a1da8016eac24b22973dfd.zip gcc-5e9abf2ce4a4e1e380a1da8016eac24b22973dfd.tar.gz gcc-5e9abf2ce4a4e1e380a1da8016eac24b22973dfd.tar.bz2 | |
re PR middle-end/37861 (Bogus array bounds warning)
2008-11-05 Martin Jambor <mjambor@suse.cz>
PR middle-end/37861
* tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Don't turn
pointer arithmetics into array_ref if the array is accessed
through an indirect_ref.
* testsuite/gcc.dg/Warray-bounds-5.c: New file.
* testsuite/gcc.dg/Warray-bounds-6.c: New file.
From-SVN: r141613
Diffstat (limited to 'gcc/testsuite/gcc.dg/Warray-bounds-6.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/Warray-bounds-6.c | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/Warray-bounds-6.c b/gcc/testsuite/gcc.dg/Warray-bounds-6.c new file mode 100644 index 0000000..44a513b --- /dev/null +++ b/gcc/testsuite/gcc.dg/Warray-bounds-6.c @@ -0,0 +1,29 @@ +/* { dg-do compile } */ +/* { dg-options "-O3 -Wall" } */ +/* based on PR 37861 */ + +extern int printf (__const char *__restrict __format, ...); + +static int f3(int v) +{ + int i,j = 0; + for (i = 0; i <= v; i++) + j++; + return j; +} + +static int f2(char formatstr[10][100]) { + printf( "%d %s\n", 0, formatstr[f3(0)] ); + printf( "%d %s\n", 1, formatstr[f3(1)] ); + printf( "%d %s\n", 2, formatstr[f3(2)] ); + printf( "%d %s\n", 3, formatstr[f3(3)] ); + return 3; +} + +static char formatstr[10][100]; +int main( void ) { + int anz; + anz = f2(formatstr); + printf( " %d\n",anz); + return 0; +} |