diff options
| author | Yannick Moy <moy@adacore.com> | 2014-07-30 10:42:06 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 12:42:06 +0200 |
| commit | 43478196de6d652e2cfcd4e0985f7371e2b351fb (patch) | |
| tree | 6a50dedc7bd7fad840f073126da1e44864d5784a /gcc/ada/frontend.adb | |
| parent | 662c2ad47559312689a4e5f81f2eccdc577be858 (diff) | |
| download | gcc-43478196de6d652e2cfcd4e0985f7371e2b351fb.zip gcc-43478196de6d652e2cfcd4e0985f7371e2b351fb.tar.gz gcc-43478196de6d652e2cfcd4e0985f7371e2b351fb.tar.bz2 | |
gnat1drv.adb (Adjust_Global_Switches): Set Ineffective_Inline_Warnings to True in GNATprove mode.
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.
From-SVN: r213245
Diffstat (limited to 'gcc/ada/frontend.adb')
0 files changed, 0 insertions, 0 deletions