--- Comment #7 from Jakub Jelinek <jakub at gcc dot> ---
(In reply to Kostya Serebryany from comment #6)
> (In reply to Jakub Jelinek from comment #5)
> > Created attachment 39612 [details]
> > pr77567-2.patch
> > 
> > Slightly larger patch, which attempts to diagnose that, but fails to do so,
> > because only has:
> >   u32 alloc_type        : 2;
> > and we now need 3 bits instead of just 2.
> > Dmitry, is there any possibility to free one bit for this in ChunkHeader?
> There are no bits left. 


> But do we need these new states here? 

The first patch doesn't have them, but then can't catch C++17 violations e.g.
like the one in #c0 above.

> Can't we reuse the from_memalign field? 

I've looked at it and I'm afraid it can't, while likely with the current *NEW*
alloc_type from_memalign will be likely false, because it uses minimum
alignment (though haven't verified), from_memalign is used to say if any
padding had to be inserted in between, and that might be sometimes true and
sometimes false for the overaligned allocs, depending on the exact alignment

> Also, please remember that we can not accept patches from this buganizer --
> they need to go via

I know, I wanted to discuss it here first.  I guess I'll just submit the first
patch and let you deal with the rest later.

Reply via email to