]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91fc017) | patch
ada: Follow up fixes.
authorSteve Baird <baird@adacore.com>
Wed, 16 Jul 2025 20:37:44 +0000 (13:37 -0700)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 25 Jul 2025 08:09:36 +0000 (10:09 +0200)
commit09eced2c9b6b9ae2f2643a6610ab5baf230c1e34
treefed040e44ea7fed75643cd4a9cab2063b57da41ctree
parent91fc017022c66e475da5ea5528f983d840800e40commit | diff
ada: Follow up fixes.

Two follow-up fixes for the previous change for this issue.

gcc/ada/ChangeLog:

* exp_ch6.adb (Apply_Access_Discrims_Accessibility_Check): Do
nothing and simply return if either Ada_Version <= Ada_95 or if
the function being returned from lacks the extra formal parameter
needed to perform the check (typically because the result is
tagged).
gcc/ada/exp_ch6.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git