ada: Integrate new diagnostics in the frontend

Integrate diagnostic messages using the new implementation to the codebase.

New diagnostic implementation uses GNAT.Lists as a building
block. Tampering checks that were initially implemented
for those lists are not critical for this implementation and
they lead to overly complex code.

Add a generic parameter Tampering_Checks to control whether
the tempering checks should be applied for the lists.
Make tampering checks conditional for GNAT.Lists

gcc/ada/

	* par-endh.adb: add call to new diagnostic for end loop errors.
	* sem_ch13.adb: add call to new diagnostic for default iterator
	error and record representation being too late.
	* sem_ch4.adb: Add new diagnostic for wrong operands.
	* sem_ch9.adb: Add new diagnostic for a Lock_Free warning.
	* libgnat/g-lists.adb (Ensure_Unlocked): Make checks for tampering
	conditional.
	* libgnat/g-lists.ads: Add parameter Tampering_Checks to control
	whether tampering checks should be executed.
	* backend_utils.adb: Add new gcc switches
	'-fdiagnostics-format=sarif-file' and
	'-fdiagnostics-format=sarif-stderr'.
	* debug.adb: document -gnatd_D switch.
	* diagnostics-brief_emitter.adb: New package for displaying
	diagnostic messages in a compact manner.
	* diagnostics-brief_emitter.ads: Same as above.
	* diagnostics-constructors.adb: New pacakge for providing simpler
	constructor methods for new diagnostic objects.
	* diagnostics-constructors.ads: Same as above.
	* diagnostics-converter.adb: New package for converting old
	Error_Msg_Object-s to Diagnostic_Types.
	* diagnostics-converter.ads: Same as above.
	* diagnostics-json_utils.adb: Package for utility methods related
	to emitting JSON.
	* diagnostics-json_utils.ads: Same as above.
	* diagnostics-pretty_emitter.adb: New package for displaying
	diagnostic messages in a more elaborate manner.
	* diagnostics-pretty_emitter.ads: Same as above.
	* diagnostics-repository.adb: New package for collecting all
	created error messages.
	* diagnostics-repository.ads: Same as above.
	* diagnostics-sarif_emitter.adb: New pacakge for converting all of
	the diagnostics into a report in the SARIF format.
	* diagnostics-sarif_emitter.ads: Same as above.
	* diagnostics-switch_repository.adb: New package containing the
	definitions for all of the warninging switches.
	* diagnostics-switch_repository.ads: Same as above.
	* diagnostics-utils.adb: Contains various utility methods for the
	diagnostic pacakges.
	* diagnostics-utils.ads: Same as above.
	* diagnostics.adb: Contains the definitions and common functions
	for all the new diagnostics objects.
	* diagnostics.ads: Same as above.
	* errout.adb: Relocate the old implementations for brief and
	pretty printing the diagnostic messages and the entrypoint to the
	new implementation if a debug switch is used.
	* errout.ads: Improve documentation. Make Set_Msg_Text publicly
	available.
	* opt.ads: Add the flag SARIF_File which controls whether the
	diagnostic messages should be printed to a file in the SARIF
	format. Add the flag SARIF_Output to control whether the
	diagnostic messages should be printed to std-err in the SARIF
	format.
	* gcc-interface/Make-lang.in: Add new pacakages to the object
	list.
	* gcc-interface/Makefile.in: Add new pacakages to the object list.

1 files changed, 104 insertions, 0 deletions

diff --git a/gcc/ada/diagnostics-json_utils.adb b/gcc/ada/diagnostics-json_utils.adb
new file mode 100644
index 0000000..30263b0
--- /dev/null
+++ b/gcc/ada/diagnostics-json_utils.adb
@@ -0,0 +1,104 @@
+------------------------------------------------------------------------------
+--                                                                          --
+--                         GNAT COMPILER COMPONENTS                         --
+--                                                                          --
+--               D I A G N O S T I C S . J S O N _ U T I L S                --
+--                                                                          --
+--                                 B o d y                                  --
+--                                                                          --
+--          Copyright (C) 1992-2024, Free Software Foundation, Inc.         --
+--                                                                          --
+-- GNAT is free software;  you can  redistribute it  and/or modify it under --
+-- terms of the  GNU General Public License as published  by the Free Soft- --
+-- ware  Foundation;  either version 3,  or (at your option) any later ver- --
+-- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
+-- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
+-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
+-- for  more details.  You should have  received  a copy of the GNU General --
+-- Public License  distributed with GNAT; see file COPYING3.  If not, go to --
+-- http://www.gnu.org/licenses for a complete copy of the license.          --
+--                                                                          --
+-- GNAT was originally developed  by the GNAT team at  New York University. --
+-- Extensive contributions were provided by Ada Core Technologies Inc.      --
+--                                                                          --
+------------------------------------------------------------------------------
+with Output; use Output;
+
+package body Diagnostics.JSON_Utils is
+
+   -----------------
+   -- Begin_Block --
+   -----------------
+
+   procedure Begin_Block is
+   begin
+      Indent_Level := Indent_Level + 1;
+   end Begin_Block;
+
+   ---------------
+   -- End_Block --
+   ---------------
+
+   procedure End_Block is
+   begin
+      Indent_Level := Indent_Level - 1;
+   end End_Block;
+
+   procedure Indent is begin
+      if JSON_FORMATTING then
+         for I in 1 .. INDENT_SIZE * Indent_Level loop
+            Write_Char (' ');
+         end loop;
+      end if;
+   end Indent;
+
+   -------------------
+   -- NL_And_Indent --
+   -------------------
+
+   procedure NL_And_Indent is
+   begin
+      if JSON_FORMATTING then
+         Write_Eol;
+         Indent;
+      end if;
+   end NL_And_Indent;
+
+   -------------------------
+   -- Write_Int_Attribute --
+   -------------------------
+
+   procedure Write_Int_Attribute (Name : String; Value : Int) is
+   begin
+      Write_Str ("""" & Name & """" & ": ");
+      Write_Int (Value);
+   end Write_Int_Attribute;
+
+   -------------------------------
+   -- Write_JSON_Escaped_String --
+   -------------------------------
+
+   procedure Write_JSON_Escaped_String (Str : String) is
+   begin
+      for C of Str loop
+         if C = '"' or else C = '\' then
+            Write_Char ('\');
+         end if;
+
+         Write_Char (C);
+      end loop;
+   end Write_JSON_Escaped_String;
+
+   ----------------------------
+   -- Write_String_Attribute --
+   ----------------------------
+
+   procedure Write_String_Attribute (Name : String; Value : String) is
+   begin
+      Write_Str ("""" & Name & """" & ": ");
+      Write_Char ('"');
+      Write_JSON_Escaped_String (Value);
+      Write_Char ('"');
+   end Write_String_Attribute;
+
+end Diagnostics.JSON_Utils;