diff options
Diffstat (limited to 'gcc')
| -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 |