diff options
| author | Ronan Desplanques <desplanques@adacore.com> | 2023-11-28 09:11:57 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-12-19 15:27:49 +0100 |
| commit | 346e4645eb13cab2be1c148ca4f01d048b26c397 (patch) | |
| tree | 2ced18d123992dc20e6a69dbe44006c8daef8a0c /gcc/ada/gen_il-fields.ads | |
| parent | 6b92b664aa2c9ba541526266bfc8d57842d378e1 (diff) | |
| download | gcc-346e4645eb13cab2be1c148ca4f01d048b26c397.zip gcc-346e4645eb13cab2be1c148ca4f01d048b26c397.tar.gz gcc-346e4645eb13cab2be1c148ca4f01d048b26c397.tar.bz2 | |
ada: Fix crash on concurrent type aggregate
Before this patch, the compiler would fail to examine the corresponding
record types of concurrent types when building aggregate components.
This patch fixes this, and adds a precondition and additional documentation
on the subprogram that triggered the crash, as it never makes sense
to call it with a concurrent type.
gcc/ada/
* exp_aggr.adb (Initialize_Component): Use corresponding record
types of concurrent types.
* exp_util.ads (Make_Tag_Assignment_From_Type): Add precondition
and extend documentation.
Co-authored-by: Javier Miranda <miranda@adacore.com>
Diffstat (limited to 'gcc/ada/gen_il-fields.ads')
0 files changed, 0 insertions, 0 deletions