Patchwork Add update-ssa verification code

login
register
mail settings
Submitter Richard Guenther
Date Aug. 14, 2012, 11:11 a.m.
Message ID <alpine.LNX.2.00.1208141308270.28649@zhemvz.fhfr.qr>
Download mbox | patch
Permalink /patch/177222/
State New
Headers show

Comments

Richard Guenther - Aug. 14, 2012, 11:11 a.m.
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.

Patch

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) \