Run Microsoft Analyzer over dmd source code

Vladimir Panteleev vladimir at thecybershadow.net
Sun Aug 7 12:47:54 PDT 2011


On Sun, 07 Aug 2011 22:11:35 +0300, Vladimir Panteleev  
<vladimir at thecybershadow.net> wrote:

> On Sun, 07 Aug 2011 21:45:45 +0300, bearophile  
> <bearophileHUGS at lycos.com> wrote:
>
>> Vladimir Panteleev:
>>
>>> http://thecybershadow.net/d/vcanalysis/
>>
>> As with (first report of) Clang I see that assert(p); p->foo... are  
>> marked as "Dereferencing NULL pointer".
>
> Ah, that would probably be in files that #include <assert.h> instead of  
> "tassert.h". (Odd that Microsoft's code analyzer doesn't understand the  
> standard assert facility.) I'll try fixing that.

Done:  
http://dump.thecybershadow.net/b1e4cb6ef0a8d3c5f54d5cb09ddd1a9e/DMD.log

HTML files updated in place.

-- 
Best regards,
  Vladimir                            mailto:vladimir at thecybershadow.net


More information about the Digitalmars-d mailing list