fold-const.c (size_binop): Don't asert inputs are the same and have TYPE_IS_SIZETYPE set.

	* fold-const.c (size_binop): Don't asert inputs are the same and
	have TYPE_IS_SIZETYPE set.
	(size_diffop): Likewise.

From-SVN: r32273

gcc/ChangeLog

+2000-02-29  Mark Mitchell  <mark@codesourcery.com>
+
+	* fold-const.c (size_binop): Don't asert inputs are the same and
+	have TYPE_IS_SIZETYPE set.
+	(size_diffop): Likewise.
+
 2000-02-29  Jason Merrill  <jason@casey.cygnus.com>
 
 	* dwarfout.c (output_block): Output abstract blocks even if they

gcc/fold-const.c

@@ -1868,8 +1868,8 @@ size_binop (code, arg0, arg1)
 {
   tree type = TREE_TYPE (arg0);
 
-  if (type != TREE_TYPE (arg1)
-      || TREE_CODE (type) != INTEGER_TYPE || ! TYPE_IS_SIZETYPE (type))
+  if (TREE_CODE (type) != INTEGER_TYPE 
+      || TREE_CODE (TREE_TYPE (arg1)) != INTEGER_TYPE)
     abort ();
 
   /* Handle the special case of two integer constants faster.  */
@@ -1905,8 +1905,8 @@ size_diffop (arg0, arg1)
   tree type = TREE_TYPE (arg0);
   tree ctype;
 
-  if (TREE_TYPE (arg1) != type || TREE_CODE (type) != INTEGER_TYPE
-      || ! TYPE_IS_SIZETYPE (type))
+  if (TREE_CODE (type) != INTEGER_TYPE 
+      || TREE_CODE (TREE_TYPE (arg1)) != INTEGER_TYPE)
     abort ();
 
   /* If the type is already signed, just do the simple thing.  */

gcc/testsuite/g++.old-deja/g++.other/crash13.C

+struct Base_bitset {
+  unsigned M_w[2];
+  void M_do_right_shift();
+};
+
+
+void Base_bitset::M_do_right_shift ()
+{
+  unsigned n = 0;
+  M_w[0] =  M_w[n + 1]  ;
+}