2021-10-20 03:03 ftp://ftp.de.debian.org/debian/pool/main/w/whitedb/whitedb_0.7.3+git200711.orig.tar.xz cppcheck-options: --library=posix --library=gnu --showtime=top5 --check-library --inconclusive --enable=style,information --template=daca2 -D__GNUC__ --platform=unix64 -rp=temp platform: Linux-5.4.0-89-generic-x86_64-with-glibc2.29 python: 3.8.10 client-version: 1.3.15 compiler: g++ (Ubuntu 9.3.0-17ubuntu1~20.04) 9.3.0 cppcheck: head 2.6 head-info: 921f5c181 (2021-10-18 19:38:53 +0200) count: 250 250 elapsed-time: 44.4 41.0 head-timing-info: Overall time: 0s old-timing-info: Overall time: 0s head results: whitedb-0.7.3+git200711/Db/dbcompare.c:221:10: style: Condition 'exa' is always false [knownConditionTrueFalse] whitedb-0.7.3+git200711/Db/dbcompare.c:188:31: note: Assignment 'exa=NULL', assigned value is 0 whitedb-0.7.3+git200711/Db/dbcompare.c:221:10: note: Condition 'exa' is always false whitedb-0.7.3+git200711/Db/dbcompare.c:221:17: style: Condition 'exb' is always false [knownConditionTrueFalse] whitedb-0.7.3+git200711/Db/dbcompare.c:188:42: note: Assignment 'exb=NULL', assigned value is 0 whitedb-0.7.3+git200711/Db/dbcompare.c:221:17: note: Condition 'exb' is always false whitedb-0.7.3+git200711/Db/dbdata.c:1569:3: error: Found a exit path from function with non-void return type that has missing return statement [missingReturn] whitedb-0.7.3+git200711/Db/dbdata.c:2576:3: error: Found a exit path from function with non-void return type that has missing return statement [missingReturn] whitedb-0.7.3+git200711/Db/dbdata.c:2601:3: error: Found a exit path from function with non-void return type that has missing return statement [missingReturn] whitedb-0.7.3+git200711/Db/dbdata.c:1742:3: style: Obsolescent function 'ftime' called. It is recommended to use 'time', 'gettimeofday' or 'clock_gettime' instead. [prohibitedftimeCalled] whitedb-0.7.3+git200711/Db/dbdata.c:1757:3: style: Obsolescent function 'ftime' called. It is recommended to use 'time', 'gettimeofday' or 'clock_gettime' instead. [prohibitedftimeCalled] whitedb-0.7.3+git200711/Db/dbdata.c:1779:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Db/dbdata.c:1779:5: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Db/dbdata.c:1779:5: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Db/dbdata.c:1779:5: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Db/dbdata.c:1779:5: warning: %d in format string (no. 5) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Db/dbdata.c:1779:5: warning: %d in format string (no. 6) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Db/dbdata.c:1779:5: warning: %d in format string (no. 7) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Db/dbdata.c:1783:44: style:inconclusive: Function 'wg_strp_iso_date' argument 2 names different: declaration 'buf' definition 'inbuf'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Db/dbdata.h:171:44: note: Function 'wg_strp_iso_date' argument 2 names different: declaration 'buf' definition 'inbuf'. whitedb-0.7.3+git200711/Db/dbdata.c:1783:44: note: Function 'wg_strp_iso_date' argument 2 names different: declaration 'buf' definition 'inbuf'. whitedb-0.7.3+git200711/Db/dbdata.c:2122:71: style:inconclusive: Function 'wg_decode_xmlliteral_xsdtype_copy' argument 3 names different: declaration 'strbuf' definition 'langbuf'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Db/dbdata.h:208:71: note: Function 'wg_decode_xmlliteral_xsdtype_copy' argument 3 names different: declaration 'strbuf' definition 'langbuf'. whitedb-0.7.3+git200711/Db/dbdata.c:2122:71: note: Function 'wg_decode_xmlliteral_xsdtype_copy' argument 3 names different: declaration 'strbuf' definition 'langbuf'. whitedb-0.7.3+git200711/Db/dbdata.c:2249:63: style:inconclusive: Function 'wg_decode_uri_prefix_copy' argument 3 names different: declaration 'strbuf' definition 'langbuf'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Db/dbdata.h:222:63: note: Function 'wg_decode_uri_prefix_copy' argument 3 names different: declaration 'strbuf' definition 'langbuf'. whitedb-0.7.3+git200711/Db/dbdata.c:2249:63: note: Function 'wg_decode_uri_prefix_copy' argument 3 names different: declaration 'strbuf' definition 'langbuf'. whitedb-0.7.3+git200711/Db/dbdata.c:2868:60: style:inconclusive: Function 'wg_decode_unistr_lang_copy' argument 3 names different: declaration 'langbuf' definition 'strbuf'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Db/dbdata.h:659:62: note: Function 'wg_decode_unistr_lang_copy' argument 3 names different: declaration 'langbuf' definition 'strbuf'. whitedb-0.7.3+git200711/Db/dbdata.c:2868:60: note: Function 'wg_decode_unistr_lang_copy' argument 3 names different: declaration 'langbuf' definition 'strbuf'. whitedb-0.7.3+git200711/Db/dbdump.c:116:8: style: Condition '!lock_id' is always false [knownConditionTrueFalse] whitedb-0.7.3+git200711/Db/dbdump.c:115:15: note: Assignment 'lock_id=1', assigned value is 1 whitedb-0.7.3+git200711/Db/dbdump.c:116:8: note: Condition '!lock_id' is always false whitedb-0.7.3+git200711/Db/dbdump.c:118:7: error: Resource leak: f [resourceLeak] whitedb-0.7.3+git200711/Db/dbdump.c:200:53: style:inconclusive: Function 'wg_check_dump' argument 3 names different: declaration 'mixsize' definition 'minsize'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Db/dbdump.h:45:9: note: Function 'wg_check_dump' argument 3 names different: declaration 'mixsize' definition 'minsize'. whitedb-0.7.3+git200711/Db/dbdump.c:200:53: note: Function 'wg_check_dump' argument 3 names different: declaration 'mixsize' definition 'minsize'. whitedb-0.7.3+git200711/Db/crc1.h:83:34: style: Parameter 'buf' can be declared with const [constParameter] whitedb-0.7.3+git200711/Db/dbdump.c:93:16: style: Variable 'lock_id' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Db/dbhash.c:677:37: warning: The address of local variable 'val' might be accessed at non-zero index. [objectIndex] whitedb-0.7.3+git200711/Db/dbhash.c:677:32: note: Address of variable taken here. whitedb-0.7.3+git200711/Db/dbhash.c:677:37: note: The address of local variable 'val' might be accessed at non-zero index. whitedb-0.7.3+git200711/Db/dbhash.c:322:18: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast] whitedb-0.7.3+git200711/Db/dbhash.c:327:18: portability:inconclusive: Casting from double * to char * is not portable due to different binary data representations on different platforms. [invalidPointerCast] whitedb-0.7.3+git200711/Db/dbhash.c:848:10: style: Variable 'primes' can be declared with const [constVariable] whitedb-0.7.3+git200711/Db/dblock.c:473:28: style:inconclusive: Function 'wg_start_write' argument 1 names different: declaration 'dbase' definition 'db'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Db/dblock.h:73:28: note: Function 'wg_start_write' argument 1 names different: declaration 'dbase' definition 'db'. whitedb-0.7.3+git200711/Db/dblock.c:473:28: note: Function 'wg_start_write' argument 1 names different: declaration 'dbase' definition 'db'. whitedb-0.7.3+git200711/Db/dblock.c:481:26: style:inconclusive: Function 'wg_end_write' argument 1 names different: declaration 'dbase' definition 'db'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Db/dblock.h:74:26: note: Function 'wg_end_write' argument 1 names different: declaration 'dbase' definition 'db'. whitedb-0.7.3+git200711/Db/dblock.c:481:26: note: Function 'wg_end_write' argument 1 names different: declaration 'dbase' definition 'db'. whitedb-0.7.3+git200711/Db/dblock.c:489:27: style:inconclusive: Function 'wg_start_read' argument 1 names different: declaration 'dbase' definition 'db'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Db/dblock.h:75:27: note: Function 'wg_start_read' argument 1 names different: declaration 'dbase' definition 'db'. whitedb-0.7.3+git200711/Db/dblock.c:489:27: note: Function 'wg_start_read' argument 1 names different: declaration 'dbase' definition 'db'. whitedb-0.7.3+git200711/Db/dblock.c:497:25: style:inconclusive: Function 'wg_end_read' argument 1 names different: declaration 'dbase' definition 'db'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Db/dblock.h:76:25: note: Function 'wg_end_read' argument 1 names different: declaration 'dbase' definition 'db'. whitedb-0.7.3+git200711/Db/dblock.c:497:25: note: Function 'wg_end_read' argument 1 names different: declaration 'dbase' definition 'db'. whitedb-0.7.3+git200711/Db/dbmem.c:484:54: error: The address of local variable 'magic' is accessed at non-zero index. [objectIndex] whitedb-0.7.3+git200711/Db/dbmem.c:481:34: note: Address of variable taken here. whitedb-0.7.3+git200711/Db/dbmem.c:484:54: note: The address of local variable 'magic' is accessed at non-zero index. whitedb-0.7.3+git200711/Db/dbmem.c:534:52: error: The address of local variable 'magic' is accessed at non-zero index. [objectIndex] whitedb-0.7.3+git200711/Db/dbmem.c:526:32: note: Address of variable taken here. whitedb-0.7.3+git200711/Db/dbmem.c:534:52: note: The address of local variable 'magic' is accessed at non-zero index. whitedb-0.7.3+git200711/Db/dbmem.c:542:9: warning: The address of local variable 'version' might be accessed at non-zero index. [objectIndex] whitedb-0.7.3+git200711/Db/dbmem.c:537:25: note: Address of variable taken here. whitedb-0.7.3+git200711/Db/dbmem.c:542:9: note: The address of local variable 'version' might be accessed at non-zero index. whitedb-0.7.3+git200711/Db/dbmem.c:543:9: warning: The address of local variable 'features' might be accessed at non-zero index. [objectIndex] whitedb-0.7.3+git200711/Db/dbmem.c:539:25: note: Address of variable taken here. whitedb-0.7.3+git200711/Db/dbmem.c:543:9: note: The address of local variable 'features' might be accessed at non-zero index. whitedb-0.7.3+git200711/Db/dbmem.c:484:24: warning: Either the condition 'dbh!=NULL' is redundant or there is possible null pointer dereference: header_bytes. [nullPointerRedundantCheck] whitedb-0.7.3+git200711/Db/dbmem.c:479:7: note: Assuming that condition 'dbh!=NULL' is not redundant whitedb-0.7.3+git200711/Db/dbmem.c:482:24: note: header_bytes is assigned '(char*)dbh' here. whitedb-0.7.3+git200711/Db/dbmem.c:484:24: note: Null pointer dereference whitedb-0.7.3+git200711/Db/dbmpool.c:185:20: style: Variable 'mpoolh->freeptr' is reassigned a value before the old one has been used. [redundantAssignment] whitedb-0.7.3+git200711/Db/dbmpool.c:177:20: note: mpoolh->freeptr is assigned whitedb-0.7.3+git200711/Db/dbmpool.c:185:20: note: mpoolh->freeptr is overwritten whitedb-0.7.3+git200711/Db/dbmpool.c:369:11: style: Variable 'curptr' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Db/dbindex.c:1420:3: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Db/dbindex.c:1663:3: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Db/dbindex.c:2199:7: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch] whitedb-0.7.3+git200711/Db/dbindex.c:2202:9: note: Found duplicate branches for 'if' and 'else'. whitedb-0.7.3+git200711/Db/dbindex.c:2199:7: note: Found duplicate branches for 'if' and 'else'. whitedb-0.7.3+git200711/Db/dbindex.c:1433:45: style:inconclusive: Function 'drop_ttree_index' argument 2 names different: declaration 'column' definition 'index_id'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Db/dbindex.c:79:45: note: Function 'drop_ttree_index' argument 2 names different: declaration 'column' definition 'index_id'. whitedb-0.7.3+git200711/Db/dbindex.c:1433:45: note: Function 'drop_ttree_index' argument 2 names different: declaration 'column' definition 'index_id'. whitedb-0.7.3+git200711/Db/dbindex.c:944:11: style: Local variable 'i' shadows outer variable [shadowVariable] whitedb-0.7.3+git200711/Db/dbindex.c:764:7: note: Shadowed declaration whitedb-0.7.3+git200711/Db/dbindex.c:944:11: note: Shadow variable whitedb-0.7.3+git200711/Db/dbindex.c:2002:51: style: Parameter 'columns' can be declared with const [constParameter] whitedb-0.7.3+git200711/Db/dbindex.c:717:14: style: Variable 'left' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Db/dbindex.c:1437:7: style: Variable 'hdr' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Db/dbquery.c:465:8: style: Redundant initialization for 'co'. The initialized value is overwritten before it is read. [redundantInitialization] whitedb-0.7.3+git200711/Db/dbquery.c:450:11: note: co is initialized whitedb-0.7.3+git200711/Db/dbquery.c:465:8: note: co is overwritten whitedb-0.7.3+git200711/Db/dbquery.c:535:8: style: Redundant initialization for 'eo'. The initialized value is overwritten before it is read. [redundantInitialization] whitedb-0.7.3+git200711/Db/dbquery.c:452:11: note: eo is initialized whitedb-0.7.3+git200711/Db/dbquery.c:535:8: note: eo is overwritten whitedb-0.7.3+git200711/Examples/raptortry.c:81:9: style: The if condition is the same as the previous if condition [duplicateCondition] whitedb-0.7.3+git200711/Examples/raptortry.c:80:9: note: First condition whitedb-0.7.3+git200711/Examples/raptortry.c:81:9: note: Second condition whitedb-0.7.3+git200711/Examples/raptortry.c:82:9: style: The if condition is the same as the previous if condition [duplicateCondition] whitedb-0.7.3+git200711/Examples/raptortry.c:81:9: note: First condition whitedb-0.7.3+git200711/Examples/raptortry.c:82:9: note: Second condition whitedb-0.7.3+git200711/Examples/raptortry.c:68:6: style: Variable 'tmp' is reassigned a value before the old one has been used. [redundantAssignment] whitedb-0.7.3+git200711/Examples/raptortry.c:66:6: note: tmp is assigned whitedb-0.7.3+git200711/Examples/raptortry.c:68:6: note: tmp is overwritten whitedb-0.7.3+git200711/Examples/raptortry.c:68:6: style: Variable 'tmp' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Examples/raptortry.c:74:8: style: Variable 'tmp' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Examples/raptortry.c:78:8: style: Variable 'tmp' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Examples/raptortry.c:85:10: style: Variable 'tmp' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Examples/raptortry.c:88:10: style: Variable 'tmp' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Examples/speed/speed10.c:25:9: style: Unused variable: j [unusedVariable] whitedb-0.7.3+git200711/Examples/speed/speed12.c:17:14: style: Unused variable: rec [unusedVariable] whitedb-0.7.3+git200711/Examples/speed/speed21.c:101:8: style: Variable 'first' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Examples/speed/speed21.c:105:9: style: Variable 'last' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Examples/speed/speed21.c:127:7: style: Variable 'rc' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Examples/speed/speed21.c:86:21: style: Unused variable: rec [unusedVariable] whitedb-0.7.3+git200711/Examples/speed/speed21.c:88:7: style: Unused variable: i [unusedVariable] whitedb-0.7.3+git200711/Examples/speed/speed21.c:89:10: style: Unused variable: encptr [unusedVariable] whitedb-0.7.3+git200711/Examples/tut1.c:5:6: style: Variable 'db' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Main/gendata.c:147:5: style: Variable 'wlock' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Examples/dserve.c:612:15: style: Array index 'j' is used before limits check. [arrayIndexThenCheck] whitedb-0.7.3+git200711/Examples/dserve.c:539:26: style: Redundant condition: If 'EXPR > 0', the comparison 'EXPR' is always true. [redundantCondition] whitedb-0.7.3+git200711/Examples/dserve.c:658:29: style: Condition 'incomp=='\0'' is always false [knownConditionTrueFalse] whitedb-0.7.3+git200711/Examples/dserve.c:670:29: style: Condition 'intype=='\0'' is always false [knownConditionTrueFalse] whitedb-0.7.3+git200711/Examples/dserve.c:254:5: portability: %d in format string (no. 1) requires 'int' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Examples/dserve.c:999:43: warning: Either the condition 'exdata!=NULL' is redundant or there is possible null pointer dereference: exdata. [nullPointerRedundantCheck] whitedb-0.7.3+git200711/Examples/dserve.c:995:17: note: Assuming that condition 'exdata!=NULL' is not redundant whitedb-0.7.3+git200711/Examples/dserve.c:999:43: note: Null pointer dereference whitedb-0.7.3+git200711/Examples/dserve.c:269:70: style:inconclusive: Function 'search' argument 4 names different: declaration 'count' definition 'incount'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Examples/dserve.c:121:70: note: Function 'search' argument 4 names different: declaration 'count' definition 'incount'. whitedb-0.7.3+git200711/Examples/dserve.c:269:70: note: Function 'search' argument 4 names different: declaration 'count' definition 'incount'. whitedb-0.7.3+git200711/Examples/dserve.c:1192:26: style:inconclusive: Function 'sprint_append' argument 1 names different: declaration 'buf' definition 'bptr'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Examples/dserve.c:138:26: note: Function 'sprint_append' argument 1 names different: declaration 'buf' definition 'bptr'. whitedb-0.7.3+git200711/Examples/dserve.c:1192:26: note: Function 'sprint_append' argument 1 names different: declaration 'buf' definition 'bptr'. whitedb-0.7.3+git200711/Examples/dserve.c:1259:30: style:inconclusive: Function 'termination_handler' argument 1 names different: declaration 'signal' definition 'xsignal'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Examples/dserve.c:117:30: note: Function 'termination_handler' argument 1 names different: declaration 'signal' definition 'xsignal'. whitedb-0.7.3+git200711/Examples/dserve.c:1259:30: note: Function 'termination_handler' argument 1 names different: declaration 'signal' definition 'xsignal'. whitedb-0.7.3+git200711/Examples/dserve.c:161:27: style: Parameter 'argv' can be declared with const [constParameter] whitedb-0.7.3+git200711/Examples/dserve.c:658:29: warning: Char literal compared with pointer 'incomp'. Did you intend to dereference it? [charLiteralWithCharPtrCompare] whitedb-0.7.3+git200711/Examples/dserve.c:670:29: warning: Char literal compared with pointer 'intype'. Did you intend to dereference it? [charLiteralWithCharPtrCompare] whitedb-0.7.3+git200711/Examples/dserve.c:271:14: style: Variable 'type' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Examples/dserve.c:1276:6: style: Variable 'r' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Main/stresstest.c:365:1: error: Unmatched '}'. Configuration: '__GNUC__=1'. [syntaxError] whitedb-0.7.3+git200711/Parser/dbparse.c:211:3: error: Resource leak: fp [resourceLeak] whitedb-0.7.3+git200711/Parser/dbparse.c:588:50: style:inconclusive: Function 'wr_parse_primitive' argument 3 names different: declaration 'term' definition 'atomptr'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Parser/dbparse.h:47:50: note: Function 'wr_parse_primitive' argument 3 names different: declaration 'term' definition 'atomptr'. whitedb-0.7.3+git200711/Parser/dbparse.c:588:50: note: Function 'wr_parse_primitive' argument 3 names different: declaration 'term' definition 'atomptr'. whitedb-0.7.3+git200711/Parser/dbparse.c:115:7: style: Variable 'fp' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Parser/dbparse.c:199:5: style: Variable 'fp' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/build.c:166:3: error: Found a exit path from function with non-void return type that has missing return statement [missingReturn] whitedb-0.7.3+git200711/Reasoner/build.c:305:8: style: Variable 'atype' is reassigned a value before the old one has been used. [redundantAssignment] whitedb-0.7.3+git200711/Reasoner/build.c:301:8: note: atype is assigned whitedb-0.7.3+git200711/Reasoner/build.c:305:8: note: atype is overwritten whitedb-0.7.3+git200711/Reasoner/build.c:307:8: style: Variable 'btype' is reassigned a value before the old one has been used. [redundantAssignment] whitedb-0.7.3+git200711/Reasoner/build.c:303:8: note: btype is assigned whitedb-0.7.3+git200711/Reasoner/build.c:307:8: note: btype is overwritten whitedb-0.7.3+git200711/Reasoner/build.c:64:36: style:inconclusive: Function 'wr_build_calc_cl' argument 2 names different: declaration 'x' definition 'xptr'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Reasoner/build.h:41:36: note: Function 'wr_build_calc_cl' argument 2 names different: declaration 'x' definition 'xptr'. whitedb-0.7.3+git200711/Reasoner/build.c:64:36: note: Function 'wr_build_calc_cl' argument 2 names different: declaration 'x' definition 'xptr'. whitedb-0.7.3+git200711/Reasoner/build.c:219:40: style:inconclusive: Function 'wr_computable_termptr' argument 2 names different: declaration 'yptr' definition 'tptr'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Reasoner/build.h:44:40: note: Function 'wr_computable_termptr' argument 2 names different: declaration 'yptr' definition 'tptr'. whitedb-0.7.3+git200711/Reasoner/build.c:219:40: note: Function 'wr_computable_termptr' argument 2 names different: declaration 'yptr' definition 'tptr'. whitedb-0.7.3+git200711/Reasoner/build.c:238:43: style:inconclusive: Function 'wr_compute_from_termptr' argument 2 names different: declaration 'yptr' definition 'tptr'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Reasoner/build.h:45:43: note: Function 'wr_compute_from_termptr' argument 2 names different: declaration 'yptr' definition 'tptr'. whitedb-0.7.3+git200711/Reasoner/build.c:238:43: note: Function 'wr_compute_from_termptr' argument 2 names different: declaration 'yptr' definition 'tptr'. whitedb-0.7.3+git200711/Reasoner/build.c:219:40: style: Parameter 'tptr' can be declared with const [constParameter] whitedb-0.7.3+git200711/Main/wgdb.c:1063:9: portability: Non reentrant function 'getpwuid' called. For threadsafe applications it is recommended to use the reentrant replacement function 'getpwuid_r'. [prohibitedgetpwuidCalled] whitedb-0.7.3+git200711/Main/wgdb.c:1067:9: portability: Non reentrant function 'getgrgid' called. For threadsafe applications it is recommended to use the reentrant replacement function 'getgrgid_r'. [prohibitedgetgrgidCalled] whitedb-0.7.3+git200711/Main/wgdb.c:639:7: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] whitedb-0.7.3+git200711/Main/wgdb.c:752:5: style: Variable 'rlock' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Main/wgdb.c:753:5: style: Variable 'wlock' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:617:11: style: Condition 'tmp' is always true [knownConditionTrueFalse] whitedb-0.7.3+git200711/Reasoner/clstore.c:615:11: note: Assignment 'tmp=1', assigned value is 1 whitedb-0.7.3+git200711/Reasoner/clstore.c:617:11: note: Condition 'tmp' is always true whitedb-0.7.3+git200711/Reasoner/clstore.c:960:3: portability: %d in format string (no. 1) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/clstore.c:960:3: portability: %d in format string (no. 2) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/clstore.c:1014:3: portability: %d in format string (no. 1) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/clstore.c:1017:7: portability: %d in format string (no. 2) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/clstore.c:612:15: style: Checking if unsigned expression 'hash' is less than zero. [unsignedLessThanZero] whitedb-0.7.3+git200711/Reasoner/clstore.c:681:11: style: Checking if unsigned expression 'hash' is less than zero. [unsignedLessThanZero] whitedb-0.7.3+git200711/Reasoner/clstore.c:533:52: style:inconclusive: Function 'wr_term_hashstore' argument 3 names different: declaration 'atom' definition 'term'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Reasoner/clstore.h:61:52: note: Function 'wr_term_hashstore' argument 3 names different: declaration 'atom' definition 'term'. whitedb-0.7.3+git200711/Reasoner/clstore.c:533:52: note: Function 'wr_term_hashstore' argument 3 names different: declaration 'atom' definition 'term'. whitedb-0.7.3+git200711/Reasoner/clstore.c:945:40: style: Parameter 'hashvec' can be declared with const [constParameter] whitedb-0.7.3+git200711/Reasoner/clstore.c:1008:43: style: Parameter 'hashvec' can be declared with const [constParameter] whitedb-0.7.3+git200711/Reasoner/clstore.c:277:15: style: Variable 'poscount' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:278:15: style: Variable 'negcount' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:286:14: style: Variable 'addflag' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:309:17: style: Variable 'poscount' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:310:17: style: Variable 'negcount' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:343:13: style: Variable 'termflag' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:359:19: style: Variable 'termflag' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:403:15: style: Variable 'poscount' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:404:15: style: Variable 'negcount' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:412:14: style: Variable 'addflag' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:437:17: style: Variable 'poscount' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:438:17: style: Variable 'negcount' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:471:13: style: Variable 'termflag' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:487:19: style: Variable 'termflag' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:537:20: style: Variable 'hash' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:550:19: style: Variable 'hashposbits' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:575:13: style: Variable 'nonvarflag' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/clstore.c:613:11: style: Variable 'hash' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/derive.c:219:53: style: Parameter 'rptr' can be declared with const [constParameter] whitedb-0.7.3+git200711/Reasoner/derive.c:418:46: style: Parameter 'tmpres' can be declared with const [constParameter] whitedb-0.7.3+git200711/Reasoner/derive.c:132:19: style: Variable 'partialresflag' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/derive.c:141:19: style: Variable 'partialresflag' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/rmain.c:374:5: portability: %d in format string (no. 1) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rmain.c:374:5: portability: %d in format string (no. 2) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rmain.c:377:5: portability: %d in format string (no. 1) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rmain.c:377:5: portability: %d in format string (no. 2) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rmain.c:383:5: portability: %d in format string (no. 1) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rmain.c:383:5: portability: %d in format string (no. 2) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rmain.c:385:5: portability: %d in format string (no. 1) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rmain.c:385:5: portability: %d in format string (no. 2) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rmain.c:387:5: portability: %d in format string (no. 1) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rmain.c:387:5: portability: %d in format string (no. 2) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rmain.c:389:5: portability: %d in format string (no. 1) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rmain.c:389:5: portability: %d in format string (no. 2) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rmain.c:391:5: portability: %d in format string (no. 1) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rmain.c:391:5: portability: %d in format string (no. 2) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rgenloop.c:145:22: style: The if condition is the same as the previous if condition [duplicateCondition] whitedb-0.7.3+git200711/Reasoner/rgenloop.c:139:22: note: First condition whitedb-0.7.3+git200711/Reasoner/rgenloop.c:145:22: note: Second condition whitedb-0.7.3+git200711/Reasoner/rgenloop.c:209:3: portability: %d in format string (no. 1) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rgenloop.c:246:3: portability: %d in format string (no. 1) requires 'int' but the argument type is 'ptrdiff_t * {aka signed long *}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rgenloop.c:246:3: portability: %d in format string (no. 2) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rgenloop.c:269:3: portability: %d in format string (no. 1) requires 'int' but the argument type is 'ptrdiff_t * {aka signed long *}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rgenloop.c:269:3: portability: %d in format string (no. 2) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rgenloop.c:279:3: portability: %d in format string (no. 1) requires 'int' but the argument type is 'ptrdiff_t * {aka signed long *}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rgenloop.c:279:3: portability: %d in format string (no. 2) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rgenloop.c:410:7: portability: %d in format string (no. 1) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/rgenloop.c:117:18: style: Variable 'given_kept_flag' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/rgenloop.c:308:7: style: Unused variable: i [unusedVariable] whitedb-0.7.3+git200711/Reasoner/rgenloop.c:333:14: style: Variable 'addflag' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/subsume.c:175:11: style: Variable 'cllen2' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/subsume.c:290:18: style: Variable 'foundflag' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Reasoner/unify.c:633:3: portability: %d in format string (no. 1) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/unify.c:637:7: portability: %d in format string (no. 2) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/unify.c:652:3: portability: %d in format string (no. 1) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/unify.c:652:3: portability: %d in format string (no. 2) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/unify.c:656:7: portability: %d in format string (no. 2) requires 'int' but the argument type is 'ptrdiff_t {aka signed long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Reasoner/unify.c:509:29: style: Parameter 'vb' can be declared with const [constParameter] whitedb-0.7.3+git200711/Reasoner/unify.c:663:40: style: Parameter 'vb' can be declared with const [constParameter] whitedb-0.7.3+git200711/Server/dserve_net.c:257:27: style: Condition 'common->shutdown==1' is always false [knownConditionTrueFalse] whitedb-0.7.3+git200711/Server/dserve_net.c:233:22: note: Assignment 'common->shutdown=0', assigned value is 0 whitedb-0.7.3+git200711/Server/dserve_net.c:250:11: note: Assuming condition is false whitedb-0.7.3+git200711/Server/dserve_net.c:257:27: note: Condition 'common->shutdown==1' is always false whitedb-0.7.3+git200711/Server/dserve_net.c:710:80: error: Resource leak: sd [resourceLeak] whitedb-0.7.3+git200711/Server/dserve_net.c:716:62: error: Resource leak: sd [resourceLeak] whitedb-0.7.3+git200711/Server/dserve_net.c:718:34: error: Resource leak: sd [resourceLeak] whitedb-0.7.3+git200711/Server/dserve_net.c:745:53: style:inconclusive: Function 'readn' argument 4 names different: declaration 'sslp' definition 'ssl'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Server/dserve_net.c:47:53: note: Function 'readn' argument 4 names different: declaration 'sslp' definition 'ssl'. whitedb-0.7.3+git200711/Server/dserve_net.c:745:53: note: Function 'readn' argument 4 names different: declaration 'sslp' definition 'ssl'. whitedb-0.7.3+git200711/Server/dserve_net.c:767:54: style:inconclusive: Function 'writen' argument 4 names different: declaration 'sslp' definition 'ssl'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Server/dserve_net.c:48:54: note: Function 'writen' argument 4 names different: declaration 'sslp' definition 'ssl'. whitedb-0.7.3+git200711/Server/dserve_net.c:767:54: note: Function 'writen' argument 4 names different: declaration 'sslp' definition 'ssl'. whitedb-0.7.3+git200711/Server/dserve_net.c:520:8: style: Variable 'i' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Server/dserve_net.c:522:10: style: Variable 'i' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Server/dserve.c:716:17: style: Array index 'j' is used before limits check. [arrayIndexThenCheck] whitedb-0.7.3+git200711/Server/dserve.c:250:20: style: Expression is always true because 'else if' condition is opposite to previous condition at line 242. [multiCondition] whitedb-0.7.3+git200711/Server/dserve.c:242:13: note: first condition whitedb-0.7.3+git200711/Server/dserve.c:250:20: note: else if condition is opposite to first condition whitedb-0.7.3+git200711/Server/dserve.c:606:26: style: Redundant condition: If 'EXPR > 0', the comparison 'EXPR' is always true. [redundantCondition] whitedb-0.7.3+git200711/Server/dserve.c:537:7: portability: %d in format string (no. 1) requires 'int' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint] whitedb-0.7.3+git200711/Server/dserve.c:978:17: warning: Either the condition 'tmps<=0' is redundant or there is possible null pointer dereference: tmps. [nullPointerRedundantCheck] whitedb-0.7.3+git200711/Server/dserve.c:979:14: note: Assuming that condition 'tmps<=0' is not redundant whitedb-0.7.3+git200711/Server/dserve.c:978:17: note: Null pointer dereference whitedb-0.7.3+git200711/Server/dserve.c:979:14: style: A pointer can not be negative so it is either pointless or an error to check if it is. [pointerLessThanZero] whitedb-0.7.3+git200711/Server/dserve.c:556:18: style:inconclusive: Function 'search' argument 4 names different: declaration 'count' definition 'incount'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Server/dserve.c:100:7: note: Function 'search' argument 4 names different: declaration 'count' definition 'incount'. whitedb-0.7.3+git200711/Server/dserve.c:556:18: note: Function 'search' argument 4 names different: declaration 'count' definition 'incount'. whitedb-0.7.3+git200711/Server/dserve.c:1193:57: style: Parameter 'key' can be declared with const [constParameter] whitedb-0.7.3+git200711/Server/dserve.c:1193:67: style: Parameter 'value' can be declared with const [constParameter] whitedb-0.7.3+git200711/Server/dserve.c:210:27: style: Parameter 'argv' can be declared with const [constParameter] whitedb-0.7.3+git200711/Server/dserve.c:612:37: error: Uninitialized variable: sfcount [uninitvar] whitedb-0.7.3+git200711/Server/dserve.c:335:10: style: Variable 'len' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Server/dserve.c:822:9: style: Unused variable: tmp [unusedVariable] whitedb-0.7.3+git200711/Server/dserve.c:965:16: style: Variable 'max_size' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Server/dserve.c:1037:14: style: Variable 'lock_id' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Server/nsmeasure.c:288:9: style: Obsolescent function 'usleep' called. It is recommended to use 'nanosleep' or 'setitimer' instead. [prohibitedusleepCalled] whitedb-0.7.3+git200711/Server/nsmeasure.c:420:20: style:inconclusive: Function 'errhalt' argument 1 names different: declaration 'msg' definition 'str'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Server/nsmeasure.c:69:20: note: Function 'errhalt' argument 1 names different: declaration 'msg' definition 'str'. whitedb-0.7.3+git200711/Server/nsmeasure.c:420:20: note: Function 'errhalt' argument 1 names different: declaration 'msg' definition 'str'. whitedb-0.7.3+git200711/Server/nsmeasure.c:373:14: error: Uninitialized variable: i [uninitvar] whitedb-0.7.3+git200711/Server/nsmeasure.c:224:19: note: Assuming condition is false whitedb-0.7.3+git200711/Server/nsmeasure.c:373:14: note: Uninitialized variable: i whitedb-0.7.3+git200711/Server/nsmeasure.c:159:9: style: Variable 'rc' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Server/nsmeasure.c:85:7: style: Unused variable: i [unusedVariable] whitedb-0.7.3+git200711/Server/nsmeasure.c:223:17: style: Variable 'clenheader_len' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Server/nsmeasure.c:262:8: style: Variable 'len' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Server/nsmeasure.c:202:15: style: Unused variable: bytes_read [unusedVariable] whitedb-0.7.3+git200711/Server/dserve_util.c:668:11: style: The if condition is the same as the previous if condition [duplicateCondition] whitedb-0.7.3+git200711/Server/dserve_util.c:663:11: note: First condition whitedb-0.7.3+git200711/Server/dserve_util.c:668:11: note: Second condition whitedb-0.7.3+git200711/Server/dserve_util.c:46:29: style: Condition 'incomp=='\0'' is always false [knownConditionTrueFalse] whitedb-0.7.3+git200711/Server/dserve_util.c:57:29: style: Condition 'intype=='\0'' is always false [knownConditionTrueFalse] whitedb-0.7.3+git200711/Server/dserve_util.c:992:7: warning: Either the condition 'tdata==NULL' is redundant or there is possible null pointer dereference: tdata. [nullPointerRedundantCheck] whitedb-0.7.3+git200711/Server/dserve_util.c:988:12: note: Assuming that condition 'tdata==NULL' is not redundant whitedb-0.7.3+git200711/Server/dserve_util.c:992:7: note: Null pointer dereference whitedb-0.7.3+git200711/Server/dserve_util.c:1117:50: warning: Either the condition 'globalptr==NULL' is redundant or there is possible null pointer dereference: globalptr. [nullPointerRedundantCheck] whitedb-0.7.3+git200711/Server/dserve_util.c:1118:16: note: Assuming that condition 'globalptr==NULL' is not redundant whitedb-0.7.3+git200711/Server/dserve_util.c:1117:50: note: Null pointer dereference whitedb-0.7.3+git200711/Server/dserve_util.c:583:26: style:inconclusive: Function 'sprint_append' argument 1 names different: declaration 'buf' definition 'bptr'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/Server/dserve.h:481:26: note: Function 'sprint_append' argument 1 names different: declaration 'buf' definition 'bptr'. whitedb-0.7.3+git200711/Server/dserve_util.c:583:26: note: Function 'sprint_append' argument 1 names different: declaration 'buf' definition 'bptr'. whitedb-0.7.3+git200711/Server/dserve_util.c:46:29: warning: Char literal compared with pointer 'incomp'. Did you intend to dereference it? [charLiteralWithCharPtrCompare] whitedb-0.7.3+git200711/Server/dserve_util.c:57:29: warning: Char literal compared with pointer 'intype'. Did you intend to dereference it? [charLiteralWithCharPtrCompare] whitedb-0.7.3+git200711/Server/dserve_util.c:833:9: style: Variable 'ok' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Server/dserve_util.c:1119:6: style: Variable 'i' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/Test/rtest.c:93:7: style: Condition 'localflag' is always true [knownConditionTrueFalse] whitedb-0.7.3+git200711/Test/rtest.c:90:17: note: Assignment 'localflag=1', assigned value is 1 whitedb-0.7.3+git200711/Test/rtest.c:93:7: note: Condition 'localflag' is always true whitedb-0.7.3+git200711/Test/rtest.c:95:9: style: Condition 'p' is always true [knownConditionTrueFalse] whitedb-0.7.3+git200711/Test/rtest.c:89:9: note: Assignment 'p=2', assigned value is 2 whitedb-0.7.3+git200711/Test/rtest.c:95:9: note: Condition 'p' is always true whitedb-0.7.3+git200711/Test/rtest.c:100:9: style: Condition 'p' is always true [knownConditionTrueFalse] whitedb-0.7.3+git200711/Test/rtest.c:89:9: note: Assignment 'p=2', assigned value is 2 whitedb-0.7.3+git200711/Test/rtest.c:94:9: note: Assuming condition is false whitedb-0.7.3+git200711/Test/rtest.c:100:9: note: Condition 'p' is always true whitedb-0.7.3+git200711/Test/rtest.c:169:7: style: Condition '!tmp' is always true [knownConditionTrueFalse] whitedb-0.7.3+git200711/Test/rtest.c:155:11: note: Assignment 'tmp=0', assigned value is 0 whitedb-0.7.3+git200711/Test/rtest.c:160:12: note: Assuming condition is false whitedb-0.7.3+git200711/Test/rtest.c:169:7: note: Condition '!tmp' is always true whitedb-0.7.3+git200711/Test/rtest.c:103:10: style: The comparison 'tmp == 0' is always true. [knownConditionTrueFalse] whitedb-0.7.3+git200711/Test/rtest.c:88:11: note: 'tmp' is assigned value '0' here. whitedb-0.7.3+git200711/Test/rtest.c:103:10: note: The comparison 'tmp == 0' is always true. whitedb-0.7.3+git200711/Test/rtest.c:135:13: style: Variable 'ottestrlen' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/java/jni/src/native/whitedbDriver.c:358:14: style: Variable 'argc' is assigned a value that is never used. [unreadVariable] whitedb-0.7.3+git200711/json/yajl_all.c:198:35: style:inconclusive: Function 'yajl_status_to_string' argument 1 names different: declaration 'code' definition 'stat'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:73:57: note: Function 'yajl_status_to_string' argument 1 names different: declaration 'code' definition 'stat'. whitedb-0.7.3+git200711/json/yajl_all.c:198:35: note: Function 'yajl_status_to_string' argument 1 names different: declaration 'code' definition 'stat'. whitedb-0.7.3+git200711/json/yajl_all.c:289:19: style:inconclusive: Function 'yajl_parse' argument 3 names different: declaration 'jsonTextLength' definition 'jsonTextLen'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:207:40: note: Function 'yajl_parse' argument 3 names different: declaration 'jsonTextLength' definition 'jsonTextLen'. whitedb-0.7.3+git200711/json/yajl_all.c:289:19: note: Function 'yajl_parse' argument 3 names different: declaration 'jsonTextLength' definition 'jsonTextLen'. whitedb-0.7.3+git200711/json/yajl_all.c:325:55: style:inconclusive: Function 'yajl_get_error' argument 4 names different: declaration 'jsonTextLength' definition 'jsonTextLen'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:232:48: note: Function 'yajl_get_error' argument 4 names different: declaration 'jsonTextLength' definition 'jsonTextLen'. whitedb-0.7.3+git200711/json/yajl_all.c:325:55: note: Function 'yajl_get_error' argument 4 names different: declaration 'jsonTextLength' definition 'jsonTextLen'. whitedb-0.7.3+git200711/json/yajl_all.c:357:27: style:inconclusive: Function 'yajl_string_encode' argument 4 names different: declaration 'length' definition 'len'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_all.h:119:32: note: Function 'yajl_string_encode' argument 4 names different: declaration 'length' definition 'len'. whitedb-0.7.3+git200711/json/yajl_all.c:357:27: note: Function 'yajl_string_encode' argument 4 names different: declaration 'length' definition 'len'. whitedb-0.7.3+git200711/json/yajl_all.c:439:32: style:inconclusive: Function 'yajl_string_decode' argument 3 names different: declaration 'length' definition 'len'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_all.h:123:32: note: Function 'yajl_string_decode' argument 3 names different: declaration 'length' definition 'len'. whitedb-0.7.3+git200711/json/yajl_all.c:439:32: note: Function 'yajl_string_decode' argument 3 names different: declaration 'length' definition 'len'. whitedb-0.7.3+git200711/json/yajl_all.c:592:41: style:inconclusive: Function 'yajl_gen_alloc' argument 1 names different: declaration 'allocFuncs' definition 'afs'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:342:59: note: Function 'yajl_gen_alloc' argument 1 names different: declaration 'allocFuncs' definition 'afs'. whitedb-0.7.3+git200711/json/yajl_all.c:592:41: note: Function 'yajl_gen_alloc' argument 1 names different: declaration 'allocFuncs' definition 'afs'. whitedb-0.7.3+git200711/json/yajl_all.c:623:24: style:inconclusive: Function 'yajl_gen_free' argument 1 names different: declaration 'handle' definition 'g'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:345:38: note: Function 'yajl_gen_free' argument 1 names different: declaration 'handle' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:623:24: note: Function 'yajl_gen_free' argument 1 names different: declaration 'handle' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:696:27: style:inconclusive: Function 'yajl_gen_integer' argument 1 names different: declaration 'hand' definition 'g'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:347:52: note: Function 'yajl_gen_integer' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:696:27: note: Function 'yajl_gen_integer' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:714:26: style:inconclusive: Function 'yajl_gen_double' argument 1 names different: declaration 'hand' definition 'g'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:351:51: note: Function 'yajl_gen_double' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:714:26: note: Function 'yajl_gen_double' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:735:26: style:inconclusive: Function 'yajl_gen_number' argument 1 names different: declaration 'hand' definition 'g'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:352:51: note: Function 'yajl_gen_number' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:735:26: note: Function 'yajl_gen_number' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:735:42: style:inconclusive: Function 'yajl_gen_number' argument 2 names different: declaration 'num' definition 's'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:353:55: note: Function 'yajl_gen_number' argument 2 names different: declaration 'num' definition 's'. whitedb-0.7.3+git200711/json/yajl_all.c:735:42: note: Function 'yajl_gen_number' argument 2 names different: declaration 'num' definition 's'. whitedb-0.7.3+git200711/json/yajl_all.c:735:52: style:inconclusive: Function 'yajl_gen_number' argument 3 names different: declaration 'len' definition 'l'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:354:49: note: Function 'yajl_gen_number' argument 3 names different: declaration 'len' definition 'l'. whitedb-0.7.3+git200711/json/yajl_all.c:735:52: note: Function 'yajl_gen_number' argument 3 names different: declaration 'len' definition 'l'. whitedb-0.7.3+git200711/json/yajl_all.c:745:26: style:inconclusive: Function 'yajl_gen_string' argument 1 names different: declaration 'hand' definition 'g'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:355:51: note: Function 'yajl_gen_string' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:745:26: note: Function 'yajl_gen_string' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:766:24: style:inconclusive: Function 'yajl_gen_null' argument 1 names different: declaration 'hand' definition 'g'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:358:49: note: Function 'yajl_gen_null' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:766:24: note: Function 'yajl_gen_null' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:776:24: style:inconclusive: Function 'yajl_gen_bool' argument 1 names different: declaration 'hand' definition 'g'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:359:49: note: Function 'yajl_gen_bool' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:776:24: note: Function 'yajl_gen_bool' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:788:28: style:inconclusive: Function 'yajl_gen_map_open' argument 1 names different: declaration 'hand' definition 'g'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:360:53: note: Function 'yajl_gen_map_open' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:788:28: note: Function 'yajl_gen_map_open' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:801:29: style:inconclusive: Function 'yajl_gen_map_close' argument 1 names different: declaration 'hand' definition 'g'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:361:54: note: Function 'yajl_gen_map_close' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:801:29: note: Function 'yajl_gen_map_close' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:815:30: style:inconclusive: Function 'yajl_gen_array_open' argument 1 names different: declaration 'hand' definition 'g'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:362:55: note: Function 'yajl_gen_array_open' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:815:30: note: Function 'yajl_gen_array_open' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:827:31: style:inconclusive: Function 'yajl_gen_array_close' argument 1 names different: declaration 'hand' definition 'g'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:363:56: note: Function 'yajl_gen_array_close' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:827:31: note: Function 'yajl_gen_array_close' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:840:27: style:inconclusive: Function 'yajl_gen_get_buf' argument 1 names different: declaration 'hand' definition 'g'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:368:52: note: Function 'yajl_gen_get_buf' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:840:27: note: Function 'yajl_gen_get_buf' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:850:25: style:inconclusive: Function 'yajl_gen_clear' argument 1 names different: declaration 'hand' definition 'g'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_api.h:375:39: note: Function 'yajl_gen_clear' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:850:25: note: Function 'yajl_gen_clear' argument 1 names different: declaration 'hand' definition 'g'. whitedb-0.7.3+git200711/json/yajl_all.c:919:26: style:inconclusive: Function 'yajl_lex_free' argument 1 names different: declaration 'lexer' definition 'lxr'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_all.h:160:38: note: Function 'yajl_lex_free' argument 1 names different: declaration 'lexer' definition 'lxr'. whitedb-0.7.3+git200711/json/yajl_all.c:919:26: note: Function 'yajl_lex_free' argument 1 names different: declaration 'lexer' definition 'lxr'. whitedb-0.7.3+git200711/json/yajl_all.c:1684:28: style:inconclusive: Function 'yajl_do_finish' argument 1 names different: declaration 'handle' definition 'hand'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_all.h:249:28: note: Function 'yajl_do_finish' argument 1 names different: declaration 'handle' definition 'hand'. whitedb-0.7.3+git200711/json/yajl_all.c:1684:28: note: Function 'yajl_do_finish' argument 1 names different: declaration 'handle' definition 'hand'. whitedb-0.7.3+git200711/json/yajl_all.c:1711:27: style:inconclusive: Function 'yajl_do_parse' argument 1 names different: declaration 'handle' definition 'hand'. [funcArgNamesDifferent] whitedb-0.7.3+git200711/json/yajl_all.h:245:27: note: Function 'yajl_do_parse' argument 1 names different: declaration 'handle' definition 'hand'. whitedb-0.7.3+git200711/json/yajl_all.c:1711:27: note: Function 'yajl_do_parse' argument 1 names different: declaration 'handle' definition 'hand'. whitedb-0.7.3+git200711/json/yajl_all.c:491:55: warning: String literal compared with variable 'NULL'. Did you intend to use strcmp() instead? [literalWithCharPtrCompare] whitedb-0.7.3+git200711/Test/dbtest.c:2310:3: error: Found a exit path from function with non-void return type that has missing return statement [missingReturn] whitedb-0.7.3+git200711/Test/dbtest.c:2223:8: style: The if condition is the same as the previous if condition [duplicateCondition] whitedb-0.7.3+git200711/Test/dbtest.c:2220:8: note: First condition whitedb-0.7.3+git200711/Test/dbtest.c:2223:8: note: Second condition whitedb-0.7.3+git200711/Test/dbtest.c:2224:8: style: The if condition is the same as the previous if condition [duplicateCondition] whitedb-0.7.3+git200711/Test/dbtest.c:2223:8: note: First condition whitedb-0.7.3+git200711/Test/dbtest.c:2224:8: note: Second condition whitedb-0.7.3+git200711/Test/dbtest.c:2226:8: style: The if condition is the same as the previous if condition [duplicateCondition] whitedb-0.7.3+git200711/Test/dbtest.c:2224:8: note: First condition whitedb-0.7.3+git200711/Test/dbtest.c:2226:8: note: Second condition whitedb-0.7.3+git200711/Test/dbtest.c:2256:8: style: The if condition is the same as the previous if condition [duplicateCondition] whitedb-0.7.3+git200711/Test/dbtest.c:2255:8: note: First condition whitedb-0.7.3+git200711/Test/dbtest.c:2256:8: note: Second condition whitedb-0.7.3+git200711/Test/dbtest.c:2258:8: style: The if condition is the same as the previous if condition [duplicateCondition] whitedb-0.7.3+git200711/Test/dbtest.c:2256:8: note: First condition whitedb-0.7.3+git200711/Test/dbtest.c:2258:8: note: Second condition whitedb-0.7.3+git200711/Test/dbtest.c:2295:8: style: The if condition is the same as the previous if condition [duplicateCondition] whitedb-0.7.3+git200711/Test/dbtest.c:2294:8: note: First condition whitedb-0.7.3+git200711/Test/dbtest.c:2295:8: note: Second condition whitedb-0.7.3+git200711/Test/dbtest.c:2297:8: style: The if condition is the same as the previous if condition [duplicateCondition] whitedb-0.7.3+git200711/Test/dbtest.c:2295:8: note: First condition whitedb-0.7.3+git200711/Test/dbtest.c:2297:8: note: Second condition whitedb-0.7.3+git200711/Test/dbtest.c:1129:22: warning: Either the condition 'a!=NULL' is redundant or there is possible null pointer dereference: a. [nullPointerRedundantCheck] whitedb-0.7.3+git200711/Test/dbtest.c:1128:8: note: Assuming that condition 'a!=NULL' is not redundant whitedb-0.7.3+git200711/Test/dbtest.c:1129:22: note: Null pointer dereference whitedb-0.7.3+git200711/Test/dbtest.c:2433:7: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch] whitedb-0.7.3+git200711/Test/dbtest.c:2437:9: note: Found duplicate branches for 'if' and 'else'. whitedb-0.7.3+git200711/Test/dbtest.c:2433:7: note: Found duplicate branches for 'if' and 'else'. whitedb-0.7.3+git200711/Test/dbtest.c:634:28: style: Same expression on both sides of '&&' because 'j