https://gcc.gnu.org/g:cb0f66e02559fd57fb31f7befbaf5967792722e8
commit r15-4640-gcb0f66e02559fd57fb31f7befbaf5967792722e8
Author: Richard Kenner <ken...@adacore.com>
Date: Mon May 27 11:52:16 2024 -0400
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.
Diff:
---
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).
