]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29b7e00) | patch
ada: Disable checking of Elab_Spec procedures in CodePeer_Mode
authorGhjuvan Lacambre <lacambre@adacore.com>
Fri, 18 Nov 2022 15:05:12 +0000 (16:05 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 22 Nov 2022 12:34:51 +0000 (13:34 +0100)
commit05894d1c5c136fe3f8a36cc33cc750c3f5fb6283
treeafdad51d38f35504ffa2ce82d52e0380bfe8c4e6tree
parent29b7e00589f1c1c00029928ac1b7ba8ff53288f5commit | diff
ada: Disable checking of Elab_Spec procedures in CodePeer_Mode

This commit re-enables the Validate_Subprogram_Calls check that had been
disabled in a previous commit and has said check skip over Elab_Spec
procedures in CodePeer_Mode.

gcc/ada/

* frontend.adb (Frontend): Re-enable Validate_Subprogram_Calls.
* exp_ch6.adb (Check_BIP_Actuals): When in CodePeer mode, do not
attempt to validate procedures coming from an
Elab_Spec/Elab_Body/Elab_Subp_Body procedure.
gcc/ada/exp_ch6.adb diff | blob | blame | history
gcc/ada/frontend.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git