bearophile wrote:
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
Yes. Still true.
4995: FuncDeclaration *fd;
4996: Expression *pthis = NULL;
4997: if (deleg->op == TOKdelegate)
4998: {
4999: fd = ((DelegateExp *)deleg)->func;
5000: pthis = ((DelegateExp *)deleg)->e1;
5001: }
5002: else if (deleg->op == TOKfunction)
5003: fd = ((FuncExp*)deleg)->fd;
5004:
5005: assert(fd && fd->fbody);
warning C6001: Using uninitialized memory 'fd': Lines: 4995, 4996, 4997,
5002, 5005
