Re: [Tinycc-devel] Call for testing

2013-01-18 Thread grischka

Domingo Alvarez Duarte wrote:
Please someone here that administer this project can open a free account 
for opensource projects on http://scan.coverity.com/ and submit tinycc 
build to verify for defects, I did with my account and I've got this:


There is much more details available about this problems on the account 
pages, if someone want to see then tell me and I can add a new user to 
see then on my account.


Is there a way to let everyone participate?  If so I'd suggest to just
post the details here.

Thanks,

--- grischka


___
Tinycc-devel mailing list
Tinycc-devel@nongnu.org
https://lists.nongnu.org/mailman/listinfo/tinycc-devel


Re: [Tinycc-devel] Call for testing

2013-01-18 Thread Domingo Alvarez Duarte
I didn't found a way to get a report like the one bellow using clang-build
make CC=/usr/share/clang/scan-build/ccc-analyzer.

Here we have another set of problems and anyone can install clang and run
it.

tinycc-dad-git - scan-build resultsUser:mingo@mingo-Aspire-5315
Working Directory:/home/mingo/dev/tinycc-dad-git
Command Line:make CC=/usr/share/clang/scan-build/ccc-analyzer
Date:Fri Jan 18 19:57:11 2013

Bug SummaryBug TypeQuantityDisplay?
All Bugs31
API
Argument with 'nonnull' attribute passed null1
Dead code
Idempotent operation6
Dead store
Dead assignment5
Logic error
Assigned value is garbage or undefined2
Dereference of null pointer14
Division by zero1
Result of operation is garbage or undefined2

ReportsBug GroupBug Type â–¾FileLinePath Length
APIArgument with 'nonnull' attribute passed nulltcc.c367
22View ReportReport BugOpen File
Logic errorAssigned value is garbage or undefinedtccgen.c
334711View ReportReport BugOpen File
Logic errorAssigned value is garbage or undefinedi386-asm.c
92158View ReportReport BugOpen File
Dead storeDead assignmenttccgen.c1571View Report
Report BugOpen File
Dead storeDead assignmenti386-asm.c13081View Report
Report BugOpen File
Dead storeDead assignmenttccgen.c12671View Report
Report BugOpen File
Dead storeDead assignmenti386-asm.c8621View Report
Report BugOpen File
Dead storeDead assignmenti386-gen.c7871View Report
Report BugOpen File
Logic errorDereference of null pointertccpp.c276434View
ReportReport BugOpen File
Logic errorDereference of null pointertccgen.c466727
View ReportReport BugOpen File
Logic errorDereference of null pointertccgen.c485136
View ReportReport BugOpen File
Logic errorDereference of null pointertccgen.c385369
View ReportReport BugOpen File
Logic errorDereference of null pointertcc.c42922View
ReportReport BugOpen File
Logic errorDereference of null pointertccgen.c48108View
ReportReport BugOpen File
Logic errorDereference of null pointertccpp.c275033View
ReportReport BugOpen File
Logic errorDereference of null pointertccgen.c583357
View ReportReport BugOpen File
Logic errorDereference of null pointertccgen.c48347View
ReportReport BugOpen File
Logic errorDereference of null pointertccgen.c454015
View ReportReport BugOpen File
Logic errorDereference of null pointertccgen.c464326
View ReportReport BugOpen File
Logic errorDereference of null pointertccgen.c552311
View ReportReport BugOpen File
Logic errorDereference of null pointertccgen.c454717
View ReportReport BugOpen File
Logic errorDereference of null pointertccpp.c31178View
ReportReport BugOpen File
Logic errorDivision by zerotccasm.c15311View Report
Report BugOpen File
Dead codeIdempotent operationi386-asm.c5075View
ReportReport BugOpen File
Dead codeIdempotent operationi386-asm.c3575View
ReportReport BugOpen File
Dead codeIdempotent operationi386-gen.c6261View
ReportReport BugOpen File
Dead codeIdempotent operationi386-asm.c3617View
ReportReport BugOpen File
Dead codeIdempotent operationi386-gen.c6954View
ReportReport BugOpen File
Dead codeIdempotent operationi386-asm.c3596View
ReportReport BugOpen File
Logic errorResult of operation is garbage or undefinedi386-asm.c
87757View ReportReport BugOpen File
Logic errorResult of operation is garbage or undefinedi386-asm.c
81448View ReportReport BugOpen File


On Fri, Jan 18, 2013 at 6:33 PM, grischka gris...@gmx.de wrote:

 Domingo Alvarez Duarte wrote:

 Please someone here that administer this project can open a free account
 for opensource projects on http://scan.coverity.com/ and submit tinycc
 build to verify for defects, I did with my account and I've got this:

 There is much more details available about this problems on the account
 pages, if someone want to see then tell me and I can add a new user to see
 then on my account.


 Is there a way to let everyone participate?  If so I'd suggest to just
 post the details here.

 Thanks,

 --- grischka



 __**_
 Tinycc-devel mailing list
 Tinycc-devel@nongnu.org
 https://lists.nongnu.org/**mailman/listinfo/tinycc-develhttps://lists.nongnu.org/mailman/listinfo/tinycc-devel