]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Cleanup preanalysis of static expressions (part 3)
authorJavier Miranda <miranda@adacore.com>
Wed, 25 Dec 2024 06:42:10 +0000 (06:42 +0000)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 9 Jan 2025 08:22:45 +0000 (09:22 +0100)
commitaa086b7bf86945c1448fee665b8289c39dbcb743
tree1e59b0d4d922aa6d3afcda29c1ea07090302bbcf
parent2cbd4409bcfaba2bd4200412090fd06db1948369
ada: Cleanup preanalysis of static expressions (part 3)

Avoid reporting spurious errors.

gcc/ada/ChangeLog:

* freeze.adb (Freeze_Expr_Types): Reverse patch; that is, restore
calls to Preanalyze_Spec_Expression instead of Preanalyze_And_Resolve
for the sake of consistency with Analyze_Expression_Function. Patch
suggested by Eric Botcazou.
* exp_put_image.adb (Image_Should_Call_Put_Image): Ensure that
function Defining_Identifier is called with a proper node to
avoid internal assertion failure.
gcc/ada/exp_put_image.adb
gcc/ada/freeze.adb