]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 564ecb7) | patch
ada: Crash processing type invariants on child subprogram
authorJavier Miranda <miranda@adacore.com>
Fri, 8 Sep 2023 11:53:44 +0000 (11:53 +0000)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 19 Sep 2023 11:26:42 +0000 (13:26 +0200)
commit54c16824f0f05313bfc7df5e625f108b4ff7c636
tree3c3365d211423fddcf5bcea1e0b125433f50cabctree
parent564ecb7d5afb0bb4eb39285ce65c631490e37dcecommit | diff
ada: Crash processing type invariants on child subprogram

gcc/ada/

* contracts.adb
(Has_Public_Visibility_Of_Subprogram): Add missing support for
child subprograms.
gcc/ada/contracts.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git