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