]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc50ac7) | patch
ada: Disable subprogram call validation in CodePeer mode
authorGhjuvan Lacambre <lacambre@adacore.com>
Wed, 16 Nov 2022 14:53:17 +0000 (15:53 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 21 Nov 2022 10:10:33 +0000 (11:10 +0100)
commit7dcf757a5192d399295736b57d63a73136523bcb
tree13b383c24266e5ec04ffc415f646306ac8a3f18btree
parentbc50ac7108485dd3724f36476ebc439f5beb1e83commit | diff
ada: Disable subprogram call validation in CodePeer mode

CodePeer builds with assertions enabled started failing when this
validation was introduced. We temporarily disable this validation for
CodePeer in order to buy time before fixing the underlying issue.

gcc/ada/

* frontend.adb (Frontend): Disable subprogram call validation.
gcc/ada/frontend.adb diff | blob | blame | history
GNU Compiler Collection
This page took 0.057808 seconds and 5 git commands to generate.