diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2013-03-06 17:49:33 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2013-03-06 17:49:33 +0000 |
| commit | 6f71e355ebcc5e6e3474369ea5dd361d3ee5875d (patch) | |
| tree | 0f2a9d82dd42be855058f014eabbfb2d6e52dc8c /gcc/ada | |
| parent | b6ea6dbdc0482fe3a27f4c02e045945c6f02559f (diff) | |
| download | gcc-6f71e355ebcc5e6e3474369ea5dd361d3ee5875d.zip gcc-6f71e355ebcc5e6e3474369ea5dd361d3ee5875d.tar.gz gcc-6f71e355ebcc5e6e3474369ea5dd361d3ee5875d.tar.bz2 | |
trans.c (Raise_Error_to_gnu): Record the unpadded type of the index type on the RCI stack.
* gcc-interface/trans.c (Raise_Error_to_gnu) <CE_Index_Check_Failed>:
Record the unpadded type of the index type on the RCI stack.
From-SVN: r196504
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/trans.c | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index fc34359..9c6df96 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2013-06-03 Eric Botcazou <ebotcazou@adacore.com> + + * gcc-interface/trans.c (Raise_Error_to_gnu) <CE_Index_Check_Failed>: + Record the unpadded type of the index type on the RCI stack. + 2013-03-06 Eric Botcazou <ebotcazou@adacore.com> * gcc-interface/trans.c (emit_range_check): Assert that the range type diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c index 69904bc..8cdc632 100644 --- a/gcc/ada/gcc-interface/trans.c +++ b/gcc/ada/gcc-interface/trans.c @@ -4944,7 +4944,7 @@ Raise_Error_to_gnu (Node_Id gnat_node, tree *gnu_result_type_p) { rci->low_bound = gnu_low_bound; rci->high_bound = gnu_high_bound; - rci->type = gnat_to_gnu_type (gnat_type); + rci->type = get_unpadded_type (gnat_type); rci->invariant_cond = build1 (SAVE_EXPR, boolean_type_node, boolean_true_node); gnu_cond = build_binary_op (TRUTH_ANDIF_EXPR, |