summaryrefslogtreecommitdiff
path: root/libjava/java
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2025-11-09 11:01:29 +0100
committerMarc Poulhiès <dkm@gcc.gnu.org>2025-11-18 16:05:10 +0100
commitfc73052852916d5eb27008a3d009125f1d6ce9b9 (patch)
treeada57d88c2222a4ab985fb3e74ded5599c3bb2a8 /libjava/java
parentfb97610cfdd26f08915fe083d3ab566c151ba320 (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