https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125044
--- Comment #13 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-15 branch has been updated by Eric Botcazou <[email protected]>: https://gcc.gnu.org/g:1be980417800a4f027359b8f332735cc69009556 commit r15-11120-g1be980417800a4f027359b8f332735cc69009556 Author: Eric Botcazou <[email protected]> Date: Thu Apr 30 09:27:06 2026 +0200 Ada: Fix spurious error on primitive function of tagged task type This comes from an internal confusion about the subtype of the controlling result. This has probably never worked, but the fix is trivial. gcc/ada/ PR ada/125044 * sem_disp.adb (Check_Controlling_Formals): Apply the same massaging to the result subtype as to the parameter subtypes. gcc/testsuite/ * gnat.dg/task6.ads, gnat.dg/task6.adb: New test.
