diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2019-07-01 13:36:04 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-01 13:36:04 +0000 |
| commit | 0c9c281da4651e8725429ff6709b48e3b2e62463 (patch) | |
| tree | a8781aed4702e1021cdafe3b18ede186a6b9c9c0 /gcc | |
| parent | 97c0b990ca1be17bf6211fefe219f9210fa06b6b (diff) | |
| download | gcc-0c9c281da4651e8725429ff6709b48e3b2e62463.zip gcc-0c9c281da4651e8725429ff6709b48e3b2e62463.tar.gz gcc-0c9c281da4651e8725429ff6709b48e3b2e62463.tar.bz2 | |
[Ada] Make No_Inline pragma effective for protected subprograms
2019-07-01 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* exp_ch9.adb (Check_Inlining): Deal with Has_Pragma_No_Inline.
From-SVN: r272871
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/exp_ch9.adb | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 25a9ef9..c60b957 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2019-07-01 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch9.adb (Check_Inlining): Deal with Has_Pragma_No_Inline. + 2019-07-01 Ed Schonberg <schonberg@adacore.com> * exp_unst.adb (Visit_Node, Check_Static_Type): Improve the diff --git a/gcc/ada/exp_ch9.adb b/gcc/ada/exp_ch9.adb index a3785d7..c431e86 100644 --- a/gcc/ada/exp_ch9.adb +++ b/gcc/ada/exp_ch9.adb @@ -8950,6 +8950,9 @@ package body Exp_Ch9 is Set_Is_Inlined (Protected_Body_Subprogram (Subp)); Set_Is_Inlined (Subp, False); end if; + if Has_Pragma_No_Inline (Subp) then + Set_Has_Pragma_No_Inline (Protected_Body_Subprogram (Subp)); + end if; end Check_Inlining; --------------------------- |