diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-30 10:42:06 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-30 10:42:06 +0000 |
| commit | 727560195b5a1be9e2e1a708a72a3edfe60f2333 (patch) | |
| tree | 6a50dedc7bd7fad840f073126da1e44864d5784a /gcc/ada/gnat_rm.texi | |
| parent | c4369687923622b6f70e223249fd6eb1f4bb5005 (diff) | |
| download | gcc-727560195b5a1be9e2e1a708a72a3edfe60f2333.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213245 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/gnat_rm.texi')
0 files changed, 0 insertions, 0 deletions