diff options
| author | Yannick Moy <moy@adacore.com> | 2020-10-09 15:59:24 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-25 08:22:29 -0500 |
| commit | a6fecb06710ff3bae9dbad6cf480a4934a84bb3c (patch) | |
| tree | d37b17cbe6c79b29c866ead273c12e43b63ae0e4 /gcc/ada/doc | |
| parent | 9d41d78b05f262d638fa205c7d60415321535834 (diff) | |
| download | gcc-a6fecb06710ff3bae9dbad6cf480a4934a84bb3c.zip gcc-a6fecb06710ff3bae9dbad6cf480a4934a84bb3c.tar.gz gcc-a6fecb06710ff3bae9dbad6cf480a4934a84bb3c.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/doc')
0 files changed, 0 insertions, 0 deletions