tree afdad51d38f35504ffa2ce82d52e0380bfe8c4e6
parent 29b7e00589f1c1c00029928ac1b7ba8ff53288f5
author Ghjuvan Lacambre <lacambre@adacore.com> 1668783912 +0100
committer Marc Poulhiès <poulhies@adacore.com> 1669120491 +0100

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.