projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da566ee) | patch
[Ada] Initial infrastructure for adding a tree checker
authorArnaud Charlet <charlet@adacore.com>
Thu, 9 Jan 2020 16:04:35 +0000 (11:04 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 3 Jun 2020 10:01:39 +0000 (06:01 -0400)
commite60b6e23741c6d6059e6f765f18ce4c56366874b
treea9d06feb928b7ea4a945b531cf10cf202d81a6a8tree
parentda566eeb31056d9f40ab48688dc3fe680535ce80commit | diff
[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.
gcc/ada/debug.adb diff | blob | history
gcc/ada/frontend.adb diff | blob | history
gcc/ada/gcc-interface/Make-lang.in diff | blob | history
gcc/ada/vast.adb [new file with mode: 0644] blob
gcc/ada/vast.ads [new file with mode: 0644] blob