r213245 - in /trunk/gcc/ada: ChangeLog gnat1drv...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Jul 30 10:42:06 2014
New Revision: 213245

URL: https://gcc.gnu.org/viewcvs?rev=213245&root=gcc&view=rev
Log:
2014-07-30  Yannick Moy  <moy@adacore.com>

	* gnat1drv.adb (Adjust_Global_Switches): Set
	Ineffective_Inline_Warnings to True in GNATprove mode.
	* inline.adb (Cannot_Inline): Prepare new semantics for GNATprove
	mode of inlining.
	* opt.ads (Ineffective_Inline_Warnings): Add comment that
	describes use in GNATprove mode.
	* sem_prag.adb (Analyze_Pragma|SPARK_Mode): Ignore
	pragma when applied to the special body created for inlining.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/gnat1drv.adb
    trunk/gcc/ada/inline.adb
    trunk/gcc/ada/opt.ads
    trunk/gcc/ada/sem_prag.adb