diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2019-12-19 05:31:47 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-02 04:58:29 -0400 |
| commit | 65f1ca2e3d8778cd3e756ae3fe100313f43d081b (patch) | |
| tree | ca908d991a601161ab9f618e78a165b2802c4ca5 /gcc/ada/contracts.adb | |
| parent | 646204de717040064c18c189e29a32d0d33fd08b (diff) | |
| download | gcc-65f1ca2e3d8778cd3e756ae3fe100313f43d081b.zip gcc-65f1ca2e3d8778cd3e756ae3fe100313f43d081b.tar.gz gcc-65f1ca2e3d8778cd3e756ae3fe100313f43d081b.tar.bz2 | |
[Ada] Remove ASIS_Mode
2020-06-02 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* atree.ads, checks.adb, contracts.adb, debug.adb, einfo.ads,
exp_ch3.adb, exp_util.adb, expander.ads, expander.adb,
frontend.adb, gnat1drv.adb, itypes.adb, lib.ads, namet.ads,
opt.adb, opt.ads, par-prag.adb, repinfo.ads, sem_aggr.adb,
sem_aux.ads, sem_case.ads, sem_ch10.adb, sem_ch12.adb,
sem_ch13.adb, sem_ch3.adb, sem_ch4.adb, sem_ch6.adb,
sem_dim.adb, sem_elab.adb, sem_prag.adb, sem_prag.ads,
sem_res.adb, sem_type.adb, sem_util.adb, sinfo.ads, stand.ads,
tree_io.ads: Remove references to ASIS_Mode.
Diffstat (limited to 'gcc/ada/contracts.adb')
| -rw-r--r-- | gcc/ada/contracts.adb | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb index f3ff4fa..be14a30 100644 --- a/gcc/ada/contracts.adb +++ b/gcc/ada/contracts.adb @@ -541,7 +541,6 @@ package body Contracts is Skip_Assert_Exprs : constant Boolean := Ekind_In (Subp_Id, E_Entry, E_Entry_Family) - and then not ASIS_Mode and then not GNATprove_Mode; Depends : Node_Id := Empty; @@ -2543,11 +2542,6 @@ package body Contracts is if not Expander_Active then return; - -- ASIS requires an unaltered tree - - elsif ASIS_Mode then - return; - -- GNATprove does not need the executable semantics of a contract elsif GNATprove_Mode then |