[Bug ada/117956] assertion failure on 'Old in post-condition with -gnat2022

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117956

--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Marc Poulhi?s <d...@gcc.gnu.org>:

https://gcc.gnu.org/g:6be06ae88b8be8543094d712f24c52a4d2d73220

commit r15-6586-g6be06ae88b8be8543094d712f24c52a4d2d73220
Author: Eric Botcazou <ebotca...@adacore.com>
Date:   Wed Dec 11 13:06:07 2024 +0100

    ada: Fix assertion failure on 'Old in post-condition with -gnat2022

    It comes from a small oversight in the updated implementation for Ada 2022.

    gcc/ada/ChangeLog:

            PR ada/117956
            * sem_util.adb (Is_Known_On_Entry): Be prepared for constants
coming
            from a renaming declaration.