commit 1d5018955a37fa665acc8dcba8121dd365dbe9be
author Arnaud Charlet <charlet@adacore.com> Sat Jun 04 10:44:13 2022 +0000
committer Pierre-Marie de Rodat <derodat@adacore.com> Tue Jul 05 08:28:18 2022 +0000
tree 32b0bd301f6a92b6bddc0e8861edc175feedac0b
parent 4844a259b41b4f31940b478216d6dc9faa2bcbca

[Ada] Remove exception propagation during bootstrap

To help the bootstrap path, we want to keep the compiler free from any
exception propagation during bootstrap. This has been broken recently in
various places.

Also introduce a way to more easily detect such breakage via the
-DNO_EXCEPTION_PROPAGATION which can now be used as part of BOOT_CFLAGS.

gcc/ada/

	* exp_imgv.adb (Build_Enumeration_Image_Tables): Also disable
	perfect hash in GNAT_Mode.
	* raise-gcc.c (__gnat_Unwind_RaiseException): Add support for
	disabling exception propagation.
	* sem_eval.adb (Compile_Time_Known_Value): Update comment and
	remove wrong call to Check_Error_Detected.
	* sem_prag.adb (Check_Loop_Pragma_Grouping, Analyze_Pragma):
	Remove exception propagation during bootstrap.