]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad7ed87) | patch
[Ada] Create new unbounded functional sequence
authorJulien Bortolussi <bortolussi@adacore.com>
Wed, 4 May 2022 15:45:34 +0000 (17:45 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 4 Jul 2022 07:45:51 +0000 (07:45 +0000)
commit089a4a48ac3db93f07585563f3b41e92bac798fe
treef64d6171a8b4ee879bde8decc813d6a9d871292dtree
parentad7ed87a43655162cbd5765445681870aa99a3a8commit | 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
GNU Compiler Collection
This page took 0.060054 seconds and 5 git commands to generate.