On Fri, Jun 05, 2015 at 12:55:04PM +0400, Mikhail Maltsev wrote:
> 05.06.2015 13:02, Ondřej Bílka writes:
> > Also as I mentioned bugs before gcc now doesn't handle alignment well so
> > it doesn't optimize following to zero for aligned code.
> > 
> >  align = ((uintptr_t) x) % 16;
> > 
> That is because GCC is conservative and supports some non-ABI-compliant
> memory allocators which only guarantee 8-byte alignment, but
> 
Then adding these annotations wouldn't help much as one could interpose
malloc and violate that, unless we rule out that it shouldn't be
replaced by noncompilant one.

Reply via email to