| commit | 6b19eb2490675cacf72b8225d953d73029bc53fb | |
| author | Eric Botcazou <ebotcazou@adacore.com> | |
| Sat, 25 Mar 2023 20:42:11 +0000 (25 21:42 +0100) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Fri, 26 May 2023 07:29:18 +0000 (26 09:29 +0200) | ||
| tree | b4dbc241becc4bc7a549e43353ca88c1b0a46243 | treesnapshot (tar.gz zip) |
| parent | d97ab77cc828c48a6d0dca6f955e91a77f40dbf9 | commitdiff |
ada: Fix internal error on Big_Integer conversion ghost instance
The problem is that the ghost mode of the instance is used to analyze the
parent of the generic body, whose own ghost mode has nothing to do with it.
gcc/ada/
* sem_ch12.adb (Instantiate_Package_Body): Set the ghost mode to
that of the instance only after loading the generic's parent.
(Instantiate_Subprogram_Body): Likewise.
The problem is that the ghost mode of the instance is used to analyze the
parent of the generic body, whose own ghost mode has nothing to do with it.
gcc/ada/
* sem_ch12.adb (Instantiate_Package_Body): Set the ghost mode to
that of the instance only after loading the generic's parent.
(Instantiate_Subprogram_Body): Likewise.
| gcc/ada/sem_ch12.adb | diffblobblamehistory |