Clang static analysis results for dmd
Trass3r
un at known.com
Fri Jul 29 13:35:48 PDT 2011
> 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.
Also Apple primarily pushes the Objective-C analysis development so they
can integrate it into XCode.
More information about the Digitalmars-d
mailing list