https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127880
--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Eric Botcazou <[email protected]>: https://gcc.gnu.org/g:f5f358c6c5d55944897120c4df712ff3efd3cf08 commit r17-5194-gf5f358c6c5d55944897120c4df712ff3efd3cf08 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.
