diff options
| author | rth <rth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-07-19 20:20:40 +0000 |
|---|---|---|
| committer | rth <rth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-07-19 20:20:40 +0000 |
| commit | a3986bc0093c3925be3dca4724e5e39b30149013 (patch) | |
| tree | fbf02d28bdbfe2df54c4da773d527881c941eba7 /gcc/tree-ssa.c | |
| parent | e8d0745df96e4d0f620210f349192f65bdd4f5a5 (diff) | |
| download | gcc-a3986bc0093c3925be3dca4724e5e39b30149013.tar.gz | |
PR tree-opt/22278
* gimplify.c (gimplify_expr): Use main variant type for the temp
destination for a discarded volatile read.
* tree-ssa.c (tree_ssa_useless_type_conversion_1): Don't elide
casts between non-void types that change volatility.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@102169 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-ssa.c')
| -rw-r--r-- | gcc/tree-ssa.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index fc1754f65ff..d78a944209e 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -903,6 +903,15 @@ tree_ssa_useless_type_conversion_1 (tree outer_type, tree inner_type) && TREE_CODE (TREE_TYPE (outer_type)) == VOID_TYPE) return true; + /* Don't lose casts between pointers to volatile and non-volatile + qualified types. Doing so would result in changing the semantics + of later accesses. */ + else if (POINTER_TYPE_P (inner_type) + && POINTER_TYPE_P (outer_type) + && TYPE_VOLATILE (TREE_TYPE (outer_type)) + != TYPE_VOLATILE (TREE_TYPE (inner_type))) + return false; + /* Pointers/references are equivalent if their pointed to types are effectively the same. This allows to strip conversions between pointer types with different type qualifiers. */ |