diff options
| author | Javier Miranda <miranda@adacore.com> | 2023-02-12 13:37:39 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-23 09:50:58 +0200 |
| commit | c565a974d0dd07738d5b88a08ecba903c54480cd (patch) | |
| tree | 13f771b152bc894e3c5dcf7eddde728f08568849 /gcc/ada/sem_ch3.adb | |
| parent | da579188807ede4ee9466d0b5bf51559c96a0b51 (diff) | |
| download | gcc-c565a974d0dd07738d5b88a08ecba903c54480cd.zip gcc-c565a974d0dd07738d5b88a08ecba903c54480cd.tar.gz gcc-c565a974d0dd07738d5b88a08ecba903c54480cd.tar.bz2 | |
ada: Crash on dispatching primitive referencing limited-with type
The compiler crashes processing a compilation unit has limited-with
context clauses, and the profile of some dispatching primitive
references a type visible through a limited-with clause, and
the dispatching primitive has class-wide preconditions.
gcc/ada/
* sem_ch10.adb
(Analyze_Required_Limited_With_Units): New subprogram.
(Depends_On_Limited_Views): New subprogram.
(Has_Limited_With_Clauses): New subprogram.
(Analyze_Compilation_Unit): Call the new subprogram that performs
the full analysis of required limited-with units.
Diffstat (limited to 'gcc/ada/sem_ch3.adb')
0 files changed, 0 insertions, 0 deletions