diff options
| author | Ronan Desplanques <desplanques@adacore.com> | 2023-01-02 16:38:36 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-15 11:36:40 +0200 |
| commit | bc60b3c350885cf60547f9e7002248b9bbb81e3d (patch) | |
| tree | 0441ac46bd9b71389cfd9d778122698f56781b43 /gcc/tree-iterator.h | |
| parent | f04dae641112509bfd4ec8bd76774ebedca28d1f (diff) | |
| download | gcc-bc60b3c350885cf60547f9e7002248b9bbb81e3d.zip gcc-bc60b3c350885cf60547f9e7002248b9bbb81e3d.tar.gz gcc-bc60b3c350885cf60547f9e7002248b9bbb81e3d.tar.bz2 | |
ada: Fix Unchecked_Conversion in edge case
Before this patch, Set_Can_Use_Internal_Rep was called on access
to subprogram subtypes when instantiating Unchecked_Conversion
from System.Address to an access to subprogram subtype (or the
reverse). This was incorrect and caused an assertion failure.
This patch fixes that by modifying the Can_Use_Internal_Rep
attribute of the base type of the subtype instead.
gcc/ada/
* sem_ch13.adb (Validate_Unchecked_Conversion): Fix behavior on
System.Address to access to subprogram subtype conversion.
Diffstat (limited to 'gcc/tree-iterator.h')
0 files changed, 0 insertions, 0 deletions