array.c: Don't include assert.h.

	* array.c: Don't include assert.h.
	* data.c: Don't include assert.h.  Replace assert and abort with
	gcc_assert and gcc_unreachable.
	* dependency.c: Ditto.
	* f95-lang.c: Ditto.
	* iresolve.c: Ditto.
	* resolve.c: Ditto.
	* simplify.c: Ditto.
	* symbol.c: Ditto.
	* trans-array.c: Ditto.
	* trans-common.c: Ditto.
	* trans-const.c: Ditto.
	* trans-decl.c: Ditto.
	* trans-expr.c: Ditto.
	* trans-intrinsic.c: Ditto.
	* trans-io.c: Ditto.
	* trans-stmt.c: Ditto.
	* trans-types.c: Ditto.
	* trans.c: Ditto.

From-SVN: r87187

1 files changed, 11 insertions, 12 deletions

diff --git a/gcc/fortran/dependency.c b/gcc/fortran/dependency.c
index 4dd076d..28b786f 100644
--- a/gcc/fortran/dependency.c
+++ b/gcc/fortran/dependency.c
@@ -28,7 +28,6 @@ Software Foundation, 59 Temple Place - Suite 330, Boston, MA
 #include "config.h"
 #include "gfortran.h"
 #include "dependency.h"
-#include <assert.h>
 
 /* static declarations */
 /* Enums  */
@@ -55,7 +54,7 @@ gfc_dependency;
 int
 gfc_expr_is_one (gfc_expr * expr, int def)
 {
-  assert (expr != NULL);
+  gcc_assert (expr != NULL);
 
   if (expr->expr_type != EXPR_CONSTANT)
     return def;
@@ -115,9 +114,9 @@ gfc_is_same_range (gfc_array_ref * ar1, gfc_array_ref * ar2, int n, int def)
   int i;
 
   /* TODO: More sophisticated range comparison.  */
-  assert (ar1 && ar2);
+  gcc_assert (ar1 && ar2);
 
-  assert (ar1->dimen_type[n] == ar2->dimen_type[n]);
+  gcc_assert (ar1->dimen_type[n] == ar2->dimen_type[n]);
 
   e1 = ar1->stride[n];
   e2 = ar2->stride[n];
@@ -190,9 +189,9 @@ gfc_check_fncall_dependency (gfc_expr * dest, gfc_expr * fncall)
   gfc_expr *expr;
   int n;
 
-  assert (dest->expr_type == EXPR_VARIABLE
+  gcc_assert (dest->expr_type == EXPR_VARIABLE
 	  && fncall->expr_type == EXPR_FUNCTION);
-  assert (fncall->rank > 0);
+  gcc_assert (fncall->rank > 0);
 
   for (actual = fncall->value.function.actual; actual; actual = actual->next)
     {
@@ -214,7 +213,7 @@ gfc_check_fncall_dependency (gfc_expr * dest, gfc_expr * fncall)
 		  if (ref->type == REF_ARRAY && ref->u.ar.type != AR_ELEMENT)
 		    break;
 		}
-	      assert (ref);
+	      gcc_assert (ref);
 	      /* AR_FULL can't contain vector subscripts.  */
 	      if (ref->u.ar.type == AR_SECTION)
 		{
@@ -264,7 +263,7 @@ gfc_check_dependency (gfc_expr * expr1, gfc_expr * expr2, gfc_expr ** vars,
   int n;
   gfc_actual_arglist *actual;
 
-  assert (expr1->expr_type == EXPR_VARIABLE);
+  gcc_assert (expr1->expr_type == EXPR_VARIABLE);
 
   /* TODO: -fassume-no-pointer-aliasing */
   if (expr1->symtree->n.sym->attr.pointer)
@@ -604,7 +603,7 @@ gfc_dep_resolver (gfc_ref * lref, gfc_ref * rref)
       /* We're resolving from the same base symbol, so both refs should be
          the same type.  We traverse the reference chain intil we find ranges
 	 that are not equal.  */
-      assert (lref->type == rref->type);
+      gcc_assert (lref->type == rref->type);
       switch (lref->type)
 	{
 	case REF_COMPONENT:
@@ -638,7 +637,7 @@ gfc_dep_resolver (gfc_ref * lref, gfc_ref * rref)
 		this_dep = gfc_check_element_vs_section (rref, lref, n);
 	      else 
 		{
-		  assert (rref->u.ar.dimen_type[n] == DIMEN_ELEMENT
+		  gcc_assert (rref->u.ar.dimen_type[n] == DIMEN_ELEMENT
 		          && lref->u.ar.dimen_type[n] == DIMEN_ELEMENT);
 		  this_dep = gfc_check_element_vs_element (rref, lref, n);
 		}
@@ -662,14 +661,14 @@ gfc_dep_resolver (gfc_ref * lref, gfc_ref * rref)
 	  break;
 
 	default:
-	  abort();
+	  gcc_unreachable ();
 	}
       lref = lref->next;
       rref = rref->next;
     }
 
   /* If we haven't seen any array refs then something went wrong.  */
-  assert (fin_dep != GFC_DEP_ERROR);
+  gcc_assert (fin_dep != GFC_DEP_ERROR);
 
   if (fin_dep < GFC_DEP_OVERLAP)
     return 0;