diff options
| author | Yannick Moy <moy@adacore.com> | 2021-03-03 14:54:09 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-16 04:43:04 -0400 |
| commit | 3feba0a578c364e6ca44ad5f954a30dc55e98065 (patch) | |
| tree | 1ef3a194fcf8880e62b3ccaa3b92902dda4ae66a /gcc | |
| parent | f4fe186bfe3e74c7c9b2d49b635565ea9a4df1b2 (diff) | |
| download | gcc-3feba0a578c364e6ca44ad5f954a30dc55e98065.zip gcc-3feba0a578c364e6ca44ad5f954a30dc55e98065.tar.gz gcc-3feba0a578c364e6ca44ad5f954a30dc55e98065.tar.bz2 | |
[Ada] Do not generate an Itype_Reference node for slices in GNATprove mode
gcc/ada/
* sem_res.adb (Set_Slice_Subtype): Revert special-case
introduced previously, which is not needed as Itypes created for
slices are precisely always used.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_res.adb | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 4377f91..3ca4569 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -12607,10 +12607,9 @@ package body Sem_Res is -- the point where actions for the slice are analyzed). Note that this -- is different from freezing the itype immediately, which might be -- premature (e.g. if the slice is within a transient scope). This needs - -- to be done only if expansion is enabled, or in GNATprove mode to - -- capture the associated run-time exceptions if any. + -- to be done only if expansion is enabled. - elsif Expander_Active or GNATprove_Mode then + elsif Expander_Active then Ensure_Defined (Typ => Slice_Subtype, N => N); end if; end Set_Slice_Subtype; |