From cb0f66e02559fd57fb31f7befbaf5967792722e8 Mon Sep 17 00:00:00 2001 From: Richard Kenner Date: Mon, 27 May 2024 11:52:16 -0400 Subject: [PATCH] ada: Update Compiler_Error documentation Since we usually build without assertions, we force a bugbox by raising Program_Error, not an always-false assertion. gcc/ada/ChangeLog: * comperr.ads (Compiler_Error): Update documentation. --- gcc/ada/comperr.ads | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/comperr.ads b/gcc/ada/comperr.ads index eb8ae4ca6c61..e60a1fd9c8e6 100644 --- a/gcc/ada/comperr.ads +++ b/gcc/ada/comperr.ads @@ -46,7 +46,7 @@ package Comperr is -- Note that this is only used at the outer level (to handle constraint -- errors or assert errors etc.) In the normal logic of the compiler we -- always use pragma Assert to check for errors, and if necessary an - -- explicit abort is achieved by pragma Assert (False). From_GCC is true + -- explicit abort is achieved by raise Program_Error. From_GCC is true -- for a GCC abort and false for a front end exception (with a possible -- message stored in TSD.Current_Excep). -- 2.47.2