]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Add diagnostic entry consistency checks
authorViljar Indus <indus@adacore.com>
Mon, 8 Dec 2025 11:26:54 +0000 (13:26 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 9 Jan 2026 10:57:19 +0000 (11:57 +0100)
commitf3577958976bc7f74e68e4c1048ba4d86bbe6b9f
tree07b1aa58471a2e79743357154671e8cc32cd359d
parent92fcd5740aefe9dc65d45e714e01edfc421e49f5
ada: Add diagnostic entry consistency checks

Verify that every diagnostic that has a switch also has the same
diagnostic marked as one of the diagnostics for that same switch.

Additionally verify that for every diagnostic marked for a switch
these diagnostics have the same switch marked as its switch.

gcc/ada/ChangeLog:

* errid.adb (Check_Diagnostic_To_Switch_Consistency): New subprogram
for checking the consistency of diagnostics.
(Check_Switch_To_Diagnostic_Consistency) New subprogram for checking
the consistency of switches.
(Add_All_Diagnostic_Rules): Check diagnostic consitency.
(Add_All_Switch_Rules): Check switch consitency.
gcc/ada/errid.adb