This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Add update-ssa verification code
- From: Richard Guenther <rguenther at suse dot de>
- To: gcc-patches at gcc dot gnu dot org
- Date: Tue, 14 Aug 2012 13:11:02 +0200 (CEST)
- Subject: Re: [PATCH] Add update-ssa verification code
- References: <alpine.LNX.2.00.1208141127590.28649@zhemvz.fhfr.qr>
On Tue, 14 Aug 2012, Richard Guenther wrote:
>
> This adds verification code that we do not try to rewrite a symbol
> into SSA form that is already partly in SSA form. That would lead
> to silent wrong-code generation.
>
> Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk.
Ick, I've tested a different patch. Fix, bootstrapped and tested,
installed.
Richard.
2012-08-14 Richard Guenther <rguenther@suse.de>
* tree-into-ssa.c: Include diagnostic-core.h.
* Makefile.in (tree-into-ssa.o): Adjust.
Index: gcc/tree-into-ssa.c
===================================================================
--- gcc/tree-into-ssa.c (revision 190379)
+++ gcc/tree-into-ssa.c (working copy)
@@ -40,6 +40,7 @@ along with GCC; see the file COPYING3.
#include "domwalk.h"
#include "params.h"
#include "vecprim.h"
+#include "diagnostic-core.h"
/* This file builds the SSA form for a function as described in:
Index: gcc/Makefile.in
===================================================================
--- gcc/Makefile.in (revision 190379)
+++ gcc/Makefile.in (working copy)
@@ -2248,7 +2248,7 @@ tree-ssa.o : tree-ssa.c $(TREE_FLOW_H) $
$(GIMPLE_H) $(TREE_INLINE_H) $(TARGET_H) \
$(GIMPLE_PRETTY_PRINT_H) $(CFGLOOP_H)
tree-into-ssa.o : tree-into-ssa.c $(TREE_FLOW_H) $(CONFIG_H) $(SYSTEM_H) \
- $(TREE_H) $(TM_P_H) $(DIAGNOSTIC_H) \
+ $(TREE_H) $(TM_P_H) $(DIAGNOSTIC_CORE_H) \
$(FUNCTION_H) $(TM_H) coretypes.h \
langhooks.h domwalk.h $(TREE_PASS_H) $(PARAMS_H) $(BASIC_BLOCK_H) \
$(BITMAP_H) $(CFGLOOP_H) $(FLAGS_H) $(HASHTAB_H) \