This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Enable type verification throughout the compiler.


On Mon, Apr 27, 2009 at 4:15 AM, Richard Guenther <rguenther@suse.de> wrote:
>
> Tromey agreed to my Java fix on IRC after some discussion, Diego acked
> the patch in principle.
>
> Thus, re-bootstrapped and tested on x86_64-unknown-linux-gnu with all
> languages and -m32/-m64 testing, installed to trunk.
>
> Richard.
>
> 2009-04-27 ?Richard Guenther ?<rguenther@suse.de>
>
> ? ? ? ?* tree-cfg.c (remove_useless_stmts): Verify stmts afterwards.
> ? ? ? ?(verify_stmts): Dispatch to gimple/type verification code.
> ? ? ? ?* tree-inline.c (remap_gimple_op_r): Work around C++ FE
> ? ? ? ?issue with call argument types.
>
> ? ? ? ?java/
> ? ? ? ?PR java/38374
> ? ? ? ?* constants.c (build_constants_constructor): Retain the old
> ? ? ? ?pointer type as valid TYPE_POINTER_TO after patching the
> ? ? ? ?type of the constant pool decl.
>

This patch caused:

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


-- 
H.J.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]