trans.c (Raise_Error_to_gnu): Record the unpadded type of the index type on the RCI...
authorEric Botcazou <ebotcazou@adacore.com>
Wed, 6 Mar 2013 17:49:33 +0000 (17:49 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Wed, 6 Mar 2013 17:49:33 +0000 (17:49 +0000)
commit6f71e355ebcc5e6e3474369ea5dd361d3ee5875d
tree0f2a9d82dd42be855058f014eabbfb2d6e52dc8c
parentb6ea6dbdc0482fe3a27f4c02e045945c6f02559f
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
gcc/ada/ChangeLog
gcc/ada/gcc-interface/trans.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/loop_optimization15.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/loop_optimization15.ads [new file with mode: 0644]