Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/

2011-01-18 Thread Tijl Coosemans
On Wednesday 05 January 2011 14:14:39 Ulrich Spörlein wrote: Now that I'm fairly confident that the stability issues with your.org's VMs have been resolved, I'd like to point you to the new and improved, semi-weekly analyzer runs at http://scan.freebsd.your.org/freebsd-head/ I came

Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/

2011-01-11 Thread Ulrich Spörlein
On Sun, 09.01.2011 at 01:13:54 +0100, Jilles Tjoelker wrote: On Wed, Jan 05, 2011 at 10:30:43PM +0100, Ulrich Spörlein wrote: On Wed, 05.01.2011 at 20:36:53 +0100, Jilles Tjoelker wrote: On Wed, Jan 05, 2011 at 05:55:45PM +0100, Ulrich Spörlein wrote: *But*, it should grok that for

Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/

2011-01-08 Thread Jilles Tjoelker
On Wed, Jan 05, 2011 at 10:30:43PM +0100, Ulrich Spörlein wrote: On Wed, 05.01.2011 at 20:36:53 +0100, Jilles Tjoelker wrote: On Wed, Jan 05, 2011 at 05:55:45PM +0100, Ulrich Spörlein wrote: *But*, it should grok that for err(3) and exit(3). Now there are some possible remedies: - get

Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/

2011-01-06 Thread Erik Cederstrand
Den 05/01/2011 kl. 20.36 skrev Jilles Tjoelker: On Wed, Jan 05, 2011 at 05:55:45PM +0100, Ulrich Spörlein wrote: On Wed, 05.01.2011 at 09:34:49 -0500, John Baldwin wrote: These are all marked as __dead2, so the compiler should know that these do not return. And clang did the right thing

Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/

2011-01-06 Thread Tijl Coosemans
On Thursday 06 January 2011 09:01:09 Erik Cederstrand wrote: Den 05/01/2011 kl. 20.36 skrev Jilles Tjoelker: On Wed, Jan 05, 2011 at 05:55:45PM +0100, Ulrich Spörlein wrote: On Wed, 05.01.2011 at 09:34:49 -0500, John Baldwin wrote: These are all marked as __dead2, so the compiler should know

Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/

2011-01-06 Thread Erik Cederstrand
Den 06/01/2011 kl. 20.56 skrev Tijl Coosemans: On Thursday 06 January 2011 09:01:09 Erik Cederstrand wrote: Den 05/01/2011 kl. 20.36 skrev Jilles Tjoelker: On Wed, Jan 05, 2011 at 05:55:45PM +0100, Ulrich Spörlein wrote: - get IPA to work with clang, or at least file a bug - mark functions

Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/

2011-01-06 Thread Roman Divacky
On Thu, Jan 06, 2011 at 11:59:07PM +0100, Erik Cederstrand wrote: Den 06/01/2011 kl. 20.56 skrev Tijl Coosemans: On Thursday 06 January 2011 09:01:09 Erik Cederstrand wrote: Den 05/01/2011 kl. 20.36 skrev Jilles Tjoelker: On Wed, Jan 05, 2011 at 05:55:45PM +0100, Ulrich Sp?rlein wrote:

FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/

2011-01-05 Thread Ulrich Spörlein
Hello folks, Now that I'm fairly confident that the stability issues with your.org's VMs have been resolved, I'd like to point you to the new and improved, semi-weekly analyzer runs at http://scan.freebsd.your.org/freebsd-head/ If you are an HTML/CSS expert and want to help style that

Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/

2011-01-05 Thread Erik Cederstrand
Den 05/01/2011 kl. 14.56 skrev Erik Cederstrand: Ignoring contrib code for the moment, I decided to look at usr.sbin.pw from 2011-01-05. There's one report (http://scan.freebsd.your.org/freebsd-head/usr.sbin.pw/2011-01-05-amd64/report-KkilQ3.html#EndPath) which turns out to be a false

Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/

2011-01-05 Thread Erik Cederstrand
Den 05/01/2011 kl. 14.14 skrev Ulrich Spörlein: Hello folks, Now that I'm fairly confident that the stability issues with your.org's VMs have been resolved, I'd like to point you to the new and improved, semi-weekly analyzer runs at http://scan.freebsd.your.org/freebsd-head/ I

Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/

2011-01-05 Thread John Baldwin
On Wednesday, January 05, 2011 9:11:50 am Erik Cederstrand wrote: Den 05/01/2011 kl. 14.56 skrev Erik Cederstrand: Ignoring contrib code for the moment, I decided to look at usr.sbin.pw from 2011-01-05. There's one report

Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/

2011-01-05 Thread Ulrich Spörlein
On Wed, 05.01.2011 at 09:34:49 -0500, John Baldwin wrote: On Wednesday, January 05, 2011 9:11:50 am Erik Cederstrand wrote: Den 05/01/2011 kl. 14.56 skrev Erik Cederstrand: Ignoring contrib code for the moment, I decided to look at usr.sbin.pw from 2011-01-05. There's one report

Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/

2011-01-05 Thread Roman Divacky
On Wed, Jan 05, 2011 at 05:55:45PM +0100, Ulrich Sp??rlein wrote: On Wed, 05.01.2011 at 09:34:49 -0500, John Baldwin wrote: On Wednesday, January 05, 2011 9:11:50 am Erik Cederstrand wrote: Den 05/01/2011 kl. 14.56 skrev Erik Cederstrand: Ignoring contrib code for the moment, I

Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/

2011-01-05 Thread Jilles Tjoelker
On Wed, Jan 05, 2011 at 05:55:45PM +0100, Ulrich Spörlein wrote: On Wed, 05.01.2011 at 09:34:49 -0500, John Baldwin wrote: These are all marked as __dead2, so the compiler should know that these do not return. And clang did the right thing here in the past. Beware that it does no

Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/

2011-01-05 Thread Erik Cederstrand
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

Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/

2011-01-05 Thread Roman Divacky
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.

Re: FYI: clang static analyzer page has moved to http://scan.freebsd.your.org/freebsd-head/

2011-01-05 Thread Ulrich Spörlein
On Wed, 05.01.2011 at 20:36:53 +0100, Jilles Tjoelker wrote: On Wed, Jan 05, 2011 at 05:55:45PM +0100, Ulrich Spörlein wrote: On Wed, 05.01.2011 at 09:34:49 -0500, John Baldwin wrote: These are all marked as __dead2, so the compiler should know that these do not return. And clang