Clang static analysis results for dmd

Walter Bright newshound2 at digitalmars.com
Sun Jul 24 14:59:58 PDT 2011


On 7/24/2011 2:43 PM, Robert Clipsham wrote:
> That's true for quite a few of the null pointer dereferences, there are some
> where there are no assertions though. It might be worth reporting these false
> positives to the folk working on it. In the other categories there are far fewer
> where they're false positives due to the assertion. It tends to be the ones with
> shorter path lengths that exhibit this problem.

dmd uses its own definition of assert(). It is marked as:

    #pragma noreturn(util_assert)

in tassert.h.

If there is an equivalent for clang, I suggest adding that in and rerunning the 
analysis. Getting rid of hundreds of false positives will save a lot of time.


More information about the Digitalmars-d mailing list