projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d88dbd) | patch
[Ada] Fix internal compilation error on circular type in SPARK code
authorYannick Moy <moy@adacore.com>
Mon, 12 Oct 2020 15:32:45 +0000 (17:32 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 25 Nov 2020 13:22:28 +0000 (08:22 -0500)
commita8c229e14c4d6c5c6e2d1ff18741e89d7149d81d
tree357a9ff3f1da175476234f1c27aa42ae71ff180ctree
parent6d88dbdc5e33765ae481b57e5ed027fe1fb2e409commit | diff
[Ada] Fix internal compilation error on circular type in SPARK code

gcc/ada/

* sem_ch3.adb (Access_Type_Declaration): Set Etype before
checking for volatility compatibility.
gcc/ada/sem_ch3.adb diff | blob | history