Re: [Qemu-devel] Static analysis using clang on the x86_64 target

2010-01-21 Thread Amit Shah
On (Wed) Jan 13 2010 [12:32:54], Amit Shah wrote: > > > > I'd be very interested in the results of Sparc32 and Sparc64 analyses. > > OK, I added the two targets to the run and got the following result: > > http://amitshah.fedorapeople.org/clang-output/2010-01-13-1/ > > The bug count went up fro

Re: [Qemu-devel] Static analysis using clang on the x86_64 target

2010-01-14 Thread Blue Swirl
On Thu, Jan 14, 2010 at 3:09 AM, Amit Shah wrote: > On (Wed) Jan 13 2010 [19:08:11], Blue Swirl wrote: >> >> Thanks. I fixed the warnings related to Sparc32. Were there really no >> new warnings for Sparc64? > > Looks like it; vl.c gets reported three times at the same locations so 3 > arches have

Re: [Qemu-devel] Static analysis using clang on the x86_64 target

2010-01-13 Thread Amit Shah
On (Wed) Jan 13 2010 [19:08:11], Blue Swirl wrote: > > Thanks. I fixed the warnings related to Sparc32. Were there really no > new warnings for Sparc64? Looks like it; vl.c gets reported three times at the same locations so 3 arches have been compiled. My test machine is down ATM, I can confirm

Re: [Qemu-devel] Static analysis using clang on the x86_64 target

2010-01-13 Thread Blue Swirl
On Wed, Jan 13, 2010 at 7:02 AM, Amit Shah wrote: > On (Tue) Jan 12 2010 [19:35:08], Blue Swirl wrote: >> On Tue, Jan 12, 2010 at 6:13 PM, Amit Shah wrote: >> > Hello, >> > >> > Here's a run of the clang analyzer on qemu sources for the x86_64 >> > target. >> > >> > See >> > >> > http://amitshah.

Re: [Qemu-devel] Static analysis using clang on the x86_64 target

2010-01-12 Thread Amit Shah
On (Tue) Jan 12 2010 [22:01:15], malc wrote: > > Both audio.c issues are wrong, dma/sb16 is of useless operation variety > nevertheless the "fix" is pushed, hopefuly clang shouldn't complain about > them anymore. Yes, the count went down to 95 from 98 after your commits. There are a few false po

Re: [Qemu-devel] Static analysis using clang on the x86_64 target

2010-01-12 Thread Amit Shah
On (Tue) Jan 12 2010 [19:35:08], Blue Swirl wrote: > On Tue, Jan 12, 2010 at 6:13 PM, Amit Shah wrote: > > Hello, > > > > Here's a run of the clang analyzer on qemu sources for the x86_64 > > target. > > > > See > > > > http://amitshah.fedorapeople.org/clang-output/2010-01-12-9/ > > > > for the re

Re: [Qemu-devel] Static analysis using clang on the x86_64 target

2010-01-12 Thread Blue Swirl
On Tue, Jan 12, 2010 at 6:13 PM, Amit Shah wrote: > Hello, > > Here's a run of the clang analyzer on qemu sources for the x86_64 > target. > > See > > http://amitshah.fedorapeople.org/clang-output/2010-01-12-9/ > > for the results. > > There are a few results there which look dubious but a lot of

Re: [Qemu-devel] Static analysis using clang on the x86_64 target

2010-01-12 Thread malc
On Tue, 12 Jan 2010, Amit Shah wrote: > Hello, > > Here's a run of the clang analyzer on qemu sources for the x86_64 > target. > > See > > http://amitshah.fedorapeople.org/clang-output/2010-01-12-9/ > > for the results. > > There are a few results there which look dubious but a lot of the out

[Qemu-devel] Static analysis using clang on the x86_64 target

2010-01-12 Thread Amit Shah
Hello, Here's a run of the clang analyzer on qemu sources for the x86_64 target. See http://amitshah.fedorapeople.org/clang-output/2010-01-12-9/ for the results. There are a few results there which look dubious but a lot of the output can be useful to fix the bugs. What's nice about the tool