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/debug.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/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index a1a7462..764228e 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -193,7 +193,7 @@ package body Debug is -- d_S -- d_T Output trace information on invocation path recording -- d_U - -- d_V + -- d_V Enable verifications on the expanded tree -- d_W -- d_X -- d_Y @@ -1012,9 +1012,12 @@ package body Debug is -- it is checked, and the progress of the recursive trace through -- elaboration calls at compile time. - -- d_T The compiler outputs trance information to standard output whenever + -- d_T The compiler outputs trace information to standard output whenever -- an invocation path is recorded. + -- d_V Enable verification of the expanded code before calling the backend + -- and generate error messages on each inconsistency found. + -- d1 Error messages have node numbers where possible. Normally error -- messages have only source locations. This option is useful when -- debugging errors caused by expanded code, where the source location |