diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-31 15:45:08 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-31 15:45:08 +0000 |
| commit | 10970cab5559cde0f4611853f2562121d911931e (patch) | |
| tree | 5aa5a46f53fa07055ad80bd4dd393de58bb23341 /gcc/ada/exp_disp.adb | |
| parent | 4229693af8b63ea6ac01c061a8ae5d53bdc1e3f5 (diff) | |
| download | gcc-10970cab5559cde0f4611853f2562121d911931e.tar.gz | |
2014-01-31 Robert Dewar <dewar@adacore.com>
* exp_ch9.adb, s-tassta.adb, s-tposen.adb, s-tposen.ads: Minor
reformatting.
2014-01-31 Tristan Gingold <gingold@adacore.com>
* exp_disp.adb: Add a historic note.
2014-01-31 Robert Dewar <dewar@adacore.com>
* sem_warn.adb (Warn_On_Useless_Assignments): Add call to
Process_Deferred_References.
2014-01-31 Yannick Moy <moy@adacore.com>
* erroutc.adb (Validate_Specific_Warnings): Do not issue a message for
ineffective pragma Warnings(Off) in GNATprove_Mode.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207351 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_disp.adb')
| -rw-r--r-- | gcc/ada/exp_disp.adb | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb index b0660fc0290..33275d506d7 100644 --- a/gcc/ada/exp_disp.adb +++ b/gcc/ada/exp_disp.adb @@ -3522,6 +3522,13 @@ package body Exp_Disp is -- the wrapped parameters, D is the delay amount, M is the delay -- mode and F is the status flag. + -- Historically, there was also an implementation for single + -- entry protected types (in s-tposen). However, it was removed + -- by also testing for no No_Select_Statements restriction in + -- Exp_Utils.Corresponding_Runtime_Package. This simplified the + -- implementation of s-tposen, which was initially created for + -- the Ravenscar profile. + case Corresponding_Runtime_Package (Conc_Typ) is when System_Tasking_Protected_Objects_Entries => Append_To (Stmts, |