tech-userlevel archive

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

Re: _DIAGASSERT(), noreturn attribute and static analysis

To: Nhat Minh Le <nhat.minh.le%huoc.org@localhost>
Subject: Re: _DIAGASSERT(), noreturn attribute and static analysis
From: Martin Husemann <martin%duskware.de@localhost>
Date: Fri, 14 May 2010 13:20:20 +0200

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.

Martin

References:
- _DIAGASSERT(), noreturn attribute and static analysis
  - From: Nhat Minh Le
- Re: _DIAGASSERT(), noreturn attribute and static analysis
  - From: Valeriy E. Ushakov
- Re: _DIAGASSERT(), noreturn attribute and static analysis
  - From: Nhat Minh Le

Prev by Date: Re: silly behavior of factor(6)
Next by Date: vi: invalid conversion, truncated file
Previous by Thread: Re: _DIAGASSERT(), noreturn attribute and static analysis
Next by Thread: vi: invalid conversion, truncated file
Indexes:

Home | Main Index | Thread Index | Old Index