Clang static analysis results for dmd

[Walter Bright]

On 7/29/2011 1:35 PM, Trass3r wrote:
>> Here's another one:
>>
>> T* p;
>> ...
>> if (A)
>> p = &t;
>> ...
>> if (B)
>> ... *p ...
>>
>> B is true if and only if A is true. B can even be the same expression as A,
>> such as a->b->c. Clang complains on the *p that p is "uninitialized".
> ...
>> At what point does this cease to be fixing "bugs" and become "contort to fit
>> clang's quirks"?
>
> Clang's static analysis isn't very mature yet.

It's not about maturity, it's simply impossible to correctly do the above case.