git.ipfire.org Git - thirdparty/gcc.git/commit

]> git.ipfire.org Git - thirdparty/gcc.git/commit

projects / thirdparty / gcc.git / commit

author	Claire Dross <dross@adacore.com>
	Fri, 17 Jan 2025 13:29:47 +0000 (14:29 +0100)
committer	Marc Poulhiès <dkm@gcc.gnu.org>
	Fri, 6 Jun 2025 08:37:13 +0000 (10:37 +0200)
commit	028dd931876d2bf7d9d38e3ca93f018d0b51ce6d
tree	c732fc832ea22806f221f43795b7f541be3b7009	tree
parent	8952d7caf9e6bd9b19dc4efb3af702c566d8e474	commit \| diff

ada: Add case for Program_Exit in Exit_Cases

Extend the syntax for Exit_Cases to support exiting the program.

gcc/ada/ChangeLog:

* doc/gnat_rm/implementation_defined_pragmas.rst
(Pragma Exit_Cases): Update the documentation for Exit_Cases.
* sem_prag.adb
(Anlayze_Pragma): Accept Program_Exit as an exit kind.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom

gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst		diff \| blob \| blame \| history
gcc/ada/gnat_rm.texi		diff \| blob \| blame \| history
gcc/ada/gnat_ugn.texi		diff \| blob \| blame \| history
gcc/ada/sem_prag.adb		diff \| blob \| blame \| history