]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a53e5e7) | patch
ada: Refactor common code for dynamic and static class-wide preconditions
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 1 Dec 2023 17:47:01 +0000 (18:47 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 10 Jun 2024 09:03:58 +0000 (11:03 +0200)
commit8ce93cc22e06639ff82d2ec9e75da1f998dc70ad
tree77ad556f47f52cd9e68733e48f4a23ed89eb47edtree
parenta53e5e7aee9af007943f8a96aec00fce343dab57commit | diff
ada: Refactor common code for dynamic and static class-wide preconditions

Code cleanup; semantics is unaffected.

gcc/ada/

* exp_ch6.adb (Install_Class_Preconditions_Check): Refactor
common code for checking if precondition fails, since the
difference is only in raising an exception or calling the
Raise_Assert_Failure procedure.
gcc/ada/exp_ch6.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git