diff options
Diffstat (limited to 'gcc/tree.c')
| -rw-r--r-- | gcc/tree.c | 30 |
1 files changed, 24 insertions, 6 deletions
@@ -3702,6 +3702,20 @@ build_qualified_type (tree type, int type_quals) { t = build_variant_type_copy (type); set_type_quals (t, type_quals); + + /* If it's a pointer type, the new variant points to the same type. */ + if (TREE_CODE (type) == POINTER_TYPE) + { + TYPE_NEXT_PTR_TO (t) = TYPE_NEXT_PTR_TO (type); + TYPE_NEXT_PTR_TO (type) = t; + } + + /* Same for a reference type. */ + else if (TREE_CODE (type) == REFERENCE_TYPE) + { + TYPE_NEXT_REF_TO (t) = TYPE_NEXT_REF_TO (type); + TYPE_NEXT_REF_TO (type) = t; + } } return t; @@ -4817,10 +4831,12 @@ build_pointer_type_for_mode (tree to_type, enum machine_mode mode, && TREE_CODE (TYPE_POINTER_TO (to_type)) != POINTER_TYPE) return TYPE_POINTER_TO (to_type); - /* First, if we already have a type for pointers to TO_TYPE and it's - the proper mode, use it. */ + /* First, if we already have an unqualified type for pointers to TO_TYPE + and it's the proper mode, use it. */ for (t = TYPE_POINTER_TO (to_type); t; t = TYPE_NEXT_PTR_TO (t)) - if (TYPE_MODE (t) == mode && TYPE_REF_CAN_ALIAS_ALL (t) == can_alias_all) + if (TYPE_MODE (t) == mode + && !TYPE_QUALS (t) + && TYPE_REF_CAN_ALIAS_ALL (t) == can_alias_all) return t; t = make_node (POINTER_TYPE); @@ -4866,10 +4882,12 @@ build_reference_type_for_mode (tree to_type, enum machine_mode mode, && TREE_CODE (TYPE_REFERENCE_TO (to_type)) != REFERENCE_TYPE) return TYPE_REFERENCE_TO (to_type); - /* First, if we already have a type for pointers to TO_TYPE and it's - the proper mode, use it. */ + /* First, if we already have an unqualified type for references to TO_TYPE + and it's the proper mode, use it. */ for (t = TYPE_REFERENCE_TO (to_type); t; t = TYPE_NEXT_REF_TO (t)) - if (TYPE_MODE (t) == mode && TYPE_REF_CAN_ALIAS_ALL (t) == can_alias_all) + if (TYPE_MODE (t) == mode + && !TYPE_QUALS (t) + && TYPE_REF_CAN_ALIAS_ALL (t) == can_alias_all) return t; t = make_node (REFERENCE_TYPE); |