From patchwork Tue Aug 14 11:11:02 2012
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Subject: Add update-ssa verification code
From: Richard Guenther <rguenther@suse.de>
X-Patchwork-Id: 177222
Message-Id: <alpine.LNX.2.00.1208141308270.28649@zhemvz.fhfr.qr>
To: gcc-patches@gcc.gnu.org
Date: Tue, 14 Aug 2012 13:11:02 +0200 (CEST)

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