]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c30572) | patch
ada: Dispatching call with mutably tagged objects
authorJavier Miranda <miranda@adacore.com>
Tue, 6 May 2025 17:41:51 +0000 (17:41 +0000)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 1 Jul 2025 08:29:40 +0000 (10:29 +0200)
commit9403c84cc26f62d1c83ab8999bacd81d511347f4
treec332d3d122f16ccb863875a3a0e39155411ebc0dtree
parent1c305725296d126fb223aaa5dee8fea1a82a9aefcommit | diff
ada: Dispatching call with mutably tagged objects

The compiler rejects performing a dispatching call using the
prefix notation when the prefix of the call is a mutably
tagged class-wide type object.

gcc/ada/ChangeLog:

* sem_ch4.adb (Try_Object_Operation): Handle mutably tagged
class-wide type prefix.
gcc/ada/sem_ch4.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git