[PATCH] improve performance of std::allocator::deallocate

[François Dumont]

On 5/20/19 1:14 PM, Jonathan Wakely wrote:
> -  r1->deallocate(p, 2);
> +  r1->deallocate(p, 2, alignof(char));
> +  __builtin_printf("%d\n", (int)bytes_allocated);

Was this last line really intended to be added ?