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.

0 files changed, 0 insertions, 0 deletions