diff options
| author | Richard Guenther <rguenther@suse.de> | 2007-12-05 21:45:15 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2007-12-05 21:45:15 +0000 |
| commit | 39be21dd5aba45b6bbfe159809444d6f2ad614de (patch) | |
| tree | 560a457c88a46b8a12942c609706fa03abae2aa0 /gcc/tree-ssa-forwprop.c | |
| parent | 60332588d6194a8636748a484f102d8b36eef80d (diff) | |
| download | gcc-39be21dd5aba45b6bbfe159809444d6f2ad614de.zip gcc-39be21dd5aba45b6bbfe159809444d6f2ad614de.tar.gz gcc-39be21dd5aba45b6bbfe159809444d6f2ad614de.tar.bz2 | |
re PR tree-optimization/34138 (verify_ssa failed (found real variable when subvariables should have appeared))
2007-12-05 Richard Guenther <rguenther@suse.de>
PR tree-optimization/34138
* tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_vars):
Do not forward propagate addresses if that changes volatileness of
the pointed-to type.
* gcc.c-torture/compile/pr34138.c: New testcase.
From-SVN: r130632
Diffstat (limited to 'gcc/tree-ssa-forwprop.c')
| -rw-r--r-- | gcc/tree-ssa-forwprop.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/tree-ssa-forwprop.c b/gcc/tree-ssa-forwprop.c index f368c33..2da17c8 100644 --- a/gcc/tree-ssa-forwprop.c +++ b/gcc/tree-ssa-forwprop.c @@ -956,12 +956,15 @@ tree_ssa_forward_propagate_single_use_vars (void) } if (TREE_CODE (rhs) == ADDR_EXPR - /* We can also disregard changes in CV qualifiers for + /* We can also disregard changes in const qualifiers for the dereferenced value. */ || ((TREE_CODE (rhs) == NOP_EXPR || TREE_CODE (rhs) == CONVERT_EXPR) && TREE_CODE (TREE_OPERAND (rhs, 0)) == ADDR_EXPR && POINTER_TYPE_P (TREE_TYPE (rhs)) + /* But do not propagate changes in volatileness. */ + && (TYPE_VOLATILE (TREE_TYPE (TREE_TYPE (rhs))) + == TYPE_VOLATILE (TREE_TYPE (TREE_TYPE (TREE_OPERAND (rhs, 0))))) && types_compatible_p (TREE_TYPE (TREE_TYPE (TREE_OPERAND (rhs, 0))), TREE_TYPE (TREE_TYPE (rhs))))) { |