* gcc-interface/trans.c (push_range_check_info): Replace early test
commit4d5855941cd2cb4de93e3d8e68bac448a3e834dc
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 24 Nov 2014 08:18:40 +0000 (24 08:18 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 24 Nov 2014 08:18:40 +0000 (24 08:18 +0000)
treed3dce21e6f62462c4a3162939a961e2744aecfb6
parent4ae0186888d36c2e72dbeeb0b5d9bb21d20c5eaa
* gcc-interface/trans.c (push_range_check_info): Replace early test
with assertion.
(Raise_Error_to_gnu): Do not call push_range_check_info if the loop
stack is empty.
* gcc-interface/utils.c (convert_to_fat_pointer): Fix formatting.
* gcc-interface/utils2.c (gnat_invariant_expr): Deal with padded types
and revert latest change.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217998 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gcc-interface/trans.c
gcc/ada/gcc-interface/utils.c
gcc/ada/gcc-interface/utils2.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/opt45.adb [new file with mode: 0644]