]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 75e126d) | patch
ada: Fix assertion failure on 'Old in post-condition with -gnat2022
authorEric Botcazou <ebotcazou@adacore.com>
Wed, 11 Dec 2024 12:06:07 +0000 (13:06 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 6 Jan 2025 09:14:48 +0000 (10:14 +0100)
commit6be06ae88b8be8543094d712f24c52a4d2d73220
treef7acba52f856b91dfb072d79416c5ad79b7dfcbbtree
parent75e126db1e5c08261e3fb9fd0b831403c094d1f1commit | diff
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.
gcc/ada/sem_util.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git