commit 05894d1c5c136fe3f8a36cc33cc750c3f5fb6283
author Ghjuvan Lacambre <lacambre@adacore.com> Fri Nov 18 16:05:12 2022 +0100
committer Marc Poulhiès <poulhies@adacore.com> Tue Nov 22 13:34:51 2022 +0100
tree afdad51d38f35504ffa2ce82d52e0380bfe8c4e6
parent 29b7e00589f1c1c00029928ac1b7ba8ff53288f5

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.