diff options
Diffstat (limited to 'gcc/tree-ssa.c')
| -rw-r--r-- | gcc/tree-ssa.c | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 8f238a3..935cad6 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -1071,7 +1071,18 @@ delete_tree_ssa (void) static bool useless_type_conversion_p_1 (tree outer_type, tree inner_type) { - /* Qualifiers on value types do not matter. */ + /* Do the following before stripping toplevel qualifiers. */ + if (POINTER_TYPE_P (inner_type) + && POINTER_TYPE_P (outer_type)) + { + /* Do not lose casts to restrict qualified pointers. */ + if ((TYPE_RESTRICT (outer_type) + != TYPE_RESTRICT (inner_type)) + && TYPE_RESTRICT (outer_type)) + return false; + } + + /* From now on qualifiers on value types do not matter. */ inner_type = TYPE_MAIN_VARIANT (inner_type); outer_type = TYPE_MAIN_VARIANT (outer_type); @@ -1147,12 +1158,6 @@ useless_type_conversion_p_1 (tree outer_type, tree inner_type) /* We do not care for const qualification of the pointed-to types as const qualification has no semantic value to the middle-end. */ - /* Do not lose casts to restrict qualified pointers. */ - if ((TYPE_RESTRICT (outer_type) - != TYPE_RESTRICT (inner_type)) - && TYPE_RESTRICT (outer_type)) - return false; - /* Otherwise pointers/references are equivalent if their pointed to types are effectively the same. We can strip qualifiers on pointed-to types for further comparison, which is done in |