diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2025-05-05 12:58:58 +0200 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@adacore.com> | 2025-05-05 13:00:29 +0200 |
| commit | e67758cd816978a519d751b618043a8957d67e0e (patch) | |
| tree | 11b459b8cdd7b964b9f6c04afc4be5c6892adf55 /gcc/rust/util/rust-codepoint.h | |
| parent | 20c2fc676050ebfcd62af50dad08cd2d2736d1e8 (diff) | |
| download | gcc-e67758cd816978a519d751b618043a8957d67e0e.zip gcc-e67758cd816978a519d751b618043a8957d67e0e.tar.gz gcc-e67758cd816978a519d751b618043a8957d67e0e.tar.bz2 | |
Ada: Fix assertion failure on Finalizable aspect for tagged record type
This is a (benign) assertion failure on the mainline for the new Finalizable
aspect put on a tagged record type when not all the primitives are declared.
This compiles and runs on the 15 branch because assertions are disabled.
gcc/ada/
PR ada/120104
* exp_ch3.adb (Expand_Freeze_Record_Type): For a controlled tagged
type, freeze only the controlled primitives that are present.
gcc/testsuite/
* gnat.dg/specs/finalizable1.ads: New test.
Diffstat (limited to 'gcc/rust/util/rust-codepoint.h')
0 files changed, 0 insertions, 0 deletions