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