https://gcc.gnu.org/bugzilla/show_bug.cgi?id=34290
--- 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:fc73052852916d5eb27008a3d009125f1d6ce9b9 commit r16-5390-gfc73052852916d5eb27008a3d009125f1d6ce9b9 Author: Eric Botcazou <[email protected]> Date: Sun Nov 9 11:01:29 2025 +0100 ada: Fix assertion failure on prefixed call with access to class-wide interface The assertion failure shows that the 'Access reference implicitly introduced for calls written in object notation whose controlling first parameter is an access to class-wide interface is not later expanded in the cases where the pointer to the interface needs to be retrieved. gcc/ada/ChangeLog: PR ada/34290 * sem_ch4.adb (Try_Object_Operation.Complete_Object_Operation): Call Preserve_Comes_From_Source to preserve the flag on nodes. Relocate the Obj node consistently. Preserve the Comes_From_Source flag for the case of an implicit 'Access reference and post the local errors on the rewritten prefix consistently. * sem_util.adb (Is_Aliased_View): Also return true for a generalized reference to the result of a function call.
