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 b6050b30373dab007995801a739306174a4112b8..64fca50b81c350b4e918f8d84a76fe3fb359075c 100644 (file)
--- 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 3910501f1ea2d912a5bdb346a3564ee9083efe2c..bff545e432d2338966c2e6b1a42c625e8f4d28e6 100644 (file)
--- 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 ddde45ddc5e4d278ec7997a228b5bbdbfae032f8..54ff28a08dcf23a41f022be85b73cf7e21a08272 100644 (file)
--- 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