This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] ada/9535: Do not loop when writing/reading on datagram socket
On 16/04, Laurent GUERBY wrote:
| I skiped the "-1" :). I might be wrong again but in the case of null
| arrays I don't believe the language guarantee Item'Last = Item'First - 1
| just that Item'First > Item'Last, although here the GNAT implementation
| might satisfy the property.
You're right on this one: it looks like there may be bugs of this kind in
GNAT.Sockets, independently of this patch. I'll open a new PR to track
them.