[Ada] Generic binary search implementation

[Pierre-Marie de Rodat via Gcc-patches]

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

Tested on x86_64-pc-linux-gnu, committed on trunk

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.

patch.diff.gz
Description: application/gzip