diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2023-12-04 17:41:27 +0100 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2024-01-09 14:13:31 +0100 |
commit | da75ce88bde06bfcef2d454054f43ed430d96b00 (patch) | |
tree | f80d37d1ebe8a8734e6267712d8aba1f411e2c0d /gcc/ada/sem_ch6.adb | |
parent | 9afbf898ce89f6bcb314ddf03da20abdf0ac79cd (diff) | |
download | gcc-da75ce88bde06bfcef2d454054f43ed430d96b00.zip gcc-da75ce88bde06bfcef2d454054f43ed430d96b00.tar.gz gcc-da75ce88bde06bfcef2d454054f43ed430d96b00.tar.bz2 |
ada: Remove side effects depending on the context of subtype declaration
In GNATprove mode the removal of side effects is only needed in certain
syntactic contexts, which include subtype declarations. Now this removal
is limited to genuine subtype declarations and not to itypes coming from
expressions where side effects are not expected.
gcc/ada/
* exp_util.adb (Possible_Side_Effect_In_SPARK): Refine handling of
itype declarations.
Diffstat (limited to 'gcc/ada/sem_ch6.adb')
0 files changed, 0 insertions, 0 deletions