ada: Add warning on frontend inlining of Subprogram_Variant

We already warned when contracts like pre/postcondition appear together
with pragma Inline_Always and they are ignored by the frontend inlining.

For consistency we now also warn for Subprogram_Variant, which is
similarly ignored even though this contract is only meaningful for
recursive subprograms and those can't be inlined anyway (but error about
this might only be emitted when full compilation is done).

gcc/ada/

	* sem_prag.adb
	(Check_Postcondition_Use_In_Inlined_Subprogram): Mention
	Subprogram_Variant in the comment.
	(Analyze_Subprogram_Variant_In_Decl_Part): Warn when contract is
	ignored because of pragma Inline_Always and frontend inlining.

0 files changed, 0 insertions, 0 deletions