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

author	Viljar Indus <indus@adacore.com>
	Tue, 7 May 2024 13:35:30 +0000 (16:35 +0300)
committer	Marc Poulhiès <poulhies@adacore.com>
	Thu, 20 Jun 2024 08:50:50 +0000 (10:50 +0200)
commit	82531c69462ac65d2f12decbac1576267ef13448
tree	5fdbbfaab2c09cdb2ae3ce359567894541d79c87	tree
parent	d1c07598fad36218809907312f5c3d247b0413aa	commit \| diff

ada: Add switch for suppressing info messages

Add a separate switch -gnatis to suppress info messages
separately from warning messages that are controlled by
-gnatws.

gcc/ada/

* doc/gnat_ugn/building_executable_programs_with_gnat.rst: Add
entry for -gnatis.
* errout.adb (Error_Msg_Internal): Stop printing info messages if
-gnatis was used.
* opt.ads: Add Info_Suppressed flag to track whether info messages
should be suppressed.
* switch-c.adb: Add parsing for -gnatis.
* gnat_ugn.texi: Regenerate.

gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst		diff \| blob \| blame \| history
gcc/ada/errout.adb		diff \| blob \| blame \| history
gcc/ada/gnat_ugn.texi		diff \| blob \| blame \| history
gcc/ada/opt.ads		diff \| blob \| blame \| history
gcc/ada/switch-c.adb		diff \| blob \| blame \| history