diff options
| author | Yannick Moy <moy@adacore.com> | 2023-11-22 16:43:08 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-12-19 15:27:48 +0100 |
| commit | c3d97f236e942e7fd46d6ae8e0f684f9426f3ac7 (patch) | |
| tree | fd52751d21b65bcc6d3238389be6c166694b0416 /gcc/btfout.cc | |
| parent | 40cf86ef4a51438a4c08e5937e5cbc61c1c28ec2 (diff) | |
| download | gcc-c3d97f236e942e7fd46d6ae8e0f684f9426f3ac7.zip gcc-c3d97f236e942e7fd46d6ae8e0f684f9426f3ac7.tar.gz gcc-c3d97f236e942e7fd46d6ae8e0f684f9426f3ac7.tar.bz2 | |
ada: Fix SPARK expansion of container aggregates
GNATprove supports container aggregates, except for indexed aggregates.
It needs all expressions to have suitable target types and Do_Range_Check
flags, which are added by the special expansion for GNATprove.
There is no impact on code generation.
gcc/ada/
* exp_spark.adb (Expand_SPARK_N_Aggregate): New procedure for the
special expansion.
(Expand_SPARK): Call the new expansion procedure.
* sem_util.adb (Is_Container_Aggregate): Implement missing test.
Diffstat (limited to 'gcc/btfout.cc')
0 files changed, 0 insertions, 0 deletions