diff options
Diffstat (limited to 'gcc/c-family')
| -rw-r--r-- | gcc/c-family/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/c-family/c-common.c | 15 |
2 files changed, 5 insertions, 15 deletions
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 86ce14a968e..d5b839594ce 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,8 @@ +2016-06-29 Richard Biener <rguenther@suse.de> + + PR middle-end/71002 + * c-common.c (c_common_get_alias_set): Remove union type punning case. + 2016-06-24 Jason Merrill <jason@redhat.com> P0145R2: Refining Expression Order for C++. diff --git a/gcc/c-family/c-common.c b/gcc/c-family/c-common.c index 3301c313998..936ddfb87e5 100644 --- a/gcc/c-family/c-common.c +++ b/gcc/c-family/c-common.c @@ -4736,8 +4736,6 @@ static GTY(()) hash_table<c_type_hasher> *type_hash_table; alias_set_type c_common_get_alias_set (tree t) { - tree u; - /* For VLAs, use the alias set of the element type rather than the default of alias set 0 for types compared structurally. */ if (TYPE_P (t) && TYPE_STRUCTURAL_EQUALITY_P (t)) @@ -4747,19 +4745,6 @@ c_common_get_alias_set (tree t) return -1; } - /* Permit type-punning when accessing a union, provided the access - is directly through the union. For example, this code does not - permit taking the address of a union member and then storing - through it. Even the type-punning allowed here is a GCC - extension, albeit a common and useful one; the C standard says - that such accesses have implementation-defined behavior. */ - for (u = t; - TREE_CODE (u) == COMPONENT_REF || TREE_CODE (u) == ARRAY_REF; - u = TREE_OPERAND (u, 0)) - if (TREE_CODE (u) == COMPONENT_REF - && TREE_CODE (TREE_TYPE (TREE_OPERAND (u, 0))) == UNION_TYPE) - return 0; - /* That's all the expressions we handle specially. */ if (!TYPE_P (t)) return -1; |