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

gcc/ChangeLog

+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.

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

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