diff options
| author | nathan <nathan@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-09-09 10:15:44 +0000 |
|---|---|---|
| committer | nathan <nathan@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-09-09 10:15:44 +0000 |
| commit | 27e7415f6f15586d1685b69b6cf79c17310f7573 (patch) | |
| tree | 2fc626669ace4163616695592962200ca0d36fcc | |
| parent | b477a553a486f719504ff561547e229a197d9b19 (diff) | |
| download | gcc-27e7415f6f15586d1685b69b6cf79c17310f7573.tar.gz | |
* tree-outof-ssa.c (free_temp_expr_table): Add missed assert.
* tree-ssa-ccp.c (set_lattice_value): Correct missapplied de
Morgan's theorem in last checkin.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@87226 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-outof-ssa.c | 3 | ||||
| -rw-r--r-- | gcc/tree-ssa-ccp.c | 4 |
3 files changed, 9 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b6050b30373..64fca50b81c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2004-09-09 Nathan Sidwell <nathan@codesourcery.com> + + * tree-outof-ssa.c (free_temp_expr_table): Add missed assert. + * tree-ssa-ccp.c (set_lattice_value): Correct missapplied de + Morgan's theorem in last checkin. + 2004-09-09 Giovanni Bajo <giovannibajo@gcc.gnu.org> Nathan Sidwell <nathan@codesourcery.com> diff --git a/gcc/tree-outof-ssa.c b/gcc/tree-outof-ssa.c index 3910501f1ea..bff545e432d 100644 --- a/gcc/tree-outof-ssa.c +++ b/gcc/tree-outof-ssa.c @@ -1280,8 +1280,7 @@ free_temp_expr_table (temp_expr_table_p t) #ifdef ENABLE_CHECKING int x; for (x = 0; x <= num_var_partitions (t->map); x++) - if (t->partition_dep_list[x] != NULL) - gcc_unreachable (); + gcc_assert (!t->partition_dep_list[x]); #endif while ((p = t->free_list)) diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index ddde45ddc5e..54ff28a08dc 100644 --- a/gcc/tree-ssa-ccp.c +++ b/gcc/tree-ssa-ccp.c @@ -219,8 +219,8 @@ set_lattice_value (tree var, value val) else if (val.lattice_val == CONSTANT) /* VARYING -> CONSTANT is an invalid state transition, except for objects which start off in a VARYING state. */ - gcc_assert (old->lattice_val == VARYING - || get_default_value (var).lattice_val != VARYING); + gcc_assert (old->lattice_val != VARYING + || get_default_value (var).lattice_val == VARYING); /* If the constant for VAR has changed, then this VAR is really varying. */ if (old->lattice_val == CONSTANT |