From owner-freebsd-current@FreeBSD.ORG  Wed Jan  5 20:22:45 2011
Return-Path: <owner-freebsd-current@FreeBSD.ORG>
Delivered-To: freebsd-current@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 3A0F1106564A;
	Wed,  5 Jan 2011 20:22:45 +0000 (UTC)
	(envelope-from erik@cederstrand.dk)
Received: from csmtp3.one.com (csmtp3.one.com [91.198.169.23])
	by mx1.freebsd.org (Postfix) with ESMTP id D9F888FC13;
	Wed,  5 Jan 2011 20:22:44 +0000 (UTC)
Received: from macfeast.lan
	(0x573b9942.cpe.ge-1-2-0-1101.ronqu1.customer.tele.dk [87.59.153.66])
	by csmtp3.one.com (Postfix) with ESMTP id 065532405623;
	Wed,  5 Jan 2011 20:22:42 +0000 (UTC)
Mime-Version: 1.0 (Apple Message framework v1082)
Content-Type: multipart/signed; boundary=Apple-Mail-136-271666640;
	protocol="application/pkcs7-signature"; micalg=sha1
From: Erik Cederstrand <erik@cederstrand.dk>
In-Reply-To: <20110105165545.GP23329@acme.spoerlein.net>
Date: Wed, 5 Jan 2011 21:22:42 +0100
Message-Id: <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>
To: =?iso-8859-1?Q?Ulrich_Sp=F6rlein?= <uqs@FreeBSD.ORG>
X-Mailer: Apple Mail (2.1082)
X-Content-Filtered-By: Mailman/MimeDel 2.1.5
Cc: freebsd-current@freebsd.org
Subject: Re: FYI: clang static analyzer page has moved to
	http://scan.freebsd.your.org/freebsd-head/
X-BeenThere: freebsd-current@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Discussions about the use of FreeBSD-current
	<freebsd-current.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>, 
	<mailto:freebsd-current-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-current>
List-Post: <mailto:freebsd-current@freebsd.org>
List-Help: <mailto:freebsd-current-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 05 Jan 2011 20:22:45 -0000


--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--