r217999 - in /branches/gcc-4_9-branch/gcc: ada/...

[ebotcazou@gcc.gnu.org]

Author: ebotcazou
Date: Mon Nov 24 08:23:05 2014
New Revision: 217999

URL: https://gcc.gnu.org/viewcvs?rev=217999&root=gcc&view=rev
Log:
	* 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.

Added:
    branches/gcc-4_9-branch/gcc/testsuite/gnat.dg/opt45.adb
      - copied unchanged from r217998, trunk/gcc/testsuite/gnat.dg/opt45.adb
Modified:
    branches/gcc-4_9-branch/gcc/ada/ChangeLog
    branches/gcc-4_9-branch/gcc/ada/gcc-interface/trans.c
    branches/gcc-4_9-branch/gcc/ada/gcc-interface/utils.c
    branches/gcc-4_9-branch/gcc/ada/gcc-interface/utils2.c
    branches/gcc-4_9-branch/gcc/testsuite/ChangeLog