Clang static analysis results for dmd

Robert Clipsham robert at octarineparrot.com
Wed Jul 27 15:08:43 PDT 2011


On 24/07/2011 22:06, Robert Clipsham wrote:
> Hi all,
>
> I took the liberty of running dmd through clang's static analysis, and
> it's turned up quite a few (486) potential bugs in dmd:
>
> http://octarineparrot.com/assets/dmd/
>
> There's bound to be a few false positives in there (please feel free to
> report them to the nice folk over at llvm), and the dead code won't
> cause any problems (and most of the "dead code" in the backend is
> probably in use with dmc or something), but there are still a few
> hundred potential crashes in there.
>
> The link above is rather slow - if anyone wants a local copy to work
> with let me know and I'll see about getting one to you... The compressed
> source to those pages is ~206MB, it's about 2.8GB without compression!
>

I've posted updated results:

http://octarineparrot.com/assets/dmd/

You'll probably need to hit refresh before the new results come up. Note 
that in addition to Walter's global.h changes, __attribute__((noreturn)) 
needed to be added to local_assert and util_assert in tassert.h too 
(could you add these too Walter?)

-- 
Robert
http://octarineparrot.com/


More information about the Digitalmars-d mailing list