https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127880
--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-16 branch has been updated by Eric Botcazou <[email protected]>: https://gcc.gnu.org/g:9dac0f686778815dad93e9b6722f20289f603d47 commit r16-9787-g9dac0f686778815dad93e9b6722f20289f603d47 Author: Eric Botcazou <[email protected]> Date: Wed Oct 14 13:52:19 2026 +0200 Ada: Fix assertion failure in Make_Class_Precondition_Subps Build_Class_Condition_Subprograms calls Make_Class_Precondition_Subps on Is_Primitive_Wrapper subprograms too. gcc/ada/ PR ada/127880 * contracts.adb (Make_Class_Precondition_Subps): Accept another kind of wrapper subprograms.
