]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d409061) | patch
[Ada] Spurious error on subprogram with class-wide preconditions
authorJavier Miranda <miranda@adacore.com>
Fri, 18 Mar 2022 19:28:52 +0000 (19:28 +0000)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 17 May 2022 08:25:41 +0000 (08:25 +0000)
commitc30e5ab027a59a2ffcf7fb2d093ce2b64de712eb
tree538497cb00998337b189efcfa00a810dbda7b7b1tree
parentd4090614041c7803373a5064dfb82fdf6017971dcommit | diff
[Ada] Spurious error on subprogram with class-wide preconditions

gcc/ada/

* freeze.adb (Build_DTW_Spec): Do not inherit the not-overriding
indicator because the DTW wrapper overrides its wrapped
subprogram.
* contracts.ads (Make_Class_Precondition_Subps): Adding
documentation.
gcc/ada/contracts.ads diff | blob | blame | history
gcc/ada/freeze.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git