diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-01-09 11:04:35 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-03 06:01:39 -0400 |
| commit | e60b6e23741c6d6059e6f765f18ce4c56366874b (patch) | |
| tree | a9d06feb928b7ea4a945b531cf10cf202d81a6a8 /gcc/ada/frontend.adb | |
| parent | da566eeb31056d9f40ab48688dc3fe680535ce80 (diff) | |
| download | gcc-e60b6e23741c6d6059e6f765f18ce4c56366874b.zip gcc-e60b6e23741c6d6059e6f765f18ce4c56366874b.tar.gz gcc-e60b6e23741c6d6059e6f765f18ce4c56366874b.tar.bz2 | |
[Ada] Initial infrastructure for adding a tree checker
2020-06-03 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* frontend.adb (Frontend): Call (dummy for now) tree checker.
* debug.adb: Reserve -gnatd_V for the tree checker.
* vast.ads, vast.adb: New files.
* gcc-interface/Make-lang.in: Add vast.o.
Diffstat (limited to 'gcc/ada/frontend.adb')
| -rw-r--r-- | gcc/ada/frontend.adb | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/frontend.adb b/gcc/ada/frontend.adb index 712340a..0fd3424 100644 --- a/gcc/ada/frontend.adb +++ b/gcc/ada/frontend.adb @@ -66,6 +66,7 @@ with Sinput.L; use Sinput.L; with SCIL_LL; with Tbuild; use Tbuild; with Types; use Types; +with VAST; procedure Frontend is begin @@ -505,6 +506,12 @@ begin null; end if; + -- Verify the validity of the tree + + if Debug_Flag_Underscore_VV then + VAST.Check_Tree (Cunit (Main_Unit)); + end if; + -- Dump the source now. Note that we do this as soon as the analysis -- of the tree is complete, because it is not just a dump in the case -- of -gnatD, where it rewrites all source locations in the tree. |