]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Update Compiler_Error documentation
authorRichard Kenner <kenner@adacore.com>
Mon, 27 May 2024 15:52:16 +0000 (11:52 -0400)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 25 Oct 2024 09:09:01 +0000 (11:09 +0200)
commitcb0f66e02559fd57fb31f7befbaf5967792722e8
tree07b87f7b5dff6209907e2508c26d1ce3ab5bbb4c
parent77f6918222a3a9ff8bc3f6ea59656105c883f8df
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