[Bug middle-end/33724] [4.3 Regression] Type checking error with address-of and ref-all pointer type

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2007-10-11 08:58 -------
Subject: Bug 33724

Author: rguenth
Date: Thu Oct 11 08:58:28 2007
New Revision: 129228

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129228
Log:
2007-10-11  Richard Guenther  <[EMAIL PROTECTED]>

        PR middle-end/33724
        * tree-cfg.c (one_pointer_to_useless_type_conversion_p): New function.
        (verify_gimple_expr): Use it to verify pointer-to types for
        ADDR_EXPRs.

        * gcc.dg/pr33724.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/pr33724.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-cfg.c


-- 


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