projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4fe186) | patch
[Ada] Do not generate an Itype_Reference node for slices in GNATprove mode
authorYannick Moy <moy@adacore.com>
Wed, 3 Mar 2021 13:54:09 +0000 (14:54 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 16 Jun 2021 08:43:04 +0000 (04:43 -0400)
commit3feba0a578c364e6ca44ad5f954a30dc55e98065
tree1ef3a194fcf8880e62b3ccaa3b92902dda4ae66atree | snapshot
parentf4fe186bfe3e74c7c9b2d49b635565ea9a4df1b2commit | 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.
gcc/ada/sem_res.adb diff | blob | history
Domain: System / Toolchain;