Restore df_free_collection_rec call in df_bb_verify

	PR middle-end/54332
	* df-scan.c (df_bb_verify): Restore df_free_collection_rec call
	inside the insn traversal loop.

	* vec.h (vec_reserve): Remove the stack allocation check.

From-SVN: r190576

gcc/ChangeLog

+2012-08-21  H.J. Lu  <hongjiu.lu@intel.com>
+
+	PR middle-end/54332
+	* df-scan.c (df_bb_verify): Restore df_free_collection_rec call
+	inside the insn traversal loop.
+
+	* vec.h (vec_reserve): Remove the stack allocation check.
+
 2012-08-21  Marc Glisse  <marc.glisse@inria.fr>
 
 	* fold-const.c (fold_ternary_loc): Detect identity permutations.

gcc/df-scan.c

@@ -4448,6 +4448,7 @@ df_bb_verify (basic_block bb)
       if (!INSN_P (insn))
         continue;
       df_insn_refs_verify (&collection_rec, bb, insn, true);
+      df_free_collection_rec (&collection_rec);
     }
 
   /* Do the artificial defs and uses.  */

gcc/vec.h

@@ -1099,21 +1099,9 @@ vec_reserve (vec_t<T> *vec_, int reserve MEM_STAT_DECL)
 					      sizeof (T), false
 					      PASS_MEM_STAT);
   else
-    {
-      /* Only allow stack vectors when re-growing them.  The initial
-	 allocation of stack vectors must be done with the
-	 VEC_stack_alloc macro, because it uses alloca() for the
-	 allocation.  */
-      if (vec_ == NULL)
-	{
-	  fprintf (stderr, "Stack vectors must be initially allocated "
-		   "with VEC_stack_alloc.\n");
-	  gcc_unreachable ();
-	}
-      return (vec_t<T> *) vec_stack_o_reserve (vec_, reserve,
-					       offsetof (vec_t<T>, vec),
-					       sizeof (T) PASS_MEM_STAT);
-    }
+    return (vec_t<T> *) vec_stack_o_reserve (vec_, reserve,
+					     offsetof (vec_t<T>, vec),
+					     sizeof (T) PASS_MEM_STAT);
 }