diff mbox series

[COMMITTED,15/35] ada: Update Compiler_Error documentation

Message ID 20241025091107.485741-15-poulhies@adacore.com
State New
Headers show
Series [COMMITTED,01/35] ada: Pass parameters of full access unconstrained array types by copy in calls | expand

Commit Message

Marc Poulhiès Oct. 25, 2024, 9:10 a.m. UTC 
From: Richard Kenner <kenner@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 mbox series

Patch

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).