]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6123146) | patch
ada: Assertion failure on expansion of record with invariant
authorJavier Miranda <miranda@adacore.com>
Wed, 30 Aug 2023 19:19:13 +0000 (19:19 +0000)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 14 Sep 2023 12:42:39 +0000 (14:42 +0200)
commitfa16e3229499f4c7c5375bd1bc4b713fb1d2e30e
treeaba34ce47329a680674880fb006a862c26f16323tree
parent61231464d7a0c36ff80e2e2aea2c2d512420f494commit | diff
ada: Assertion failure on expansion of record with invariant

gcc/ada/

* exp_util.adb (Process_Record_Component): Adjust assertion on the
availablity of the invariant procedure; required because the
invariant procedure is built by the expander, and hence it is not
available compiling generic units or when the sources have errors,
since expansion is then disabled.
gcc/ada/exp_util.adb diff | blob | blame | history
GNU Compiler Collection
This page took 0.057846 seconds and 5 git commands to generate.