diff options
| author | Steve Baird <baird@adacore.com> | 2023-11-16 15:01:59 -0800 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-11-30 11:12:47 +0100 |
| commit | 769e5925f6a076436981ba64335979b19106f828 (patch) | |
| tree | dd0142a9da28d5f1ef3124386c20bd6fac0f14d2 /gcc/alloc-pool.h | |
| parent | 6a5eb72be832d308be93ea9f6a07087aa49024e9 (diff) | |
| download | gcc-769e5925f6a076436981ba64335979b19106f828.zip gcc-769e5925f6a076436981ba64335979b19106f828.tar.gz gcc-769e5925f6a076436981ba64335979b19106f828.tar.bz2 | |
ada: Add comment describing Partition_Elaboration_Policy dependency.
Add a comment in the spec for the default (as opposed to hie) version of
Ada.Real_Time.Timing_Events indicating that it is incompatible with a
a Partition_Elaboration_Policy specification specifying a policy other than
Concurrent.
gcc/ada/
* libgnarl/a-rttiev.ads: add a comment
Diffstat (limited to 'gcc/alloc-pool.h')
0 files changed, 0 insertions, 0 deletions