diff options
| author | Yannick Moy <moy@adacore.com> | 2024-05-23 14:39:19 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-06-20 10:50:56 +0200 |
| commit | 3c6dcd1d018da645316e3969748d70a1efd66dd2 (patch) | |
| tree | d2fcea15ee2f0ea490af13eca8c62556e14832de /libcpp | |
| parent | c5d7daa37938984b931ae0825e9d3d72c748ab5a (diff) | |
| download | gcc-3c6dcd1d018da645316e3969748d70a1efd66dd2.zip gcc-3c6dcd1d018da645316e3969748d70a1efd66dd2.tar.gz gcc-3c6dcd1d018da645316e3969748d70a1efd66dd2.tar.bz2 | |
ada: Fix inlining of fixed-lower-bound array for GNATprove
Inlining in GNATprove may fail on a call to a subprogram with a formal
of an array type with fixed lower bound (a GNAT extension), because the
appropriate conversion is not used. Fix it.
Also fix the function that inserts an unchecked conversion, in cases where
it could skip sliding due to the target type having fixed lower bound.
gcc/ada/
* inline.adb (Establish_Actual_Mapping_For_Inlined_Call): In the
case of formal with a fixed lower bounds, insert appropriate
conversion like in the case of a constrained type.
* tbuild.adb (Unchecked_Convert_To): Do not skip the conversion
when it may involve sliding due to a type with fixed lower bound.
Diffstat (limited to 'libcpp')
0 files changed, 0 insertions, 0 deletions