Don:

> I think these are false positives too. The ones I saw were of the form:
> When p is a pointer,
>   assert(p);
>   y = p->x; // error: p is uninitialized

This was true in the first "release" of those warnings files, but is it true 
still? There are only 10 of those errors reported now.

Bye,
bearophile

Reply via email to