diff options
| author | Yannick Moy <moy@adacore.com> | 2019-08-20 09:50:29 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-20 09:50:29 +0000 |
| commit | dd6e65c618576b52c46bc6fbf28ac6b91bce2951 (patch) | |
| tree | ccc47ba32b4f7cd5d4f8cdf4adb8e41f2807ecd5 /gcc/function.c | |
| parent | d4e4e88a4c1b13bc480603ad96672ce079e32ffb (diff) | |
| download | gcc-dd6e65c618576b52c46bc6fbf28ac6b91bce2951.zip gcc-dd6e65c618576b52c46bc6fbf28ac6b91bce2951.tar.gz gcc-dd6e65c618576b52c46bc6fbf28ac6b91bce2951.tar.bz2 | |
[Ada] Adapt GNATprove expansion for slices with access prefix
The special expansion done in GNATprove mode should be adapted to slices
where the prefix has access type, like indexed expressions.
There is no impact on compilation.
2019-08-20 Yannick Moy <moy@adacore.com>
gcc/ada/
* exp_spark.adb (Expand_SPARK_N_Slice_Or_Indexed_Component):
Renaming of function to apply to slices as well.
(Expand_SPARK): Expand prefix of slices of access type.
From-SVN: r274740
Diffstat (limited to 'gcc/function.c')
0 files changed, 0 insertions, 0 deletions