git.ipfire.org Git - thirdparty/gcc.git/commit

]> git.ipfire.org Git - thirdparty/gcc.git/commit

projects / thirdparty / gcc.git / commit

author	Arnaud Charlet <charlet@adacore.com>
	Thu, 9 Jan 2020 16:04:35 +0000 (11:04 -0500)
committer	Pierre-Marie de Rodat <derodat@adacore.com>
	Wed, 3 Jun 2020 10:01:39 +0000 (06:01 -0400)
commit	e60b6e23741c6d6059e6f765f18ce4c56366874b
tree	a9d06feb928b7ea4a945b531cf10cf202d81a6a8	tree \| snapshot
parent	da566eeb31056d9f40ab48688dc3fe680535ce80	commit \| 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 \| blame \| history
gcc/ada/frontend.adb		diff \| blob \| blame \| history
gcc/ada/gcc-interface/Make-lang.in		diff \| blob \| blame \| history
gcc/ada/vast.adb	[new file with mode: 0644]	blob
gcc/ada/vast.ads	[new file with mode: 0644]	blob

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom