projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29e0597) | patch
trans.c (push_range_check_info): Replace early test with assertion.
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 24 Nov 2014 08:18:40 +0000 (08:18 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Mon, 24 Nov 2014 08:18:40 +0000 (08:18 +0000)
commit90b4c164f4c725bfd77c1a1c6ad574604b423401
treed3dce21e6f62462c4a3162939a961e2744aecfb6tree
parent29e0597e2530cc21fe964e35c6cfbfadfb08a01ecommit | diff
trans.c (push_range_check_info): Replace early test with assertion.

* 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.

From-SVN: r217998
gcc/ada/ChangeLog diff | blob | history
gcc/ada/gcc-interface/trans.c diff | blob | history
gcc/ada/gcc-interface/utils.c diff | blob | history
gcc/ada/gcc-interface/utils2.c diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gnat.dg/opt45.adb [new file with mode: 0644] blob