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

gcc/ChangeLog

+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>
 

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))

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