| commit | c565a974d0dd07738d5b88a08ecba903c54480cd | |
| author | Javier Miranda <miranda@adacore.com> | |
| Sun, 12 Feb 2023 13:37:39 +0000 (12 13:37 +0000) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Tue, 23 May 2023 07:50:58 +0000 (23 09:50 +0200) | ||
| tree | 13f771b152bc894e3c5dcf7eddde728f08568849 | treesnapshot (tar.gz zip) |
| parent | da579188807ede4ee9466d0b5bf51559c96a0b51 | commitdiff |
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.
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.
| gcc/ada/sem_ch10.adb | diffblobblamehistory |