diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2025-11-09 11:01:29 +0100 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2025-11-18 16:05:10 +0100 |
| commit | fc73052852916d5eb27008a3d009125f1d6ce9b9 (patch) | |
| tree | ada57d88c2222a4ab985fb3e74ded5599c3bb2a8 /libjava/java | |
| parent | fb97610cfdd26f08915fe083d3ab566c151ba320 (diff) | |
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.
Diffstat (limited to 'libjava/java')
0 files changed, 0 insertions, 0 deletions
