re PR middle-end/36369 (may_alias broken with previous uses of non attributed type...
authorRichard Guenther <rguenther@suse.de>
Tue, 15 Jul 2008 15:07:46 +0000 (15:07 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Tue, 15 Jul 2008 15:07:46 +0000 (15:07 +0000)
commitac7ee6adbe648bf0144976989030fac57798f6f9
tree0bcb9d1a50290f889709fe4909b9f2295332dc22
parent96c72efecd3d87a178da3ee4b4d0eff5f83f833c
re PR middle-end/36369 (may_alias broken with previous uses of non attributed type in some cases)

2008-07-15  Richard Guenther  <rguenther@suse.de>

PR middle-end/36369
* c-common.c (strict_aliasing_warning): Do not warn for
TYPE_REF_CAN_ALIAS_ALL pointers.
(c_common_get_alias_set): may_alias types are not special.
* tree.c (build_pointer_type_for_mode): Look up the may_alias
attribute and set can_ref_all accordingly.
(build_reference_type_for_mode): Likewise.
* doc/extend.texi (may_alias): Clarify.

* gcc.dg/Wstrict-aliasing-bogus-ref-all.c: New testcase.

From-SVN: r137843
gcc/ChangeLog
gcc/c-common.c
gcc/doc/extend.texi
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/Wstrict-aliasing-bogus-ref-all.c [new file with mode: 0644]
gcc/tree.c