[Bug middle-end/36369] [4.3/4.4 Regression] may_alias broken with previous uses of non attributed type in some cases

["rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #14 from rguenth at gcc dot gnu dot org  2008-07-15 15:08 -------
Subject: Bug 36369

Author: rguenth
Date: Tue Jul 15 15:07:46 2008
New Revision: 137843

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=137843
Log:
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.

Added:
    trunk/gcc/testsuite/gcc.dg/Wstrict-aliasing-bogus-ref-all.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-common.c
    trunk/gcc/doc/extend.texi
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36369