r213336 - in /trunk/gcc/ada: ChangeLog inline.a...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Jul 31 10:02:13 2014
New Revision: 213336

URL: https://gcc.gnu.org/viewcvs?rev=213336&root=gcc&view=rev
Log:
2014-07-31  Robert Dewar  <dewar@adacore.com>

	* par-ch13.adb (Get_Aspect_Specifications): Set Inside_Depends.
	* par-ch2.adb (P_Pragma): Set Inside_Depends.
	* par-ch4.adb (P_Simple_Expression): Pass Inside_Depends to
	Check_Unary_Plus_Or_Minus.
	* scans.ads (Inside_Depends): New flag.
	* scng.adb (Scan): Pass Inside_Depends to Check_Arrow.
	* style.ads: Add Inside_Depends parameter to Check_Arrow Add
	Inside_Depends parameter to Check_Unary_Plus_Or_Minus.
	* styleg.adb (Check_Arrow): Handle Inside_Depends case.
	(Check_Unary_Plus_Or_Minus): Handle Inside_Depends case.
	* styleg.ads: Add Inside_Depends parameter to Check_Arrow Add.
	Inside_Depends parameter to Check_Unary_Plus_Or_Minus.

2014-07-31  Javier Miranda  <miranda@adacore.com>

	* s-vaflop.adb Move the body of function T_To_G before
	T_To_D. Required for frontend inlining.
	* inline.adb (Has_Excluded_Contract): New subprogram used to
	check if a subprogram inlined by the frontend has contracts
	which cannot be inlined.

2014-07-31  Bob Duff  <duff@adacore.com>

	* s-traceb.adb, s-traceb-hpux.adb, s-traceb-mastop.adb:
	(Call_Chain): Add 1 to number of frames to skip, to account for
	the fact that there's one more frame on the stack.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/inline.adb
    trunk/gcc/ada/par-ch13.adb
    trunk/gcc/ada/par-ch2.adb
    trunk/gcc/ada/par-ch4.adb
    trunk/gcc/ada/s-traceb-hpux.adb
    trunk/gcc/ada/s-traceb-mastop.adb
    trunk/gcc/ada/s-traceb.adb
    trunk/gcc/ada/s-vaflop.adb
    trunk/gcc/ada/scans.ads
    trunk/gcc/ada/scng.adb
    trunk/gcc/ada/style.ads
    trunk/gcc/ada/styleg.adb
    trunk/gcc/ada/styleg.ads