https://gcc.gnu.org/bugzilla/show_bug.cgi?id=18205
--- Comment #9 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Marc Poulhies <[email protected]>: https://gcc.gnu.org/g:fe46af8a87f90428ebbe7b1624d76dacfe73cf6f commit r17-1190-gfe46af8a87f90428ebbe7b1624d76dacfe73cf6f Author: Eric Botcazou <[email protected]> Date: Tue Apr 14 20:52:00 2026 +0200 ada: Fix missing dispatching for default implementation of S'Class'{Read,Write} Note that 'Output and 'Put_Image are also affected since they share a common implementation with the others. gcc/ada/ChangeLog: PR ada/18205 * exp_attr.adb (Rewrite_Attribute_Proc_Call): Skip the conversion to the formal type only if the actual is of a class-wide type. Generate a dispatching call when both the prefix is a class-wide type and the subprogram is a dispatching operation. (Expand_N_Attribute_Reference) <Input>: Use U_Type consistently and remove an useless invocation of Root_Type. <Put_Image>: Minor comment tweak. <Read>: Likewise. <Write>: Likewise.
