procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR tree-optimization/66422 (-Warray-bounds false positive with -O3)

Browse source 
2015-06-08  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/66422
	* tree-ssa-loop-ivcanon.c (remove_exits_and_undefined_stmts): Split
	block after inserted gcc_unreachable.

	* gcc.dg/Warray-bounds-16.c: New testcase.

From-SVN: r224235
This commit is contained in:
Richard Biener 2015-06-08 14:53:19 +00:00 • committed by Richard Biener
parent e50869f7a6
commit ad3e2ba074
4 changed files with 52 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/ChangeLog
View file

@ -1,3 +1,9 @@
2015-06-08 Richard Biener <rguenther@suse.de>
PR tree-optimization/66422
* tree-ssa-loop-ivcanon.c (remove_exits_and_undefined_stmts): Split
block after inserted gcc_unreachable.
2015-06-08 Nick Clifton <nickc@redhat.com>
* config/rx/rx.c (rx_function_value): Do not promote vector types.

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2015-06-08 Richard Biener <rguenther@suse.de>
PR tree-optimization/66422
* gcc.dg/Warray-bounds-16.c: New testcase.
2015-06-08 Richard Biener <rguenther@suse.de>
* gcc.dg/vect/slp-perm-10.c: New testcase.

40
gcc/testsuite/gcc.dg/Warray-bounds-16.c Normal file
View file

@ -0,0 +1,40 @@
/* { dg-do compile } */
/* { dg-options "-O3 -Warray-bounds" } */
typedef struct foo {
unsigned char foo_size;
int buf[4];
const char* bar;
} foo;
const foo *get_foo(int index);
static int foo_loop(const foo *myfoo) {
int i;
if (myfoo->foo_size < 3)
return 0;
for (i = 0; i < myfoo->foo_size; i++) {
if (myfoo->buf[i] != 1) /* { dg-bogus "above array bounds" } */
return 0;
}
return 1;
}
static int run_foo(void) {
int i;
for (i = 0; i < 1; i++) {
const foo *myfoo = get_foo(i);
if (foo_loop(myfoo))
return 0;
}
return -1;
}
typedef struct hack {
int (*func)(void);
} hack;
hack myhack = {
.func = run_foo,
};

2
gcc/tree-ssa-loop-ivcanon.c
View file

@ -520,9 +520,9 @@ remove_exits_and_undefined_stmts (struct loop *loop, unsigned int npeeled)
gimple_stmt_iterator gsi = gsi_for_stmt (elt->stmt);
gcall *stmt = gimple_build_call
(builtin_decl_implicit (BUILT_IN_UNREACHABLE), 0);
gimple_set_location (stmt, gimple_location (elt->stmt));
gsi_insert_before (&gsi, stmt, GSI_NEW_STMT);
split_block (gimple_bb (stmt), stmt);
changed = true;
if (dump_file && (dump_flags & TDF_DETAILS))
{