tech-userlevel archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: _DIAGASSERT(), noreturn attribute and static analysis

On Fri, May 14, 2010 at 02:51:29AM +0200, Nhat Minh Le wrote:
> 4. Then the analyzer tries out every possible branching scenario up to
>    some depth and sees that if the __assert13() route is taken, then
>    foo == NULL and the next dereference is a bug.

This all sounds an analyzer bug to me - note that for example Coverity gets
it right.


Home | Main Index | Thread Index | Old Index