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.
