tree e6e9df4f4c1af3c21cbc92357580d6c7ffe00fdc
parent f1f5ce00cc3814ff565ab3074dd920c0e5ec91bb
author philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1374791822 +0000
committer philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1374791822 +0000

Bypass GDB bug which asks to read packet slightly too big
GDB sometimes asks slightly too big read packets
(no taking into account the packet overhead).
Bypass the problem by allocating slightly more than needed
if GDB would only ask the correct maximum size.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13472 a5019735-40e9-0310-863c-91ae7b9d1cf9