]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8a94b0) | patch
ada: Cleanup preanalysis of static expressions
authorJavier Miranda <miranda@adacore.com>
Wed, 4 Dec 2024 17:49:01 +0000 (17:49 +0000)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 6 Jan 2025 09:14:46 +0000 (10:14 +0100)
commitfd52383f3f90de94e048e7902437b08eafa4adac
tree07a2b7b0063f8aab2160cb87e06ea5b31b3c6414tree
parentb8a94b0ba884bdd36f285565dbdf095e076fd63ccommit | diff
ada: Cleanup preanalysis of static expressions

Complete previous patch; required to avoid regressions in GNATProve.

gcc/ada/ChangeLog:

* sem_ch6.adb (Analyze_Expression_Function): Set the parent of
the new node to be the parent of the original to get the proper
context, which is needed for complete error reporting and for
semantic analysis. Patch suggested by Eric Botcazou.
gcc/ada/sem_ch6.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git