diff options
author | Richard Biener <rguenther@suse.de> | 2016-02-09 08:35:22 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-02-09 08:35:22 +0000 |
commit | 7e1e8a0ae14583dced3eff91e9fc2a6c783e27de (patch) | |
tree | 3b351a007623e28b3834cca6e7c18edb98675d38 /gcc | |
parent | 2746ac67d6d438b91c4a4399112aa4c03f3c7d88 (diff) | |
download | gcc-7e1e8a0ae14583dced3eff91e9fc2a6c783e27de.zip gcc-7e1e8a0ae14583dced3eff91e9fc2a6c783e27de.tar.gz gcc-7e1e8a0ae14583dced3eff91e9fc2a6c783e27de.tar.bz2 |
re PR middle-end/69715 (ICE: in store_bit_field_1, at expmed.c:839)
2016-02-09 Richard Biener <rguenther@suse.de>
PR tree-optimization/69715
* tree-ssa.c (execute_update_addresses_taken): Mark non-decl
LHS on calls as non-rewritable.
* gcc.dg/torture/pr69715.c: New testcase.
From-SVN: r233239
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr69715.c | 11 | ||||
-rw-r--r-- | gcc/tree-ssa.c | 3 |
4 files changed, 24 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8006790..2727244 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-02-09 Richard Biener <rguenther@suse.de> + + PR tree-optimization/69715 + * tree-ssa.c (execute_update_addresses_taken): Mark non-decl + LHS on calls as non-rewritable. + 2016-02-09 Tom de Vries <tom@codesourcery.com> PR lto/69707 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 700ba0e..b514699 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-02-09 Richard Biener <rguenther@suse.de> + + PR tree-optimization/69715 + * gcc.dg/torture/pr69715.c: New testcase. + 2016-02-08 Patrick Palka <ppalka@gcc.gnu.org> PR c++/69139 diff --git a/gcc/testsuite/gcc.dg/torture/pr69715.c b/gcc/testsuite/gcc.dg/torture/pr69715.c new file mode 100644 index 0000000..cecc82c --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr69715.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ + +struct __attribute__((may_alias)) S { long long low; int high; }; +struct S foo (void); +long double +bar (void) +{ + long double a; + *(struct S *)&a = foo (); + return a; +} diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index adba2d8..6a16d26 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -1436,7 +1436,8 @@ execute_update_addresses_taken (void) tree lhs = gimple_get_lhs (stmt); if (lhs && TREE_CODE (lhs) != SSA_NAME - && non_rewritable_lvalue_p (lhs)) + && ((code == GIMPLE_CALL && ! DECL_P (lhs)) + || non_rewritable_lvalue_p (lhs))) { decl = get_base_address (lhs); if (DECL_P (decl)) |