]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca3e565) | patch
[Ada] Generic binary search implementation
authorDmitriy Anisimkov <anisimko@adacore.com>
Wed, 9 Mar 2022 04:31:48 +0000 (10:31 +0600)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 17 May 2022 08:25:45 +0000 (08:25 +0000)
commita2bcadcef01990526712d07b4cbcdd6e47ad3da9
tree81727baaee22aa547edc4ee58f723e1e74739a3ftree
parentca3e565395b8e49f90482409c7cb2da5fccb5b26commit | diff
[Ada] Generic binary search implementation

Allows binary search in sorted anonymous array (or array-like
container).

gcc/ada/

* libgnat/g-binsea.ads, libgnat/g-binsea.adb
(GNAT.Binary_Search): New package.
* Makefile.rtl (GNATRTL_NONTASKING_OBJS): New item in list.
* doc/gnat_rm/the_gnat_library.rst (GNAT.Binary_Search): New
package record.
* gnat_rm.texi: Regenerate.
gcc/ada/Makefile.rtl diff | blob | blame | history
gcc/ada/doc/gnat_rm/the_gnat_library.rst diff | blob | blame | history
gcc/ada/gnat_rm.texi diff | blob | blame | history
gcc/ada/libgnat/g-binsea.adb [new file with mode: 0644] blob
gcc/ada/libgnat/g-binsea.ads [new file with mode: 0644] blob
Mirror of https://gcc.gnu.org/git/gcc.git