From: Richard Guenther <rguenther@suse.de>
Date: Sat, 4 Apr 2009 14:12:10 +0000 (+0000)
Subject: tree-ssa.c (verify_ssa): With -O0 we do not need VOPs.
X-Git-Tag: releases/gcc-4.5.0~6909
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=c6803d43effa943273a5c6db91a4ec1d39076932;p=thirdparty%2Fgcc.git

tree-ssa.c (verify_ssa): With -O0 we do not need VOPs.

2009-04-04  Richard Guenther  <rguenther@suse.de>

	* tree-ssa.c (verify_ssa): With -O0 we do not need VOPs.
	* tree-ssa-operands.c (append_vdef): Do not append VOPs at -O0.
	(append_vuse): Likewise.

From-SVN: r145539
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e6eb762f13fd..072d090173d9 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2009-04-04  Richard Guenther  <rguenther@suse.de>
+
+	* tree-ssa.c (verify_ssa): With -O0 we do not need VOPs.
+	* tree-ssa-operands.c (append_vdef): Do not append VOPs at -O0.
+	(append_vuse): Likewise.
+
 2009-04-04  Jakub Jelinek  <jakub@redhat.com>
 
 	* unwind-dw2.h (_Unwind_FrameState): Add REG_UNDEFINED enum value.
diff --git a/gcc/tree-ssa-operands.c b/gcc/tree-ssa-operands.c
index 56d8e84a73b1..f4df75080930 100644
--- a/gcc/tree-ssa-operands.c
+++ b/gcc/tree-ssa-operands.c
@@ -608,6 +608,9 @@ append_use (tree *use_p)
 static inline void
 append_vdef (tree var)
 {
+  if (!optimize)
+    return;
+
   gcc_assert ((build_vdef == NULL_TREE
 	       || build_vdef == var)
 	      && (build_vuse == NULL_TREE
@@ -623,6 +626,9 @@ append_vdef (tree var)
 static inline void
 append_vuse (tree var)
 {
+  if (!optimize)
+    return;
+
   gcc_assert (build_vuse == NULL_TREE
 	      || build_vuse == var);
 
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index 3c4fc0c0d38c..ba0c6ab720d9 100644
--- a/gcc/tree-ssa.c
+++ b/gcc/tree-ssa.c
@@ -624,7 +624,8 @@ verify_ssa (bool check_modified_stmt)
 
 	      if (base_address
 		  && SSA_VAR_P (base_address)
-		  && !gimple_vdef (stmt))
+		  && !gimple_vdef (stmt)
+		  && optimize > 0)
 		{
 		  error ("statement makes a memory store, but has no VDEFS");
 		  print_gimple_stmt (stderr, stmt, 0, TDF_VOPS);