diff options
-rw-r--r-- | gcc/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/tree-ssa-operands.c | 6 | ||||
-rw-r--r-- | gcc/tree-ssa.c | 3 |
3 files changed, 14 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e6eb762f13f..072d090173d 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 56d8e84a73b..f4df7508093 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 3c4fc0c0d38..ba0c6ab720d 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); |