Source-Changes-D archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: CVS commit: src/sys/kern

On 07.11.2019 17:09, Martin Husemann wrote:
> On Thu, Nov 07, 2019 at 09:58:06AM -0600, David Young wrote:
>> I think the problem is that if you have the series of statements,
>>         element_t *e = &s->element;
>>         if (s == NULL)
>>                 return;
> Note that this example has *nothing* in common with Kamil's code change.
> He cited it as an example of the sanitize being usefull, but it only
> distracted from the real issue.
> Martin

This is the very similar case, except UB is a different part, in
misaligned pointer rather that dereferened NULL.

Attachment: signature.asc
Description: OpenPGP digital signature

Home | Main Index | Thread Index | Old Index