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 c

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

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:

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

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

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 shou

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

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

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

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

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 on

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 > > (http://scan.freebsd.your.org/freebsd-head/usr.sbin.pw/2

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/

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

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