projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7649892) | patch
[Ada] Fix GNATprove crash on generics with access types
authorYannick Moy <moy@adacore.com>
Tue, 15 Sep 2020 13:28:51 +0000 (15:28 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 26 Oct 2020 08:59:06 +0000 (04:59 -0400)
commit326c36ce378edd0d965bb6dfd3d98a90668fff30
tree65606feacf9f17cd7f41ebd31a85610cd857c974tree
parent7649892bfc838aeb0723200b56f34bebe2a87b46commit | diff
[Ada] Fix GNATprove crash on generics with access types

gcc/ada/

* sem_ch12.adb (Restore_Private_Views): Do not lose the
information provided by Is_Generic_Actual_Type in GNATprove
mode.
gcc/ada/sem_ch12.adb diff | blob | history