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