diff options
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr39041.c | 28 | ||||
-rw-r--r-- | gcc/tree-ssa-forwprop.c | 1 |
4 files changed, 40 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b3ae083..e871bd6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2009-01-30 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/39041 + * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): + Propagate variable indices only if the types match for this stmt. + 2009-01-30 Jakub Jelinek <jakub@redhat.com> PR target/39013 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 67522c6..02244e5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2009-01-30 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/39041 + * gcc.c-torture/compile/pr39041.c: New testcase. + 2009-01-30 Jakub Jelinek <jakub@redhat.com> PR target/39013 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr39041.c b/gcc/testsuite/gcc.c-torture/compile/pr39041.c new file mode 100644 index 0000000..cc58a8a --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr39041.c @@ -0,0 +1,28 @@ +int test_bit(int nr, void *addr) +{ + int *a = (int *)addr; + int mask; + a += nr; + mask = 1 << nr; + return mask & *a; +} +struct { + struct { + int disabled; + } *data[1]; +} trace; +struct { + unsigned bits[1]; +} cpumask; +void inc(int *); +void dec(int *); +int foo(void) +{ + int cpu; + for (cpu = 0; cpu < 1; cpu++) { + if (test_bit(cpu, cpumask.bits)) + inc(&trace.data[cpu]->disabled); + if (!test_bit(cpu, cpumask.bits)) + dec(&trace.data[cpu]->disabled); + } +} diff --git a/gcc/tree-ssa-forwprop.c b/gcc/tree-ssa-forwprop.c index 3826f1a..3a81262 100644 --- a/gcc/tree-ssa-forwprop.c +++ b/gcc/tree-ssa-forwprop.c @@ -845,6 +845,7 @@ forward_propagate_addr_expr_1 (tree name, tree def_rhs, array elements, then the result is converted into the proper type for the arithmetic. */ if (TREE_CODE (rhs2) == SSA_NAME + && useless_type_conversion_p (TREE_TYPE (name), TREE_TYPE (def_rhs)) /* Avoid problems with IVopts creating PLUS_EXPRs with a different type than their operands. */ && useless_type_conversion_p (TREE_TYPE (lhs), TREE_TYPE (def_rhs))) |