On Fri, Nov 15, 2013 at 3:56 AM, Arnaud Charlet <char...@adacore.com> wrote: >> Here is the new patch. Does it look OK? > > Assuming you can successfully build on e.g. x86-linux and x32-linux, this > looks OK to me, thanks for your efforts! >
Yes, it passed all tests with -m32, -mx32, -m64 on Linux/x86-64. Installed on trunk. Is this OK to backport to 4.8 branch after a few days? Thanks. -- H.J.
