diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-09-01 15:14:44 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-09-01 15:14:44 +0200 |
| commit | db15225a8e354c5223e074054bbf8757b886d032 (patch) | |
| tree | 2c2493e13288720b514a41b4a5a3565d77279b11 /gcc/ada/inline.adb | |
| parent | 9d641fc0bb5b3ee8b898948aa890647060a415d3 (diff) | |
| download | gcc-db15225a8e354c5223e074054bbf8757b886d032.zip gcc-db15225a8e354c5223e074054bbf8757b886d032.tar.gz gcc-db15225a8e354c5223e074054bbf8757b886d032.tar.bz2 | |
[multiple changes]
2011-09-01 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch4.adb: Minor code and comment reformatting.
2011-09-01 Thomas Quinot <quinot@adacore.com>
* exp_ch6.adb (Expand_Inlined_Call): Remove redundant tests
for Is_Limited_Type and Is_Tagged_Type in condition checking
for by-reference type.
* inline.adb (Add_Inlined_Body): Only exclude init_procs. Other
subprograms may have a completion because of a previous
Inline_Always clause, but the enclosing package must be marked
inlined for the subprogram body to become visible to the backend.
From-SVN: r178410
Diffstat (limited to 'gcc/ada/inline.adb')
| -rw-r--r-- | gcc/ada/inline.adb | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index 0eb8dce..53369ea 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -341,10 +341,12 @@ package body Inline is if Is_Generic_Instance (Pack) then null; + -- Do not inline the package if the subprogram is an init. proc + -- because in that case the body appears in the same unit that + -- declares the type, which will be compiled in any case. + elsif not Is_Inlined (Pack) - and then - (not Has_Completion (E) - or else Is_Expression_Function (E)) + and then not Is_Init_Proc (E) then Set_Is_Inlined (Pack); Inlined_Bodies.Increment_Last; |