From: Nathan Sidwell Date: Thu, 9 Sep 2004 10:15:44 +0000 (+0000) Subject: tree-outof-ssa.c (free_temp_expr_table): Add missed assert. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e15379347231bed38c764cf3619e21cb56767150;p=gcc.git tree-outof-ssa.c (free_temp_expr_table): Add missed assert. * 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. From-SVN: r87226 --- 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 + + * 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 Nathan Sidwell 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