]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: VAST: Check basic tree properties
authorBob Duff <duff@adacore.com>
Thu, 13 Nov 2025 16:40:55 +0000 (11:40 -0500)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 27 Nov 2025 12:57:43 +0000 (13:57 +0100)
commit57e5eec24cda138d97277467135201a351722548
treec7a59f76e0f0d73e9d3b545b8b465a9081b9dbf3
parent86701d8912f7473aa35c8ee8487511e6622b6c7a
ada: VAST: Check basic tree properties

Miscellaneous improvements to VAST. Mostly debugging improvements.

Move the call to VAST from Frontend to Gnat1drv, because
there is code AFTER the call to Frontend that notices
certain errors, and disables the back end. We want VAST
to be enabled only when the back end will be called.
This is needed to enable Check_Error_Nodes, among other
things.

gcc/ada/ChangeLog:

* frontend.adb: Move call to VAST from here...
* gnat1drv.adb: ...to here.
* vast.ads (VAST_If_Enabled): Rename main entry point of VAST from
VAST to VAST_If_Enabled.
* vast.adb: Miscellaneous improvements. Mostly debugging
improvements. Also enable Check_Error_Nodes. Also add checks:
Check_FE_Only, Check_Scope_Present, Check_Scope_Correct.
* debug.ads: Minor comment tweaks. The comment, "In the checks off
version of debug, the call to Set_Debug_Flag is always a null
operation." appears to be false, so is removed.
* debug.adb: Minor: Remove some code duplication.
* sinfo-utils.adb (nnd): Add comment warning about C vs. Ada
confusion.
gcc/ada/debug.adb
gcc/ada/debug.ads
gcc/ada/frontend.adb
gcc/ada/gnat1drv.adb
gcc/ada/sinfo-utils.adb
gcc/ada/vast.adb
gcc/ada/vast.ads