2024-03-27 11:52 ftp://ftp.de.debian.org/debian/pool/main/i/ikarus/ikarus_0.0.3+bzr.2010.01.26+bap.1.orig.tar.xz cppcheck-options: --library=posix --library=gnu --showtime=top5 --check-library --inconclusive --enable=style,information --inline-suppr --disable=missingInclude --suppress=unmatchedSuppression --template=daca2 --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=valueFlowBailoutIncompleteVar -D__GNUC__ --platform=unix64 -j4 platform: Linux-6.1.0-0.deb11.6-amd64-x86_64-with-glibc2.31 python: 3.9.2 client-version: 1.3.45 compiler: g++ (Debian 10.2.1-6) 10.2.1 20210110 cppcheck: head 2.13.0 head-info: 99853e4 (2024-03-27 05:16:23 +0100) count: 366 351 elapsed-time: 7.4 9.2 head-timing-info: Tokenizer::simplifyTokens1::ValueFlow: 6.65328s (avg. 6.65328s - 1 result(s)) valueFlowAfterAssign(tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 2.82298s (avg. 0.940993s - 3 result(s)) valueFlowSymbolic(tokenlist, symboldatabase, errorLogger, settings): 1.26731s (avg. 1.26731s - 1 result(s)) valueFlowCondition(SimpleConditionHandler{}, tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 1.26597s (avg. 0.421991s - 3 result(s)) valueFlowLifetime(tokenlist, errorLogger, settings): 0.634167s (avg. 0.158542s - 4 result(s)) Overall time: 7.12037s old-timing-info: Tokenizer::simplifyTokens1::ValueFlow: 8.77438s (avg. 8.77438s - 1 result(s)) valueFlowCondition(SimpleConditionHandler{}, tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 7.51684s (avg. 2.50561s - 3 result(s)) valueFlowAfterAssign(tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 0.667243s (avg. 0.222414s - 3 result(s)) valueFlowSubFunction(tokenlist, symboldatabase, errorLogger, *settings): 0.249795s (avg. 0.083265s - 3 result(s)) valueFlowSymbolic(tokenlist, symboldatabase, settings): 0.194275s (avg. 0.194275s - 1 result(s)) Overall time: 8.85669s head results: ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/cat.c:8:15: style: Variable 'infile' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/cat.c:9:15: style: Variable 'outfile' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/diviter.c:106:8: style: Local variable 'result' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/diviter.c:62:5: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/diviter.c:106:8: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/diviter.c:152:8: style: Local variable 'result' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/diviter.c:62:5: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/diviter.c:152:8: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/diviter.c:153:8: style: Local variable 'll' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/diviter.c:101:7: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/diviter.c:153:8: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/array1.c:4:26: style: Parameter 'argv' can be declared as const array [constParameter] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/divrec.c:105:8: style: Local variable 'result' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/divrec.c:62:5: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/divrec.c:105:8: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/divrec.c:153:8: style: Local variable 'result' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/divrec.c:62:5: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/divrec.c:153:8: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/divrec.c:154:8: style: Local variable 'll' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/divrec.c:100:7: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/divrec.c:154:8: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/fib.c:14:27: style: Parameter 'argv' can be declared as const array [constParameter] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/fibfp.c:15:27: style: Parameter 'argv' can be declared as const array [constParameter] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/gcbench.c:143:1: portability: Omitted return type of function 'main' defaults to int, this is not supported by ISO C99 and later standards. [returnImplicitInt] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/ntakl.c:153:7: style: Parameter 'argv' can be declared as const array [constParameter] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/mbrot.c:55:27: style: Parameter 'argv' can be declared as const array [constParameter] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/gcbench.c:152:9: portability: %d in format string (no. 1) requires 'int' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/gcbench.c:134:26: style: Variable 'tempTree' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/gcbench.c:139:26: style: Variable 'tempTree' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/gcbench.c:123:17: style: Unused variable: tStart [unusedVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/gcbench.c:123:25: style: Unused variable: tFinish [unusedVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/gcbench.c:162:18: style: Variable 'tempTree' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/gcbench.c:144:17: style: Unused variable: root [unusedVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/pnpoly.c:15:37: style: Parameter 'xp' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/pnpoly.c:15:49: style: Parameter 'yp' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/pnpoly.c:51:27: style: Parameter 'argv' can be declared as const array [constParameter] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/perm9.c:244:20: error: sscanf format string requires 2 parameters but only 1 is given. [wrongPrintfScanfArgNum] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/perm9.c:477:12: style: Local variable 'x' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/perm9.c:301:10: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/perm9.c:477:12: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/perm9.c:548:21: style: Parameter 'msg' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/fft.c:0:0: debug: ValueFlow maximum iterations exceeded [valueFlowMaxIterations] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/string.c:29:9: portability: %d in format string (no. 1) requires 'int' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/string.c:5:26: style: Parameter 'argv' can be declared as const array [constParameter] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/sum.c:18:27: style: Parameter 'argv' can be declared as const array [constParameter] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/sum1.c:7:15: style: Variable 'infile' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/sumfp.c:20:27: style: Parameter 'argv' can be declared as const array [constParameter] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/tail.c:28:25: error: Common realloc mistake: 'lp' nulled but not freed upon failure [memleakOnRealloc] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/tail.c:13:15: style: Variable 'infile' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/tail.c:14:15: style: Variable 'outfile' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/tak.c:18:7: style: Parameter 'argv' can be declared as const array [constParameter] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/takl.c:153:7: style: Parameter 'argv' can be declared as const array [constParameter] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/wc.c:10:15: style: Variable 'infile' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/triangl.c:143:6: style: Parameter 'v' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/puzzle.c:366:7: style: Parameter 'argv' can be declared as const array [constParameter] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/puzzle.c:295:21: warning: Uninitialized variable: index [uninitvar] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/puzzle.c:287:15: note: Assuming condition is false ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/puzzle.c:295:21: note: Uninitialized variable: index ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/puzzle.c:268:16: style: Variable 'k' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/puzzle.c:352:5: style: Unused variable: i [unusedVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/lab/prof/main.c:13:18: style: Parameter 'name' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:52:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:53:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:54:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:55:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:56:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:57:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:58:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:59:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:60:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:61:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:62:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:63:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:64:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:65:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:66:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:67:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:68:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:69:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:70:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:71:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:72:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:73:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:74:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:75:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:76:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:77:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:78:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:79:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:80:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:81:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:82:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:83:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:84:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:85:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:86:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:87:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:88:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:89:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:90:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:91:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:92:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:93:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:94:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:95:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:96:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:97:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:98:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:99:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:100:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:101:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:102:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:103:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:104:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:105:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:106:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:107:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:108:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:109:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:110:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:111:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:112:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:113:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:114:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:115:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:116:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:117:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:118:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:119:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:120:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:121:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:122:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:123:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:124:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:125:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:126:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:127:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:128:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:129:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:130:42: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:147:10: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:160:15: style: Variable 'ei' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:180:15: style: Variable 'ei' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-errno.c:186:13: style: Variable 'es' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:37:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:43:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:49:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:58:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:66:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:74:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:82:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:90:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:98:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:106:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:114:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:122:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:130:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:138:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:146:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:154:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:162:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:170:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:178:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:186:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:194:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:202:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:210:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:218:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:226:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:234:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:242:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:250:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:258:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:266:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:276:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:284:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:290:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:296:6: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:305:6: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-flonums.c:314:6: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-getaddrinfo.c:35:26: portability: Non reentrant function 'getservbyname' called. For threadsafe applications it is recommended to use the reentrant replacement function 'getservbyname_r'. [prohibitedgetservbynameCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-getaddrinfo.c:37:26: style: Obsolescent function 'gethostbyname' called. It is recommended to use 'getaddrinfo' instead. [prohibitedgethostbynameCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-getaddrinfo.c:35:19: style: Variable 'sent' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-io.c:395:24: portability: Non reentrant function 'readdir' called. For threadsafe applications it is recommended to use the reentrant replacement function 'readdir_r'. [prohibitedreaddirCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-io.c:237:5: error: Resource leak: sock [resourceLeak] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-io.c:243:5: error: Resource leak: sock [resourceLeak] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-io.c:248:5: error: Resource leak: sock [resourceLeak] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-io.c:170:13: style: Local variable 'err' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-io.c:149:7: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-io.c:170:13: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-io.c:302:38: style: Parameter 's' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-io.c:395:18: style: Variable 'ent' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-io.c:283:34: style: Variable '((unsigned long*)(((long)(bv))+((long)(0-2))))[0]' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-main.c:123:8: style: Redundant assignment of 'signo' to itself. [selfAssignment] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-main.c:123:20: style: Redundant assignment of 'info' to itself. [selfAssignment] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-main.c:123:30: style: Redundant assignment of 'uap' to itself. [selfAssignment] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-main.c:124:29: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-main.c:41:19: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-main.c:71:13: style: Variable 's' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-main.c:123:20: style: Variable 'info' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-main.c:123:30: style: Variable 'uap' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/nucleic.c:2859:21: style: Local variable 'm' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/nucleic.c:3248:7: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/nucleic.c:2859:21: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/nucleic.c:3020:21: style: Local variable 'm' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/nucleic.c:3248:7: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/nucleic.c:3020:21: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/nucleic.c:3312:27: style: Parameter 'argv' can be declared as const array [constParameter] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-pointers.c:315:3: style: Obsolescent function 'bcopy' called. It is recommended to use 'memcpy' or 'memmove' instead. [prohibitedbcopyCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-pointers.c:213:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-pointers.c:221:26: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-pointers.c:238:27: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-pointers.c:323:3: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-pointers.c:256:25: style:inconclusive: Function 's_to_number' argument 1 names different: declaration 'x' definition 'n'. [funcArgNamesDifferent] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-data.h:213:31: note: Function 's_to_number' argument 1 names different: declaration 'x' definition 'n'. ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-pointers.c:256:25: note: Function 's_to_number' argument 1 names different: declaration 'x' definition 'n'. ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-pointers.c:320:20: style:inconclusive: Function 'd_to_number' argument 1 names different: declaration 'x' definition 'n'. [funcArgNamesDifferent] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-data.h:214:26: note: Function 'd_to_number' argument 1 names different: declaration 'x' definition 'n'. ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-pointers.c:320:20: note: Function 'd_to_number' argument 1 names different: declaration 'x' definition 'n'. ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-pointers.c:9:33: style: Parameter 'pcb' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-pointers.c:85:9: style: Variable 'str' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-pointers.c:105:9: style: Variable 'name' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-pointers.c:155:9: style: Variable 'src_ptr' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-pointers.c:166:9: style: Variable 'src_ptr' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-pointers.c:205:17: style: Variable '((unsigned long*)(((long)(ptr))+((long)(idx))))[0]' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-print.c:108:13: style: Variable 'data' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-print.c:147:11: style: Variable 'data' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-print.c:162:20: style: Variable 'data' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-process.c:82:5: error: Common realloc mistake: 'path' nulled but not freed upon failure [memleakOnRealloc] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-process.c:275:25: style: Parameter 's' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-process.c:277:16: style: Variable 'p' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:804:5: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1201:7: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1595:3: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1625:5: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1636:5: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:387:51: style: Operator '|' with one operand equal to zero is redundant. [badBitmaskCheck] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:834:51: style: Operator '|' with one operand equal to zero is redundant. [badBitmaskCheck] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1463:12: style: Condition 'n==n1' is always false [knownConditionTrueFalse] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1453:13: note: n is assigned '(n1>n2)?n1:n2' here. ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1463:12: note: Condition 'n==n1' is always false ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:2008:5: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:2010:5: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:2073:5: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:2075:5: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1559:7: style: Statements following 'return' will never be executed. [unreachableCode] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:426:17: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:996:16: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1007:20: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1014:14: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1025:16: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1036:20: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1522:14: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1553:19: portability: Shifting a negative value is technically undefined behaviour [shiftNegativeLHS] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1210:18: style: Local variable 's1' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1195:16: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1210:18: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:44:30: style: Parameter 'caller' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1049:37: style: Parameter 'x' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1061:23: style: Parameter 'src' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1069:28: style: Parameter 'src' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1081:29: style: Parameter 'src' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1099:34: style: Parameter 'src' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1114:39: style: Parameter 'src' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1125:35: style: Parameter 's1' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1125:50: style: Parameter 's2' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1139:34: style: Parameter 's1' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1139:49: style: Parameter 's2' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1153:23: style: Parameter 's' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1181:16: style: Variable 's1' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1195:16: style: Variable 's1' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1210:18: style: Variable 's1' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1458:18: style: Variable 's1' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1459:18: style: Variable 's2' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1484:37: style: Parameter 'src' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1496:36: style: Parameter 'src' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1843:14: style: Variable 'sp' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:1953:22: style: Parameter 'start' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:2128:10: style: Variable 'buf' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:2139:14: style: Variable 'dat' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:280:7: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:269:14: style: Condition 'idxmarks_size' is always true [knownConditionTrueFalse] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:265:14: note: Assuming that condition 'idx>=p->marks_size' is not redundant ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:269:14: note: Condition 'idxmarks_size' is always true ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:962:7: style: Variable 'r' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:333:12: style: Redundant initialization for 'i'. The initialized value is overwritten before it is read. [redundantInitialization] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:332:18: note: i is initialized ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:333:12: note: i is overwritten ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:968:7: style: Variable 'r' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:53:37: style:inconclusive: Function 'ik_fasl_load' argument 2 names different: declaration 'filename' definition 'fasl_file'. [funcArgNamesDifferent] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-data.h:192:37: note: Function 'ik_fasl_load' argument 2 names different: declaration 'filename' definition 'fasl_file'. ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:53:37: note: Function 'ik_fasl_load' argument 2 names different: declaration 'filename' definition 'fasl_file'. ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:146:14: style: Local variable 'asize' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:127:12: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:146:14: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:352:14: style: Local variable 'c' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:253:8: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:352:14: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:53:37: style: Parameter 'fasl_file' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:199:13: style: Variable 'name' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:208:13: style: Variable 'err' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:330:22: style: Variable 'pi' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:245:7: style: struct member 'code_header::code_size' is never used. [unusedStructMember] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:246:7: style: struct member 'code_header::reloc_size' is never used. [unusedStructMember] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:247:9: style: struct member 'code_header::closure_size' is never used. [unusedStructMember] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-symbol-table.c:30:3: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-symbol-table.c:146:11: style: Local variable 'sym' shadows outer argument [shadowArgument] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-symbol-table.c:134:26: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-symbol-table.c:146:11: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-symbol-table.c:42:8: style: Variable 'last' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-symbol-table.c:163:40: style: Parameter 'pcb' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-symbol-table.c:181:19: style: Variable '((unsigned long*)(((long)(loc))+((long)(0))))[0]' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:69:5: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:77:5: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:96:5: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:102:5: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:288:3: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:334:5: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:338:5: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:627:10: portability: Non reentrant function 'readdir' called. For threadsafe applications it is recommended to use the reentrant replacement function 'readdir_r'. [prohibitedreaddirCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:783:3: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:815:9: portability: Non reentrant function 'localtime' called. For threadsafe applications it is recommended to use the reentrant replacement function 'localtime_r'. [prohibitedlocaltimeCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:901:18: portability: Non reentrant function 'gmtime' called. For threadsafe applications it is recommended to use the reentrant replacement function 'gmtime_r'. [prohibitedgmtimeCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:823:14: warning: Either the condition 'tmp==NULL' is redundant or there is possible null pointer dereference: tmp. [nullPointerRedundantCheck] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:816:10: note: Assuming that condition 'tmp==NULL' is not redundant ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:823:14: note: Null pointer dereference ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:378:20: style: Local variable 'p' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:367:11: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:378:20: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:416:11: style: Local variable 'ap' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:407:9: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:416:11: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:417:11: style: Local variable 'ep' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:408:9: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:417:11: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:418:11: style: Local variable 'nap' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:409:9: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:418:11: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:68:11: style: Same expression on both sides of '&'. [duplicateExpression] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:77:4: style: Redundant assignment of 'x' to itself. [selfAssignment] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:77:12: style: Redundant assignment of 'base' to itself. [selfAssignment] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:77:23: style: Redundant assignment of 'svec' to itself. [selfAssignment] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:77:34: style: Redundant assignment of 'dvec' to itself. [selfAssignment] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:85:4: style: Redundant assignment of 's' to itself. [selfAssignment] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:85:9: style: Redundant assignment of 'd' to itself. [selfAssignment] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:112:80: style: Parameter 'pcb' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:117:17: style: Variable 'q' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:133:17: style: Variable 'q' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:309:13: style: Variable 'e' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:388:17: style: Variable 'segment_vec' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:548:18: style: Variable 'q' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:559:9: style: Variable 'fn' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:602:9: style: Variable 'str' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:619:18: style: Variable 'de' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:108:4: style: Redundant assignment of 's' to itself. [selfAssignment] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:696:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:108:9: style: Redundant assignment of 'd' to itself. [selfAssignment] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:794:58: style: Parameter 'pcb' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:802:58: style: Parameter 'pcb' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:813:14: style: Variable 'tmp' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:925:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:992:16: style: Variable 'e' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:1049:9: style: Variable 'path' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:1070:9: style: Variable 'fn' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:1099:9: style: Variable 'fn' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:1133:32: style: Parameter 'pcb' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:149:4: style: Redundant assignment of 's' to itself. [selfAssignment] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:149:9: style: Redundant assignment of 'd' to itself. [selfAssignment] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:49:48: style: Parameter 'svec' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:49:68: style: Parameter 'dvec' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:203:36: style: Parameter 'where' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:206:9: style: Variable 'mem_end' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:77:4: style: Variable 'x' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:77:12: style: Variable 'base' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:77:23: style: Variable 'svec' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:77:34: style: Variable 'dvec' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:85:4: style: Variable 's' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:85:9: style: Variable 'd' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:108:4: style: Variable 's' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:108:9: style: Variable 'd' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:149:4: style: Variable 's' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:149:9: style: Variable 'd' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus.c:32:16: style: Variable 'helpstring' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/scheme-script.c:32:16: style: Variable 'helpstring' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:187:3: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:268:5: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:303:3: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:408:3: style: Obsolescent function 'bzero' called. It is recommended to use 'memset' instead. [prohibitedbzeroCalled] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:416:3: warning: %ld in format string (no. 1) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:416:3: warning: %ld in format string (no. 2) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:517:5: warning: %ld in format string (no. 1) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:517:5: warning: %ld in format string (no. 2) requires 'long' but the argument type is 'unsigned long'. [invalidPrintfArgType_sint] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1228:7: portability: Casting between char * and double * which have an incompatible binary data representation. [invalidPointerCast] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:992:10: style: Redundant assignment of 'caller' to itself. [selfAssignment] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:818:54: style:inconclusive: Function 'collect_stack' argument 3 names different: declaration 'base' definition 'end'. [funcArgNamesDifferent] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:333:51: note: Function 'collect_stack' argument 3 names different: declaration 'base' definition 'end'. ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:818:54: note: Function 'collect_stack' argument 3 names different: declaration 'base' definition 'end'. ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:780:14: style: Local variable 'idx' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:767:12: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:780:14: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1204:13: style: Local variable 'gen' shadows outer variable [shadowVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1010:7: note: Shadowed declaration ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1204:13: note: Shadow variable ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:904:13: style: Variable 'mask' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1555:15: style: Variable 'meta' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1564:15: style: Variable 'meta' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1573:15: style: Variable 'meta' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1582:15: style: Variable 'meta' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1591:15: style: Variable 'meta' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1604:17: style: Variable 'segment_vec' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1605:10: style: Variable 'pcb' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1663:17: style: Variable 'segment_vec' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1705:17: style: Variable 'segment_vec' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1750:10: style: Variable 'pcb' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1753:17: style: Variable 'dirty_vec' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1754:17: style: Variable 'segment_vec' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1802:17: style: Variable 'segment_vec' can be declared as pointer to const [constVariablePointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1848:22: style: Parameter 'pcb' can be declared as pointer to const [constParameterPointer] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:308:13: style: Variable '((unsigned long*)(((long)(ap))+((long)(0))))[0]' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:320:15: style: Variable '((unsigned long*)(((long)(ap))+((long)(0))))[0]' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:509:20: style: Variable 'old_heap_pages' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:637:14: style: Variable 'tc' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:992:10: style: Variable 'caller' is assigned a value that is never used. [unreadVariable] ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1860:30: style: Variable '((unsigned long*)(((long)(tcbucket))+((long)(-5))))[0]' is assigned a value that is never used. [unreadVariable] diff: head ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/fft.c:0:0: debug: ValueFlow maximum iterations exceeded [valueFlowMaxIterations] head ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/mbrot.c:55:27: style: Parameter 'argv' can be declared as const array [constParameter] head ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/ntakl.c:153:7: style: Parameter 'argv' can be declared as const array [constParameter] head ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/nucleic.c:3312:27: style: Parameter 'argv' can be declared as const array [constParameter] head ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/pnpoly.c:51:27: style: Parameter 'argv' can be declared as const array [constParameter] head ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/puzzle.c:366:7: style: Parameter 'argv' can be declared as const array [constParameter] head ikarus-0.0.3+bzr.2010.01.26+bap.1/benchmarks.larceny/src/takl.c:153:7: style: Parameter 'argv' can be declared as const array [constParameter] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1605:10: style: Variable 'pcb' can be declared as pointer to const [constVariablePointer] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1750:10: style: Variable 'pcb' can be declared as pointer to const [constVariablePointer] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:1848:22: style: Parameter 'pcb' can be declared as pointer to const [constParameterPointer] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:992:10: style: Redundant assignment of 'caller' to itself. [selfAssignment] 2.13.0 ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-collect.c:992:10: warning: Redundant assignment of 'caller' to itself. [selfAssignment] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-fasl.c:330:22: style: Variable 'pi' can be declared as pointer to const [constVariablePointer] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-main.c:123:20: style: Redundant assignment of 'info' to itself. [selfAssignment] 2.13.0 ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-main.c:123:20: warning: Redundant assignment of 'info' to itself. [selfAssignment] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-main.c:123:30: style: Redundant assignment of 'uap' to itself. [selfAssignment] 2.13.0 ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-main.c:123:30: warning: Redundant assignment of 'uap' to itself. [selfAssignment] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-main.c:123:8: style: Redundant assignment of 'signo' to itself. [selfAssignment] 2.13.0 ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-main.c:123:8: warning: Redundant assignment of 'signo' to itself. [selfAssignment] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-numerics.c:2128:10: style: Variable 'buf' can be declared as pointer to const [constVariablePointer] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-pointers.c:9:33: style: Parameter 'pcb' can be declared as pointer to const [constParameterPointer] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:794:58: style: Parameter 'pcb' can be declared as pointer to const [constParameterPointer] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-runtime.c:802:58: style: Parameter 'pcb' can be declared as pointer to const [constParameterPointer] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:108:4: style: Redundant assignment of 's' to itself. [selfAssignment] 2.13.0 ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:108:4: warning: Redundant assignment of 's' to itself. [selfAssignment] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:108:9: style: Redundant assignment of 'd' to itself. [selfAssignment] 2.13.0 ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:108:9: warning: Redundant assignment of 'd' to itself. [selfAssignment] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:149:4: style: Redundant assignment of 's' to itself. [selfAssignment] 2.13.0 ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:149:4: warning: Redundant assignment of 's' to itself. [selfAssignment] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:149:9: style: Redundant assignment of 'd' to itself. [selfAssignment] 2.13.0 ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:149:9: warning: Redundant assignment of 'd' to itself. [selfAssignment] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:77:12: style: Redundant assignment of 'base' to itself. [selfAssignment] 2.13.0 ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:77:12: warning: Redundant assignment of 'base' to itself. [selfAssignment] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:77:23: style: Redundant assignment of 'svec' to itself. [selfAssignment] 2.13.0 ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:77:23: warning: Redundant assignment of 'svec' to itself. [selfAssignment] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:77:34: style: Redundant assignment of 'dvec' to itself. [selfAssignment] 2.13.0 ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:77:34: warning: Redundant assignment of 'dvec' to itself. [selfAssignment] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:77:4: style: Redundant assignment of 'x' to itself. [selfAssignment] 2.13.0 ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:77:4: warning: Redundant assignment of 'x' to itself. [selfAssignment] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:85:4: style: Redundant assignment of 's' to itself. [selfAssignment] 2.13.0 ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:85:4: warning: Redundant assignment of 's' to itself. [selfAssignment] head ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:85:9: style: Redundant assignment of 'd' to itself. [selfAssignment] 2.13.0 ikarus-0.0.3+bzr.2010.01.26+bap.1/src/ikarus-verify-integrity.c:85:9: warning: Redundant assignment of 'd' to itself. [selfAssignment] DONE