ebitmap.h (ebitmap_iter_init): Initialize all fields.

* ebitmap.h (ebitmap_iter_init): Initialize all fields.
* ipa-struct-reorg.c (gen_struct_type): Replace known-true
test with assertion.

From-SVN: r143443

gcc/ChangeLog

+2009-01-16  Alexandre Oliva  <aoliva@redhat.com>
+
+	* ebitmap.h (ebitmap_iter_init): Initialize all fields.
+	* ipa-struct-reorg.c (gen_struct_type): Replace known-true
+	test with assertion.
+
 2009-01-16  Richard Guenther  <rguenther@suse.de>
 
 	PR tree-optimization/38835

gcc/ebitmap.h

 /* Sparse array based bitmaps.
-   Copyright (C) 2007 Free Software Foundation, Inc.
+   Copyright (C) 2007, 2008 Free Software Foundation, Inc.
 
 This file is part of GCC.
 
@@ -95,7 +95,13 @@ ebitmap_iter_init (ebitmap_iterator *i, ebitmap bmp, unsigned int min)
 		     min / EBITMAP_ELT_BITS);
   i->size = bmp->numwords;
   if (i->size == 0)
+    {
+      i->ptr = NULL;
+      i->eltnum = 0;
+      i->bit_num = 0;
+      i->word = 0;
       return;
+    }
   i->ptr = bmp->elts;
   i->bit_num = min;
   i->eltnum = 0;

gcc/ipa-struct-reorg.c

@@ -1865,8 +1865,9 @@ gen_struct_type (tree decl, tree new_str_type)
 	  wr.wrap = 0;
 	  wr.domain = NULL_TREE;
 	}
-      else if (TREE_CODE (type_orig) == ARRAY_TYPE)
+      else
 	{
+	  gcc_assert (TREE_CODE (type_orig) == ARRAY_TYPE);
 	  wr.wrap = 1;
 	  wr.domain = TYPE_DOMAIN (type_orig);
 	}