commit | cd4b47a9f7db20197bbe25cb60c9a8d8ef46de71 | [log] [tgz] |
---|---|---|
author | Eric Botcazou <ebotcazou@adacore.com> | Sat Nov 19 18:01:21 2022 +0100 |
committer | Marc Poulhiès <poulhies@adacore.com> | Tue Nov 22 13:34:51 2022 +0100 |
tree | 5d29d3c79dbb4a2cc0b80bee4ccb5d0cc1900963 | |
parent | e4faee8d02ec5d65bf418612f7181823eb08c078 [diff] |
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.