diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-20 11:48:00 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-20 11:48:00 +0200 |
| commit | 7188885e569f18885615d4064e393d4c6db77e80 (patch) | |
| tree | a32a044ee02284902f110d5ffc5f7be3fdb24c39 /gcc/ada/inline.adb | |
| parent | f06f5f6bd618153d66a028f7be4dbecc22913ac1 (diff) | |
| download | gcc-7188885e569f18885615d4064e393d4c6db77e80.zip gcc-7188885e569f18885615d4064e393d4c6db77e80.tar.gz gcc-7188885e569f18885615d4064e393d4c6db77e80.tar.bz2 | |
[multiple changes]
2015-10-20 Bob Duff <duff@adacore.com>
* output.adb (Write_Int): Work with negative numbers in order to avoid
negating Int'First and thereby causing overflow.
* sem_util.adb: Minor comment fix.
2015-10-20 Eric Botcazou <ebotcazou@adacore.com>
* make.adb (Check): Skip multilib switches reinstated by the
compiler when doing the comparison with switches passed to
gnatmake.
2015-10-20 Yannick Moy <moy@adacore.com>
* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Return
False for procedures marked No_Return.
* sem_util.ads (Enclosing_Declaration): Improve comment.
* einfo.adb (Is_Completely_Hidden): Remove spurious assertion.
From-SVN: r229029
Diffstat (limited to 'gcc/ada/inline.adb')
| -rw-r--r-- | gcc/ada/inline.adb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index d68a972..bb26c46 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -1534,6 +1534,12 @@ package body Inline is elsif In_Package_Visible_Spec (Id) then return False; + -- Do not inline subprograms marked No_Return, possibly used for + -- signaling errors, which GNATprove handles specially. + + elsif No_Return (Id) then + return False; + -- Do not inline subprograms that have a contract on the spec or the -- body. Use the contract(s) instead in GNATprove. |