| commit | 3feba0a578c364e6ca44ad5f954a30dc55e98065 | [log] [tgz] |
|---|---|---|
| author | Yannick Moy <moy@adacore.com> | Wed Mar 03 14:54:09 2021 +0100 |
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | Wed Jun 16 04:43:04 2021 -0400 |
| tree | 1ef3a194fcf8880e62b3ccaa3b92902dda4ae66a | |
| parent | f4fe186bfe3e74c7c9b2d49b635565ea9a4df1b2 [diff] |
[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.