2025-05-10 17:57
ftp://ftp.de.debian.org/debian/pool/main/g/gadfly/gadfly_1.0.0.orig.tar.gz
cppcheck-options: --library=posix --library=gnu --library=bsd --library=python  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j1
platform: Linux-6.8.0-59-generic-x86_64-with-glibc2.39
python: 3.12.3
client-version: 1.3.67
compiler: g++ (Ubuntu 14.2.0-4ubuntu2~24.04) 14.2.0
cppcheck: head 2.17.0
head-info: beb3362 (2025-05-10 14:33:23 +0200)
count: 166 166
elapsed-time: 18.1 17.7
head-timing-info:

old-timing-info:

head results:
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:831:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_SystemError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1019:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable availState [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1167:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_SystemError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1198:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_SystemError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1295:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_KeyError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1509:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1736:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_SystemError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1797:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1939:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_SystemError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2029:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_SystemError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2108:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2129:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2187:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2240:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_IndexError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2258:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2299:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2347:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2355:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2385:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2434:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2465:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2538:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2552:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2562:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2578:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2630:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2683:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2755:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2854:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2966:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2971:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2976:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2987:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3011:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3075:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3109:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3137:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3179:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3395:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3491:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyType_Type [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2388:19: style:inconclusive: Boolean expression 'insert!=0' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:914:2: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:913:18: note: outer condition: j<4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:914:2: note: opposite inner condition: j>4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1078:2: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1078:2: note: outer condition: Di<4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1078:2: note: opposite inner condition: Di>4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1079:2: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1079:2: note: outer condition: Di<4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1079:2: note: opposite inner condition: Di>4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1083:4: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1083:4: note: outer condition: Di<4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1083:4: note: opposite inner condition: Di>4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1105:5: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1105:5: note: outer condition: iCCC<4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1105:5: note: opposite inner condition: iCCC>4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1137:5: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1137:5: note: outer condition: Di<4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1137:5: note: opposite inner condition: Di>4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1142:5: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1142:5: note: outer condition: iCCC<4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1142:5: note: opposite inner condition: iCCC>4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1192:5: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1191:14: note: outer condition: i<4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1192:5: note: opposite inner condition: i>4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1412:7: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1412:7: note: outer condition: iCCC<4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1412:7: note: opposite inner condition: iCCC>4
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1412:7: style: Redundant condition: ((long)-1)==hashAAA. 'A || (A && B)' is equivalent to 'A' [redundantCondition]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3023:12: style: Condition 'test!=1' is always false [knownConditionTrueFalse]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3022:22: note: Calling function 'FlagCoercion' returns 1
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3022:22: note: Assignment 'test=FlagCoercion(left->rep.flag,right->rep.flag,&flag,1)', assigned value is 1
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3023:12: note: Condition 'test!=1' is always false
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3091:11: style: Condition 'test!=1' is always false [knownConditionTrueFalse]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3090:22: note: Calling function 'FlagCoercion' returns 1
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3090:22: note: Assignment 'test=FlagCoercion(left->rep.flag,right->rep.flag,&flag,-1)', assigned value is 1
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3091:11: note: Condition 'test!=1' is always false
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3145:11: style: Condition 'test!=1' is always false [knownConditionTrueFalse]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3144:22: note: Calling function 'FlagCoercion' returns 1
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3144:22: note: Assignment 'test=FlagCoercion(Ltable->flag,Rtable->flag,&flag,1)', assigned value is 1
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3145:11: note: Condition 'test!=1' is always false
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:832:5: error: Memory leak: groups.Sgroups [memleak]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:832:5: error: Memory leak: groups.Dgroups [memleak]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2477:15: warning: Either the condition 'deltaSet==NULL' is redundant or there is possible null pointer dereference: deltaSet. [nullPointerRedundantCheck]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2476:17: note: Assuming that condition 'deltaSet==NULL' is not redundant
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2477:15: note: Null pointer dereference
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2478:15: warning: Either the condition 'resultSet==NULL' is redundant or there is possible null pointer dereference: resultSet. [nullPointerRedundantCheck]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2476:40: note: Assuming that condition 'resultSet==NULL' is not redundant
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2478:15: note: Null pointer dereference
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2479:15: warning: Either the condition 'tempSet==NULL' is redundant or there is possible null pointer dereference: tempSet. [nullPointerRedundantCheck]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2476:61: note: Assuming that condition 'tempSet==NULL' is not redundant
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2479:15: note: Null pointer dereference
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1083:4: style: Redundant assignment of 'rootgroupI' to itself. [selfAssignment]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:807:25: style: Variable 'Next' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:848:5: style: Variable 'KNext' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:903:16: style: Variable 'State' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:905:15: style: Variable 'd' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1078:2: style: Variable 'LNextp' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1083:4: style: Variable 'LNextp' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1137:5: style: Variable 'LNextp' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1220:12: style: Variable 'Next' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1221:16: style: Variable 'State' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1284:57: style: Variable 'N' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1288:16: style: Variable 'State' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1350:2: style: Variable 'HNptr' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1352:7: style: Variable 'KNext' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1393:16: style: Variable 'State' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1394:9: style: Variable 'Next' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2850:35: style: Variable 'err_type' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3228:73: style: Parameter 'thing' can be declared as pointer to const. However it seems that 'kjSet_ass_subscript' is a callback function, if 'thing' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3288:24: note: You might need to cast the function pointer here
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3228:73: note: Parameter 'thing' can be declared as pointer to const
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3392:45: style: Variable 'err_type' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1457:5: style: Variable 'dummyh' is assigned a value that is never used. [unreadVariable]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1457:5: style: Variable 'dummyk' is assigned a value that is never used. [unreadVariable]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1761:13: style: Variable 'iskjtable' is assigned a value that is never used. [unreadVariable]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:2316:8: style: Variable 'test' is assigned a value that is never used. [unreadVariable]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:831:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_SystemError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1019:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable availState [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1167:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_SystemError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1198:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_SystemError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1295:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_KeyError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1509:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1736:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_SystemError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1797:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1939:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_SystemError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2029:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_SystemError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2108:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2129:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2187:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2240:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_IndexError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2258:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2299:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2347:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2355:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2385:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2434:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2465:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2538:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2552:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2562:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2578:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2630:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2683:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2755:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2854:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2966:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2971:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2976:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2987:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3011:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3075:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3109:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3137:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3179:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Py_None [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3392:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyExc_TypeError [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3488:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PyType_Type [valueFlowBailoutIncompleteVar]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2388:19: style:inconclusive: Boolean expression 'insert!=0' is used in bitwise operation. Did you mean '&&'? [bitwiseOnBoolean]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:914:2: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:913:18: note: outer condition: j<4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:914:2: note: opposite inner condition: j>4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1078:2: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1078:2: note: outer condition: Di<4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1078:2: note: opposite inner condition: Di>4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1079:2: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1079:2: note: outer condition: Di<4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1079:2: note: opposite inner condition: Di>4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1083:4: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1083:4: note: outer condition: Di<4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1083:4: note: opposite inner condition: Di>4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1105:5: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1105:5: note: outer condition: iCCC<4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1105:5: note: opposite inner condition: iCCC>4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1137:5: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1137:5: note: outer condition: Di<4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1137:5: note: opposite inner condition: Di>4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1142:5: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1142:5: note: outer condition: iCCC<4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1142:5: note: opposite inner condition: iCCC>4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1192:5: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1191:14: note: outer condition: i<4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1192:5: note: opposite inner condition: i>4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1412:7: warning: Opposite inner 'if' condition leads to a dead code block. [oppositeInnerCondition]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1412:7: note: outer condition: iCCC<4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1412:7: note: opposite inner condition: iCCC>4
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1412:7: style: Redundant condition: ((long)-1)==hashAAA. 'A || (A && B)' is equivalent to 'A' [redundantCondition]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3023:12: style: Condition 'test!=1' is always false [knownConditionTrueFalse]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3022:22: note: Calling function 'FlagCoercion' returns 1
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3022:22: note: Assignment 'test=FlagCoercion(left->rep.flag,right->rep.flag,&flag,1)', assigned value is 1
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3023:12: note: Condition 'test!=1' is always false
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3091:11: style: Condition 'test!=1' is always false [knownConditionTrueFalse]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3090:22: note: Calling function 'FlagCoercion' returns 1
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3090:22: note: Assignment 'test=FlagCoercion(left->rep.flag,right->rep.flag,&flag,-1)', assigned value is 1
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3091:11: note: Condition 'test!=1' is always false
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3145:11: style: Condition 'test!=1' is always false [knownConditionTrueFalse]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3144:22: note: Calling function 'FlagCoercion' returns 1
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3144:22: note: Assignment 'test=FlagCoercion(Ltable->flag,Rtable->flag,&flag,1)', assigned value is 1
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3145:11: note: Condition 'test!=1' is always false
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:832:5: error: Memory leak: groups.Sgroups [memleak]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:832:5: error: Memory leak: groups.Dgroups [memleak]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2477:15: warning: Either the condition 'deltaSet==NULL' is redundant or there is possible null pointer dereference: deltaSet. [nullPointerRedundantCheck]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2476:17: note: Assuming that condition 'deltaSet==NULL' is not redundant
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2477:15: note: Null pointer dereference
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2478:15: warning: Either the condition 'resultSet==NULL' is redundant or there is possible null pointer dereference: resultSet. [nullPointerRedundantCheck]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2476:40: note: Assuming that condition 'resultSet==NULL' is not redundant
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2478:15: note: Null pointer dereference
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2479:15: warning: Either the condition 'tempSet==NULL' is redundant or there is possible null pointer dereference: tempSet. [nullPointerRedundantCheck]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2476:61: note: Assuming that condition 'tempSet==NULL' is not redundant
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2479:15: note: Null pointer dereference
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1083:4: style: Redundant assignment of 'rootgroupI' to itself. [selfAssignment]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:807:25: style: Variable 'Next' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:848:5: style: Variable 'KNext' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:903:16: style: Variable 'State' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:905:15: style: Variable 'd' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1078:2: style: Variable 'LNextp' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1083:4: style: Variable 'LNextp' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1137:5: style: Variable 'LNextp' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1220:12: style: Variable 'Next' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1221:16: style: Variable 'State' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1284:57: style: Variable 'N' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1288:16: style: Variable 'State' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1350:2: style: Variable 'HNptr' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1352:7: style: Variable 'KNext' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1393:16: style: Variable 'State' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1394:9: style: Variable 'Next' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2850:35: style: Variable 'err_type' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3228:73: style: Parameter 'thing' can be declared as pointer to const. However it seems that 'kjSet_ass_subscript' is a callback function, if 'thing' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3288:24: note: You might need to cast the function pointer here
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3228:73: note: Parameter 'thing' can be declared as pointer to const
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3389:45: style: Variable 'err_type' can be declared as pointer to const [constVariablePointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1457:5: style: Variable 'dummyh' is assigned a value that is never used. [unreadVariable]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1457:5: style: Variable 'dummyk' is assigned a value that is never used. [unreadVariable]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1761:13: style: Variable 'iskjtable' is assigned a value that is never used. [unreadVariable]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:2316:8: style: Variable 'test' is assigned a value that is never used. [unreadVariable]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1165:26: error: Null pointer dereference: tp [ctunullpointer]
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:3051:19: note: Calling function Tintdiff, 1st argument is null
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1614:9: note: Calling function TableGet1, 1st argument is null
gadfly-1.0.0/kjbuckets/2.1/kjbucketsmodule.c:1165:26: note: Dereferencing argument tp that is null
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1165:26: error: Null pointer dereference: tp [ctunullpointer]
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:3051:19: note: Calling function Tintdiff, 1st argument is null
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1614:9: note: Calling function TableGet1, 1st argument is null
gadfly-1.0.0/kjbuckets/kjbucketsmodule.c:1165:26: note: Dereferencing argument tp that is null
diff:


DONE