Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 5 Jan 2011 21:22:42 +0100
From:      Erik Cederstrand <erik@cederstrand.dk>
To:        =?iso-8859-1?Q?Ulrich_Sp=F6rlein?= <uqs@FreeBSD.ORG>
Cc:        freebsd-current@freebsd.org
Subject:   Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/
Message-ID:  <1D4E1C30-82CB-4131-831F-EE3D167BACA2@cederstrand.dk>
In-Reply-To: <20110105165545.GP23329@acme.spoerlein.net>
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>

next in thread | previous in thread | raw e-mail | index | archive | help

--Apple-Mail-136-271666640
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=iso-8859-1


Den 05/01/2011 kl. 17.55 skrev Ulrich Sp=F6rlein:

> 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.
>=20
> *But*, it should grok that for err(3) and exit(3). Now there are some
> possible remedies:
>=20
> - 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=3D8914) =
but it seems IPA bugs filed on the analyzer have been rejected in the =
past.

Erik=

--Apple-Mail-136-271666640--



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?1D4E1C30-82CB-4131-831F-EE3D167BACA2>