diff options
| author | Yannick Moy <moy@adacore.com> | 2020-09-15 15:28:51 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-26 04:59:06 -0400 |
| commit | 326c36ce378edd0d965bb6dfd3d98a90668fff30 (patch) | |
| tree | 65606feacf9f17cd7f41ebd31a85610cd857c974 /gcc/tree-ssa-operands.c | |
| parent | 7649892bfc838aeb0723200b56f34bebe2a87b46 (diff) | |
| download | gcc-326c36ce378edd0d965bb6dfd3d98a90668fff30.zip gcc-326c36ce378edd0d965bb6dfd3d98a90668fff30.tar.gz gcc-326c36ce378edd0d965bb6dfd3d98a90668fff30.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/tree-ssa-operands.c')
0 files changed, 0 insertions, 0 deletions