diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2012-12-08 12:13:44 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2012-12-08 12:13:44 +0000 |
| commit | 54441a34e7aebb64613ee1105548c55769b93791 (patch) | |
| tree | 162d77654a66967758368af8f7f5c1e4e216b4c0 /gcc | |
| parent | 28ea163c41fc5ca58c6e9368ece155e42ecd9cc7 (diff) | |
| download | gcc-54441a34e7aebb64613ee1105548c55769b93791.zip gcc-54441a34e7aebb64613ee1105548c55769b93791.tar.gz gcc-54441a34e7aebb64613ee1105548c55769b93791.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/trans.c | 4 |
2 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 5a5834f..7e1208f 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,10 @@ 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. diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c index f1398e2..74133a4 100644 --- a/gcc/ada/gcc-interface/trans.c +++ b/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. */ |