[v3] Fix libstdc++/58358

[Paolo Carlini]

Hi,

On 09/12/2013 08:37 PM, Christopher Jefferson wrote:
> On 11 September 2013 11:10, Paolo Carlini <paolo.carlini@oracle.com> wrote:
>> ... sorry forgot the second patch.
>>
>> Paolo.
>>
>> //////////////////
> Just to confirm, I am happy with Mitsuru's code, it is shorter and
> while mine is faster on my computer, it is faster on other people's
> machines. I am happy to support Mitsuru's code in future if any more
> issues come up (I hope not!). Of course, I am happy for him to support
> his own code!
Thanks Chris. I know I can always count on you. Remains of course 
intended that if/when you have something even better than anything we 
have seen so far, patches are always welcome!

Cheers,
Paolo.