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