diff options
author | Eric Botcazou <ebotcazou@adacore.com> | 2024-06-11 23:06:22 +0200 |
---|---|---|
committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-07-02 15:20:34 +0200 |
commit | 29e10c52709504a5fb2d1e6b70e57a025636e200 (patch) | |
tree | 2085240ce271f5864555c1237d5f1bc3521fca2f /gcc/dwarf2ctf.cc | |
parent | fe29260b0d4cefe53fb073804d5b96c58db6245c (diff) | |
download | gcc-29e10c52709504a5fb2d1e6b70e57a025636e200.zip gcc-29e10c52709504a5fb2d1e6b70e57a025636e200.tar.gz gcc-29e10c52709504a5fb2d1e6b70e57a025636e200.tar.bz2 |
ada: Fix crash on box-initialized component with No_Default_Initialization
The problem is that the implementation of the No_Default_Initialization
restriction assumes that no type initialization routines are needed and,
therefore, builds a dummy version of them, which goes against their use
for box-initialized components in aggregates.
Therefore this use needs to be flagged as violating the restriction too.
gcc/ada/
* doc/gnat_rm/standard_and_implementation_defined_restrictions.rst
(No_Default_Initialization): Mention components alongside variables.
* exp_aggr.adb (Build_Array_Aggr_Code.Gen_Assign): Check that the
restriction No_Default_Initialization is not in effect for default
initialized component.
(Build_Record_Aggr_Code): Likewise.
* gnat_rm.texi: Regenerate.
Diffstat (limited to 'gcc/dwarf2ctf.cc')
0 files changed, 0 insertions, 0 deletions