From: Richard Kenner <kenner@adacore.com>
Date: Mon, 27 May 2024 15:52:16 +0000 (-0400)
Subject: ada: Update Compiler_Error documentation
X-Git-Tag: basepoints/gcc-16~4913
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=cb0f66e02559fd57fb31f7befbaf5967792722e8;p=thirdparty%2Fgcc.git

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