Re: mdocml version 1.12.0 available

[Ingo Schwarze <schwarze@usta.de>]

Hi Ulrich,

Ulrich Spörlein wrote on Thu, Oct 13, 2011 at 11:55:25AM +0200:
> On Thu, 2011-10-13 at 02:50:45 +0200, Ingo Schwarze wrote:
>> Joerg Sonnenberger wrote on Tue, Oct 11, 2011 at 04:56:41PM +0200:

>>> /home/joerg/work/NetBSD/cvs/src/external/bsd/mdocml/bin/mandoc/../../dist/mdoc_term.c:617:7: warning: Access to field 'prev' results in a dereference of a null pointer (loaded from variable 'n')
>>>                 if (n->prev && MDOC_It == n->prev->tok) {
>>>                     ^
>>> /home/joerg/work/NetBSD/cvs/src/external/bsd/mdocml/bin/mandoc/../../dist/mdoc_term.c:611:7: warning: Access to field 'prev' results in a dereference of a null pointer (loaded from variable 'n')
>>>                 if (n->prev && MDOC_It == n->prev->tok)
>>>                     ^

>> I have no idea why clang thinks n might be NULL here.
>> Do you understand that?
>> Or is this just a false positive?

> print_bvspace could have been called with n being NULL.

No, i just checked all callers.
All callers access n before calling print_bvspace,
so it's a false positive.

> Perhaps the HTML
> report is little bit more helpful:
> https://www.spoerlein.net/scan-build/mdocml/2011-10-13-1/report-qHe1Tf.html#EndPath

Not really, but i consider this settled all the same.

Thanks,
  Ingo
--
 To unsubscribe send an email to tech+unsubscribe@mdocml.bsd.lv