diff options
| author | Jan Hubicka <jh@suse.cz> | 2010-09-07 15:16:31 +0200 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2010-09-07 13:16:31 +0000 |
| commit | 8683f0519256c1428d3ec283aed501b21323390a (patch) | |
| tree | b327d1f4ecc22c6b930e396cb8fc3debeba53133 | |
| parent | f5e5b46c4b1720ef7ad0971df215885e2429e41c (diff) | |
| download | gcc-8683f0519256c1428d3ec283aed501b21323390a.zip gcc-8683f0519256c1428d3ec283aed501b21323390a.tar.gz gcc-8683f0519256c1428d3ec283aed501b21323390a.tar.bz2 | |
gimple.c (maybe_fold_reference): Verify that operand is gimple_min_invariant.
* gimple.c (maybe_fold_reference): Verify that operand is
gimple_min_invariant.
* gcc.c-torture/compile/20100907.c: New testcase.
From-SVN: r163948
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/gimple-fold.c | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/20100907.c | 9 |
4 files changed, 20 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 200f11f..85ea9d4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2010-09-07 Jan Hubicka <jh@suse.cz> + + * gimple.c (maybe_fold_reference): Verify that operand is + gimple_min_invariant. + 2010-09-07 Richard Guenther <rguenther@suse.de> PR middle-end/45569 diff --git a/gcc/gimple-fold.c b/gcc/gimple-fold.c index 2b40ee6..d6e3580 100644 --- a/gcc/gimple-fold.c +++ b/gcc/gimple-fold.c @@ -477,7 +477,8 @@ maybe_fold_reference (tree expr, bool is_lhs) tree result; if (!is_lhs - && (result = fold_const_aggregate_ref (expr))) + && (result = fold_const_aggregate_ref (expr)) + && is_gimple_min_invariant (result)) return result; /* ??? We might want to open-code the relevant remaining cases diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3771742..5c04a04 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2010-09-07 Jan Hubicka <jh@suse.cz> + + * gcc.c-torture/compile/20100907.c: New testcase. + 2010-09-07 Richard Guenther <rguenther@suse.de> PR middle-end/45569 diff --git a/gcc/testsuite/gcc.c-torture/compile/20100907.c b/gcc/testsuite/gcc.c-torture/compile/20100907.c new file mode 100644 index 0000000..2e6cfb9 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/20100907.c @@ -0,0 +1,9 @@ +struct a {int a,b;}; +const static struct a a[1]={{1,2}}; +struct a b,c; +t() +{ + int idx = 0; + b=a[idx]; + c=a[idx]; +} |