trans.c (gnat_to_gnu): Assert that the type of the prefix is ultimately an array.

	* gcc-interface/trans.c (gnat_to_gnu) <N_Indexed_Component>: Assert
	that the type of the prefix is ultimately an array.

From-SVN: r194323

gcc/ada/ChangeLog

 2012-12-08  Eric Botcazou  <ebotcazou@adacore.com>
 
+	* gcc-interface/trans.c (gnat_to_gnu) <N_Indexed_Component>: Assert
+	that the type of the prefix is ultimately an array.
+
+2012-12-08  Eric Botcazou  <ebotcazou@adacore.com>
+
 	* gcc-interface/trans.c (Subprogram_Body_to_gnu): Be prepared for a
 	by-ref VAR_DECL in the case of an Out parameter passed by copy.
 

gcc/ada/gcc-interface/trans.c

@@ -5410,6 +5410,10 @@ gnat_to_gnu (Node_Id gnat_node)
 
 	gnu_result = gnu_array_object;
 
+	/* The failure of this assertion will very likely come from a missing
+	   expansion for a packed array access.  */
+	gcc_assert (TREE_CODE (TREE_TYPE (gnu_array_object)) == ARRAY_TYPE);
+
 	/* First compute the number of dimensions of the array, then
 	   fill the expression array, the order depending on whether
 	   this is a Convention_Fortran array or not.  */