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>
	Wed, 3 Dec 2025 09:49:45 +0000 (11:49 +0200)
committer	Marc Poulhiès <dkm@gcc.gnu.org>
	Fri, 9 Jan 2026 10:57:19 +0000 (11:57 +0100)
commit	97ad987fc19e96e97cb0bdb55d0bf41014f77de9
tree	c989d7bfff07f134221cad9bbdeef7934a0347cd	tree
parent	f3577958976bc7f74e68e4c1048ba4d86bbe6b9f	commit \| diff

ada: Update -gnatwk error messages with Diagnostic_Id-s

Add new entries to the Diagnostic_Id-s and entries to the diagnostic
repository for error messages that are activated by -gnatwk.

gcc/ada/ChangeLog:

* errid-diagnostic_repository.ads: Update the diagnostic repository.
* errid-switch_repository.ads: Update the switch repository.
* errid.ads: Add new Diagnostic_Id-s.
* sem_warn.adb (Check_References): Add Diagnostic_Id-s for
error messages triggered by -gnatwk.

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

RSS Atom

gcc/ada/errid-diagnostic_repository.ads		diff \| blob \| blame \| history
gcc/ada/errid-switch_repository.ads		diff \| blob \| blame \| history
gcc/ada/errid.ads		diff \| blob \| blame \| history
gcc/ada/sem_warn.adb		diff \| blob \| blame \| history