[PATCH] Zero vptr in dtor for -fsanitize=vptr.

Jason Merrill jason@redhat.com
Tue Nov 14 17:01:00 GMT 2017


OK.

On Mon, Nov 6, 2017 at 3:27 AM, Martin Liška <mliska@suse.cz> wrote:
> On 11/03/2017 04:21 PM, Jason Merrill wrote:
>> On Fri, Nov 3, 2017 at 10:25 AM, Martin Liška <mliska@suse.cz> wrote:
>>> On 10/27/2017 09:44 PM, Nathan Sidwell wrote:
>>>> On 10/27/2017 02:34 PM, Jakub Jelinek wrote:
>>>>
>>>>> But when singly inheriting a polymorphic base and thus mapped to the same
>>>>> vptr all but the last dtor will not be in charge, right?
>>>>
>>>> Correct.
>>>>
>>>>> So, if using build_clobber_this for this, instead of clobbering what we
>>>>> clobber we'd just clear the single vptr (couldn't clobber the rest, even
>>>>> if before the store, because that would make the earlier other vptr stores
>>>>> dead).
>>>>
>>>> ok (I'd not looked at the patch to see if in chargeness was signficant)
>>>>
>>>> nathan
>>>>
>>>
>>> Hello.
>>>
>>> I'm sending v2 which only zeros vptr of object.
>>>
>>> Ready to be installed after finishing tests?
>>
>> Surely we also want to check TYPE_CONTAINS_VPTR_P.
>>
>> Jason
>>
>
> Done that in attached patch.
> Patch can bootstrap on ppc64le-redhat-linux and survives regression tests.
>
> Ready to be installed?
> Martin



More information about the Gcc-patches mailing list