ada: Fix inherited postconditions in inlined subprograms
authorBob Duff <duff@adacore.com>
Thu, 13 Oct 2022 21:12:18 +0000 (17:12 -0400)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 7 Nov 2022 08:36:34 +0000 (09:36 +0100)
commit27345558cce16e849884f5d1d4dd7d88974bb724
treee1da88c7d858d017fb054aa7a502e3085beacde8
parentb86ff061234ff42934bc08c5dc1ba041724eba22
ada: Fix inherited postconditions in inlined subprograms

Protect the building of postcondition pragmas in case the
postcondition is not present due to inlining.

gcc/ada/

* freeze.adb
(Build_Inherited_Condition_Pragmas): Do nothing if A_Post is
empty.
gcc/ada/freeze.adb