From: Richard Kenner <ken...@adacore.com>
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.
Tested on x86_64-pc-linux-gnu, committed on master.
---
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 eb8ae4ca6c6..e60a1fd9c8e 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.43.0
