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

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

projects / thirdparty / gcc.git / commit

author	Julien Bortolussi <bortolussi@adacore.com>
	Wed, 4 May 2022 15:45:34 +0000 (17:45 +0200)
committer	Pierre-Marie de Rodat <derodat@adacore.com>
	Mon, 4 Jul 2022 07:45:51 +0000 (07:45 +0000)
commit	089a4a48ac3db93f07585563f3b41e92bac798fe
tree	f64d6171a8b4ee879bde8decc813d6a9d871292d	tree
parent	ad7ed87a43655162cbd5765445681870aa99a3a8	commit \| diff

[Ada] Create new unbounded functional sequence

Add a new unbounded functional sequence. This sequence is indexed by
Big_Positive and so is unbounded from the user and spark points view.
Hower the actually implemented sequence are bounded by Count_Type'Last.

gcc/ada/

* libgnat/a-cfinse.adb, libgnat/a-cfinse.ads: Implementation
files of the sequence.
* Makefile.rtl, impunit.adb: Take into account the add of the
new files

gcc/ada/Makefile.rtl		diff \| blob \| blame \| history
gcc/ada/impunit.adb		diff \| blob \| blame \| history
gcc/ada/libgnat/a-cfinse.adb	[new file with mode: 0644]	blob
gcc/ada/libgnat/a-cfinse.ads	[new file with mode: 0644]	blob

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

RSS Atom