diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2024-07-09 22:44:40 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-08-02 09:08:06 +0200 |
| commit | 04fd9ee038684469d5ae1be6dda3c3ebbd87e8b1 (patch) | |
| tree | 89e8f39d46772400f4036313b462a59a0652a05b /gcc/ada/adadecode.c | |
| parent | d32a5294de92637680accd17d68421f485eaba32 (diff) | |
| download | gcc-04fd9ee038684469d5ae1be6dda3c3ebbd87e8b1.zip gcc-04fd9ee038684469d5ae1be6dda3c3ebbd87e8b1.tar.gz gcc-04fd9ee038684469d5ae1be6dda3c3ebbd87e8b1.tar.bz2 | |
ada: Finish up support for relaxed finalization
This adds a variant of the System.Finalization_Primitives unit that supports
only controlled types with relaxed finalization, and adds the description of
its implementation to Exp_Ch7.
gcc/ada/
* exp_ch7.adb (Relaxed Finalization): New paragraph in head
comment.
* sem_ch13.adb (Validate_Finalizable_Aspect): Give an error
message if strict finalization is required but not supported by
the runtime.
Diffstat (limited to 'gcc/ada/adadecode.c')
0 files changed, 0 insertions, 0 deletions