tree 5d29d3c79dbb4a2cc0b80bee4ccb5d0cc1900963
parent e4faee8d02ec5d65bf418612f7181823eb08c078
author Eric Botcazou <ebotcazou@adacore.com> 1668877281 +0100
committer Marc Poulhiès <poulhies@adacore.com> 1669120491 +0100

ada: Fix recent assertion failure on GPR2

It's the compiler trying to load the nonexistent body of a generic package
when trying to inline a call to an expression function of this package that
has a pre or post-condition (hence the need for -gnata to trigger the ICE).

gcc/ada/

	* contracts.adb (Build_Subprogram_Contract_Wrapper): Do not fiddle
	with the Was_Expression_Function flag. Move a few lines around.