Date: Wed, 5 Jan 2011 21:26:21 +0100 From: Roman Divacky <rdivacky@FreeBSD.ORG> To: Erik Cederstrand <erik@cederstrand.dk> Cc: freebsd-current@FreeBSD.ORG, Ulrich Sp?rlein <uqs@FreeBSD.ORG> Subject: Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/ Message-ID: <20110105202621.GA94901@freebsd.org> In-Reply-To: <1D4E1C30-82CB-4131-831F-EE3D167BACA2@cederstrand.dk> References: <20110105131439.GN23329@acme.spoerlein.net> <4184C8F2-3C6D-46FB-8F10-DDEBA6DB1C35@cederstrand.dk> <AD2AEFFB-37A4-4DAB-9094-7289C1C8B0DD@cederstrand.dk> <201101050934.49845.jhb@freebsd.org> <20110105165545.GP23329@acme.spoerlein.net> <1D4E1C30-82CB-4131-831F-EE3D167BACA2@cederstrand.dk>
next in thread | previous in thread | raw e-mail | index | archive | help
On Wed, Jan 05, 2011 at 09:22:42PM +0100, Erik Cederstrand wrote: > > Den 05/01/2011 kl. 17.55 skrev Ulrich Sp?rlein: > > > And clang did the right thing here in the past. Beware that it does no > > inter-procedural analysis yet, so it will usually miss that usage() > > calls exit unconditionally. > > > > *But*, it should grok that for err(3) and exit(3). Now there are some > > possible remedies: > > > > - get IPA to work with clang, or at least file a bug > > I filed a bug with LLVM (http://llvm.org/bugs/show_bug.cgi?id=8914) but it seems IPA bugs filed on the analyzer have been rejected in the past. I have a dumb patch that may help here... can someone test it? http://lev.vlakno.cz/~rdivacky/clang-checker-no-return.patch it may slow down the analysis a lot, if it does please add a recursion limit there... roman
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20110105202621.GA94901>