From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mo-p00-ob.rzone.de (mo-p00-ob.rzone.de [81.169.146.160]) by krisdoz.my.domain (8.14.3/8.14.3) with ESMTP id p9FISoNh000820 for ; Sat, 15 Oct 2011 14:28:51 -0400 (EDT) X-RZG-AUTH: :JiIXek6mfvEEUpFQdo7Fj1/zg48CFjWjQv0cW+St/nW/afgnrylriWJEKUcLGoA= X-RZG-CLASS-ID: mo00 Received: from britannica.bec.de (ip-109-42-217-53.web.vodafone.de [109.42.217.53]) by smtp.strato.de (cohen mo8) (RZmta 26.10 AUTH) with (DHE-RSA-AES128-SHA encrypted) ESMTPA id f05fa1n9FIS1Ej for ; Sat, 15 Oct 2011 20:28:33 +0200 (MEST) Received: by britannica.bec.de (sSMTP sendmail emulation); Sat, 15 Oct 2011 20:28:16 +0200 Date: Sat, 15 Oct 2011 20:28:16 +0200 From: Joerg Sonnenberger To: tech@mdocml.bsd.lv Subject: Re: mdocml version 1.12.0 available Message-ID: <20111015182816.GA10574@britannica.bec.de> Mail-Followup-To: tech@mdocml.bsd.lv References: <4E90B130.3080008@bsd.lv> <20111011145641.GA25314@britannica.bec.de> <20111013005045.GH28987@iris.usta.de> <20111013095525.GM26743@acme.spoerlein.net> <20111015150249.GB2496@iris.usta.de> X-Mailinglist: mdocml-tech Reply-To: tech@mdocml.bsd.lv MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20111015150249.GB2496@iris.usta.de> User-Agent: Mutt/1.5.21 (2010-09-15) On Sat, Oct 15, 2011 at 05:02:49PM +0200, Ingo Schwarze wrote: > 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. That's not clear from the code flow and given that there are explicit checks for NULL around, it punts. You could make this assumptions clear with an assert. Joerg -- To unsubscribe send an email to tech+unsubscribe@mdocml.bsd.lv