projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d41d78) | patch
[Ada] Minimize side-effect removal in GNATprove mode
authorYannick Moy <moy@adacore.com>
Fri, 9 Oct 2020 13:59:24 +0000 (15:59 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 25 Nov 2020 13:22:29 +0000 (08:22 -0500)
commita6fecb06710ff3bae9dbad6cf480a4934a84bb3c
treed37b17cbe6c79b29c866ead273c12e43b63ae0e4tree
parent9d41d78b05f262d638fa205c7d60415321535834commit | diff
[Ada] Minimize side-effect removal in GNATprove mode

gcc/ada/

* exp_util.adb (Remove_Side_Effects): Only remove side-effects
in GNATprove mode when this is useful.
* sem_res.adb (Set_Slice_Subtype): Make sure in GNATprove mode
to define the Itype when needed, so that run-time errors can be
analyzed.
* sem_util.adb (Enclosing_Declaration): Correctly take into
account renaming declarations.
gcc/ada/exp_util.adb diff | blob | history
gcc/ada/sem_res.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history