]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 484fb60) | patch
ada: Dispatching call with mutably tagged objects
authorJavier Miranda <miranda@adacore.com>
Tue, 6 May 2025 17:41:51 +0000 (17:41 +0000)
committerEric Botcazou <ebotcazou@adacore.com>
Tue, 1 Jul 2025 14:33:58 +0000 (16:33 +0200)
commit74cc201d4d555acb55edf22945022f70cd9e331a
treeb2c5acb9770cae7ec8e3d41e4af0a74a8595e7c1tree
parent484fb60fdcb33703e32f1770cf2b406a4428a680commit | 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