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

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

projects / thirdparty / gcc.git / commit

author	Viljar Indus <indus@adacore.com>
	Mon, 13 May 2024 08:53:45 +0000 (11:53 +0300)
committer	Marc Poulhiès <poulhies@adacore.com>
	Thu, 20 Jun 2024 08:50:50 +0000 (10:50 +0200)
commit	23c332e2a56dc93e3c00e745e08396762a33204e
tree	ed085a1717dc1fc9d814c0953d6d446ca83e3e31	tree
parent	0f906fe2137bff551e46a07d1d6bcf84edf9eaed	commit \| diff

ada: Change messages for -gnatw.v to warnings

Previously this switch was emitting only info messages
which was both confusing in terms of the name of the
switch that was used internally and externally.

gcc/ada/

* doc/gnat_ugn/building_executable_programs_with_gnat.rst: Update
documentation for -gnatw.v.
* sem_ch13.adb: Convert all -gnatw.v related messages to warnings.
* gnat_ugn.texi: Regenerate.

gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst		diff \| blob \| blame \| history
gcc/ada/gnat_ugn.texi		diff \| blob \| blame \| history
gcc/ada/sem_ch13.adb		diff \| blob \| blame \| history

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

RSS Atom