ipa-type-escape.c (analyze_variable): Use gcc_assert instead of abort.

	* ipa-type-escape.c (analyze_variable): Use gcc_assert instead of
	abort.
	* except.c (output_ttype): Likewise.
	* tree-object-size.c (collect_object_sizes_for): Likewise.
	(check_for_plus_in_loops_1): Likewise.
	(check_for_plus_in_loops): Likewise.
	(compute_object_sizes): Use gcc_unreachable instead of abort.

Co-Authored-By: Christophe Jaillet <christophe.jaillet@wanadoo.fr>

From-SVN: r108237

gcc/ChangeLog

+2005-12-08  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
+            Christophe Jaillet  <christophe.jaillet@wanadoo.fr>
+
+	* ipa-type-escape.c (analyze_variable): Use gcc_assert instead of
+	abort.
+	* except.c (output_ttype): Likewise.
+	* tree-object-size.c (collect_object_sizes_for): Likewise.
+	(check_for_plus_in_loops_1): Likewise.
+	(check_for_plus_in_loops): Likewise.
+	(compute_object_sizes): Use gcc_unreachable instead of abort.
+
 2005-12-08  Nathan Sidwell  <nathan@codesourcery.com>
 
 	* config/ms1/ms1.md (UNSPEC_LOOP): New constant.

gcc/except.c

@@ -3486,8 +3486,8 @@ output_ttype (tree type, int tt_format, int tt_format_size)
 	      public = TREE_PUBLIC (type);
 	    }
 	}
-      else if (TREE_CODE (type) != INTEGER_CST)
-	abort ();
+      else
+	gcc_assert (TREE_CODE (type) == INTEGER_CST);
     }
 
   /* Allow the target to override the type table entry format.  */

gcc/ipa-type-escape.c

@@ -1349,13 +1349,10 @@ analyze_variable (struct cgraph_varpool_node *vnode)
   if (vnode->externally_visible)
     mark_interesting_type (type, FULL_ESCAPE);
 
-  if (TREE_CODE (global) == VAR_DECL)
-    {
-      if (DECL_INITIAL (global)) 
-	walk_tree (&DECL_INITIAL (global), scan_for_refs, 
-		   NULL, visited_nodes);
-    } 
-  else abort();
+  gcc_assert (TREE_CODE (global) == VAR_DECL);
+
+  if (DECL_INITIAL (global))
+    walk_tree (&DECL_INITIAL (global), scan_for_refs, NULL, visited_nodes);
 }
 
 /* This is the main routine for finding the reference patterns for

gcc/tree-object-size.c

@@ -688,8 +688,7 @@ collect_object_sizes_for (struct object_size_info *osi, tree var)
   switch (TREE_CODE (stmt))
     {
     case RETURN_EXPR:
-      if (TREE_CODE (TREE_OPERAND (stmt, 0)) != MODIFY_EXPR)
-	abort ();
+      gcc_assert (TREE_CODE (TREE_OPERAND (stmt, 0)) == MODIFY_EXPR);
       stmt = TREE_OPERAND (stmt, 0);
       /* FALLTHRU  */
 
@@ -815,8 +814,7 @@ check_for_plus_in_loops_1 (struct object_size_info *osi, tree var,
   switch (TREE_CODE (stmt))
     {
     case RETURN_EXPR:
-      if (TREE_CODE (TREE_OPERAND (stmt, 0)) != MODIFY_EXPR)
-	abort ();
+      gcc_assert (TREE_CODE (TREE_OPERAND (stmt, 0)) == MODIFY_EXPR);
       stmt = TREE_OPERAND (stmt, 0);
       /* FALLTHRU  */
 
@@ -894,8 +892,7 @@ check_for_plus_in_loops (struct object_size_info *osi, tree var)
   switch (TREE_CODE (stmt))
     {
     case RETURN_EXPR:
-      if (TREE_CODE (TREE_OPERAND (stmt, 0)) != MODIFY_EXPR)
-	abort ();
+      gcc_assert (TREE_CODE (TREE_OPERAND (stmt, 0)) == MODIFY_EXPR);
       stmt = TREE_OPERAND (stmt, 0);
       /* FALLTHRU  */
 
@@ -1045,7 +1042,7 @@ compute_object_sizes (void)
 	    }
 
 	  if (!set_rhs (stmtp, result))
-	    abort ();
+	    gcc_unreachable ();
 	  update_stmt (*stmtp);
 
 	  if (dump_file && (dump_flags & TDF_DETAILS))