2025-07-04 10:54 ftp://ftp.de.debian.org/debian/pool/main/libm/libmarpa-r2-perl/libmarpa-r2-perl_2.086000~dfsg.orig.tar.gz cppcheck-options: --library=posix --library=gnu --library=bsd --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 -j6 platform: Linux-6.1.0-37-amd64-x86_64-with-glibc2.36 python: 3.11.2 client-version: 1.3.67 compiler: g++ (Debian 12.2.0-14+deb12u1) 12.2.0 cppcheck: head 2.17.0 head-info: a214e76 (2025-07-03 20:23:32 +0200) count: 74 63 elapsed-time: 0.7 0.7 head-timing-info: old-timing-info: head results: Marpa-R2-2.086000~dfsg/libmarpa/obs/marpa_obs.c:113:40: style:inconclusive: Function 'marpa__obs_free' argument 1 names different: declaration '__obstack' definition 'h'. [funcArgNamesDifferent] Marpa-R2-2.086000~dfsg/libmarpa/obs/marpa_obs.h:93:45: note: Function 'marpa__obs_free' argument 1 names different: declaration '__obstack' definition 'h'. Marpa-R2-2.086000~dfsg/libmarpa/obs/marpa_obs.c:113:40: note: Function 'marpa__obs_free' argument 1 names different: declaration '__obstack' definition 'h'. Marpa-R2-2.086000~dfsg/libmarpa/tavl/tavl-test.c:71:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] marpa_ami.w:561:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:138:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:339:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RAND_MAX [valueFlowBailoutIncompleteVar] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:849:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:870:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RAND_MAX [valueFlowBailoutIncompleteVar] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:1020:72: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] Marpa-R2-2.086000~dfsg/libmarpa/avl/marpa_avl.c:47:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marpa_obs_init [valueFlowBailoutIncompleteVar] Marpa-R2-2.086000~dfsg/libmarpa/avl/marpa_avl.c:231:12: style: Condition 'p==NULL' is always false [knownConditionTrueFalse] Marpa-R2-2.086000~dfsg/libmarpa/avl/marpa_avl.c:241:9: style: Condition 'p==NULL' is always false [knownConditionTrueFalse] Marpa-R2-2.086000~dfsg/libmarpa/avl/marpa_avl.c:427:9: style: Condition 'p!=NULL' is always true [knownConditionTrueFalse] Marpa-R2-2.086000~dfsg/libmarpa/avl/marpa_avl.c:363:25: warning: Either the condition 'trav!=NULL' is redundant or there is possible null pointer dereference: trav. [nullPointerRedundantCheck] Marpa-R2-2.086000~dfsg/libmarpa/avl/marpa_avl.c:365:16: note: Assuming that condition 'trav!=NULL' is not redundant Marpa-R2-2.086000~dfsg/libmarpa/avl/marpa_avl.c:363:25: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/avl/marpa_avl.c:422:25: warning: Either the condition 'trav!=NULL' is redundant or there is possible null pointer dereference: trav. [nullPointerRedundantCheck] Marpa-R2-2.086000~dfsg/libmarpa/avl/marpa_avl.c:424:16: note: Assuming that condition 'trav!=NULL' is not redundant Marpa-R2-2.086000~dfsg/libmarpa/avl/marpa_avl.c:422:25: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/avl/marpa_avl.c:404:54: style: Parameter 'sought_item' can be declared as pointer to const [constParameterPointer] marpa.w:16242:1: error: There is an unknown macro here somewhere. Configuration is required. If MARPA_ASSERT is a macro then please configure it. [unknownMacro] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:214:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mt [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assignment 'mt=xmalloc(sizeof(*mt))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:214:3: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:215:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mt [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assignment 'mt=xmalloc(sizeof(*mt))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:215:3: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:217:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mt [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assignment 'mt=xmalloc(sizeof(*mt))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:217:3: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:218:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mt [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assignment 'mt=xmalloc(sizeof(*mt))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:218:3: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:219:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mt [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assignment 'mt=xmalloc(sizeof(*mt))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:219:3: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:220:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mt [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assignment 'mt=xmalloc(sizeof(*mt))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:220:3: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:222:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mt [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assignment 'mt=xmalloc(sizeof(*mt))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:222:3: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:222:14: warning: If memory allocation fails, then there is a possible null pointer dereference: mt [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assignment 'mt=xmalloc(sizeof(*mt))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:222:14: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:223:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mt [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assignment 'mt=xmalloc(sizeof(*mt))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:223:3: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:224:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mt [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assignment 'mt=xmalloc(sizeof(*mt))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:224:3: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:278:3: warning: If memory allocation fails, then there is a possible null pointer dereference: new [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:277:17: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:277:17: note: Assignment 'new=xmalloc(sizeof(*new))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:278:3: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:279:3: warning: If memory allocation fails, then there is a possible null pointer dereference: new [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:277:17: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:277:17: note: Assignment 'new=xmalloc(sizeof(*new))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:279:3: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:280:3: warning: If memory allocation fails, then there is a possible null pointer dereference: new [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:277:17: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:277:17: note: Assignment 'new=xmalloc(sizeof(*new))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:280:3: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:281:3: warning: If memory allocation fails, then there is a possible null pointer dereference: new [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:277:17: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:277:17: note: Assignment 'new=xmalloc(sizeof(*new))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:281:3: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:282:3: warning: If memory allocation fails, then there is a possible null pointer dereference: new [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:277:17: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:277:17: note: Assignment 'new=xmalloc(sizeof(*new))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:282:3: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:298:10: warning: If memory allocation fails, then there is a possible null pointer dereference: new [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:277:17: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:277:17: note: Assignment 'new=xmalloc(sizeof(*new))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:298:10: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:440:3: warning: If memory allocation fails, then there is a possible null pointer dereference: state [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:439:19: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:439:19: note: Assignment 'state=xmalloc(sizeof(*state))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:440:3: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:441:3: warning: If memory allocation fails, then there is a possible null pointer dereference: state [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:439:19: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:439:19: note: Assignment 'state=xmalloc(sizeof(*state))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:441:3: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:442:3: warning: If memory allocation fails, then there is a possible null pointer dereference: state [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:439:19: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:439:19: note: Assignment 'state=xmalloc(sizeof(*state))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:442:3: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:118:53: style: Parameter 'param' can be declared as pointer to const [constParameterPointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:210:39: style: Parameter 'arg' can be declared as const array [constParameter] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:992:18: style: Variable 'ptr' can be declared as pointer to const [constVariablePointer] marpa_slif.w:752:1: error: There is an unknown macro here somewhere. Configuration is required. If MARPA_ASSERT is a macro then please configure it. [unknownMacro] Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_obs.c:113:40: style:inconclusive: Function 'marpa__obs_free' argument 1 names different: declaration '__obstack' definition 'h'. [funcArgNamesDifferent] Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_obs.h:93:45: note: Function 'marpa__obs_free' argument 1 names different: declaration '__obstack' definition 'h'. Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_obs.c:113:40: note: Function 'marpa__obs_free' argument 1 names different: declaration '__obstack' definition 'h'. Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_avl.c:231:12: style: Condition 'p==NULL' is always false [knownConditionTrueFalse] Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_avl.c:241:9: style: Condition 'p==NULL' is always false [knownConditionTrueFalse] Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_avl.c:427:9: style: Condition 'p!=NULL' is always true [knownConditionTrueFalse] Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_avl.c:363:25: warning: Either the condition 'trav!=NULL' is redundant or there is possible null pointer dereference: trav. [nullPointerRedundantCheck] Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_avl.c:365:16: note: Assuming that condition 'trav!=NULL' is not redundant Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_avl.c:363:25: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_avl.c:422:25: warning: Either the condition 'trav!=NULL' is redundant or there is possible null pointer dereference: trav. [nullPointerRedundantCheck] Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_avl.c:424:16: note: Assuming that condition 'trav!=NULL' is not redundant Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_avl.c:422:25: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_avl.c:404:54: style: Parameter 'sought_item' can be declared as pointer to const [constParameterPointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/tavl-test.c:95:8: style: Variable 'cur' can be declared as pointer to const [constVariablePointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/tavl-test.c:95:14: style: Variable 'prev' can be declared as pointer to const [constVariablePointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/tavl-test.c:95:21: style: Variable 'next' can be declared as pointer to const [constVariablePointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/tavl-test.c:298:12: style: Variable 'item' can be declared as pointer to const [constVariablePointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/tavl-test.c:327:12: style: Variable 'item' can be declared as pointer to const [constVariablePointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/tavl-test.c:354:12: style: Variable 'cur' can be declared as pointer to const [constVariablePointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/tavl-test.c:354:18: style: Variable 'prev' can be declared as pointer to const [constVariablePointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/tavl-test.c:354:25: style: Variable 'next' can be declared as pointer to const [constVariablePointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/tavl-test.c:441:12: style: Variable 'deleted' can be declared as pointer to const [constVariablePointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/tavl-test.c:493:12: style: Variable 'deleted' can be declared as pointer to const [constVariablePointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/tavl-test.c:549:8: style: Variable 'first' can be declared as pointer to const [constVariablePointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/tavl-test.c:566:8: style: Variable 'last' can be declared as pointer to const [constVariablePointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/tavl-test.c:587:12: style: Variable 'iter' can be declared as pointer to const [constVariablePointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/tavl-test.c:609:12: style: Variable 'iter' can be declared as pointer to const [constVariablePointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/tavl-test.c:632:12: style: Variable 'iter' can be declared as pointer to const [constVariablePointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/tavl-test.c:653:12: style: Variable 'iter' can be declared as pointer to const [constVariablePointer] marpa_ami.w:764:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marpa__out_of_memory [valueFlowBailoutIncompleteVar] marpa_ami.w:783:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable marpa__out_of_memory [valueFlowBailoutIncompleteVar] Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:687:9: style: Condition 'p!=NULL' is always true [knownConditionTrueFalse] Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:168:24: warning: Either the condition 'tree->tavl_root!=NULL' is redundant or there is possible null pointer dereference: p->tavl_link. [nullPointerRedundantCheck] Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:169:23: note: Assuming that condition 'tree->tavl_root!=NULL' is not redundant Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:168:24: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:951:39: style: Parameter 'allocator' can be declared as pointer to const. However it seems that 'tavl_malloc' is a callback function, if 'allocator' is declared with const you might also need to cast function pointer(s). [constParameterCallback] Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:967:5: note: You might need to cast the function pointer here Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:951:39: note: Parameter 'allocator' can be declared as pointer to const Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:958:49: style: Parameter 'allocator' can be declared as pointer to const. However it seems that 'tavl_free' is a callback function, if 'allocator' is declared with const you might also need to cast function pointer(s). [constParameterCallback] Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:968:5: note: You might need to cast the function pointer here Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:958:49: note: Parameter 'allocator' can be declared as pointer to const Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:958:73: style: Parameter 'block' can be declared as pointer to const. However it seems that 'tavl_free' is a callback function, if 'block' is declared with const you might also need to cast function pointer(s). [constParameterCallback] Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:968:5: note: You might need to cast the function pointer here Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:958:73: note: Parameter 'block' can be declared as pointer to const Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:687:9: style: Condition 'p!=NULL' is always true [knownConditionTrueFalse] Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:168:24: warning: Either the condition 'tree->tavl_root!=NULL' is redundant or there is possible null pointer dereference: p->tavl_link. [nullPointerRedundantCheck] Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:169:23: note: Assuming that condition 'tree->tavl_root!=NULL' is not redundant Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:168:24: note: Null pointer dereference Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:951:39: style: Parameter 'allocator' can be declared as pointer to const. However it seems that 'tavl_malloc' is a callback function, if 'allocator' is declared with const you might also need to cast function pointer(s). [constParameterCallback] Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:967:5: note: You might need to cast the function pointer here Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:951:39: note: Parameter 'allocator' can be declared as pointer to const Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:958:49: style: Parameter 'allocator' can be declared as pointer to const. However it seems that 'tavl_free' is a callback function, if 'allocator' is declared with const you might also need to cast function pointer(s). [constParameterCallback] Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:968:5: note: You might need to cast the function pointer here Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:958:49: note: Parameter 'allocator' can be declared as pointer to const Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:958:73: style: Parameter 'block' can be declared as pointer to const. However it seems that 'tavl_free' is a callback function, if 'block' is declared with const you might also need to cast function pointer(s). [constParameterCallback] Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:968:5: note: You might need to cast the function pointer here Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:958:73: note: Parameter 'block' can be declared as pointer to const diff: head Marpa-R2-2.086000~dfsg/libmarpa/avl/marpa_avl.c:231:12: style: Condition 'p==NULL' is always false [knownConditionTrueFalse] head Marpa-R2-2.086000~dfsg/libmarpa/avl/marpa_avl.c:241:9: style: Condition 'p==NULL' is always false [knownConditionTrueFalse] head Marpa-R2-2.086000~dfsg/libmarpa/avl/marpa_avl.c:427:9: style: Condition 'p!=NULL' is always true [knownConditionTrueFalse] head Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:168:24: warning: Either the condition 'tree->tavl_root!=NULL' is redundant or there is possible null pointer dereference: p->tavl_link. [nullPointerRedundantCheck] Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:169:23: note: Assuming that condition 'tree->tavl_root!=NULL' is not redundant Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:168:24: note: Null pointer dereference head Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:687:9: style: Condition 'p!=NULL' is always true [knownConditionTrueFalse] 2.17.0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:958:49: style: Parameter 'allocator' can be declared as pointer to const [constParameterPointer] head Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:958:49: style: Parameter 'allocator' can be declared as pointer to const. However it seems that 'tavl_free' is a callback function, if 'allocator' is declared with const you might also need to cast function pointer(s). [constParameterCallback] Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:968:5: note: You might need to cast the function pointer here Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:958:49: note: Parameter 'allocator' can be declared as pointer to const 2.17.0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:958:73: style: Parameter 'block' can be declared as pointer to const [constParameterPointer] head Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:958:73: style: Parameter 'block' can be declared as pointer to const. However it seems that 'tavl_free' is a callback function, if 'block' is declared with const you might also need to cast function pointer(s). [constParameterCallback] Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:968:5: note: You might need to cast the function pointer here Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:958:73: note: Parameter 'block' can be declared as pointer to const head Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:222:14: warning: If memory allocation fails, then there is a possible null pointer dereference: mt [nullPointerOutOfMemory] Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assuming allocation function fails Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:212:37: note: Assignment 'mt=xmalloc(sizeof(*mt))', assigned value is 0 Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:222:14: note: Null pointer dereference head Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_avl.c:231:12: style: Condition 'p==NULL' is always false [knownConditionTrueFalse] head Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_avl.c:241:9: style: Condition 'p==NULL' is always false [knownConditionTrueFalse] head Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_avl.c:427:9: style: Condition 'p!=NULL' is always true [knownConditionTrueFalse] head Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:168:24: warning: Either the condition 'tree->tavl_root!=NULL' is redundant or there is possible null pointer dereference: p->tavl_link. [nullPointerRedundantCheck] Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:169:23: note: Assuming that condition 'tree->tavl_root!=NULL' is not redundant Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:168:24: note: Null pointer dereference head Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:687:9: style: Condition 'p!=NULL' is always true [knownConditionTrueFalse] 2.17.0 Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:958:49: style: Parameter 'allocator' can be declared as pointer to const [constParameterPointer] head Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:958:49: style: Parameter 'allocator' can be declared as pointer to const. However it seems that 'tavl_free' is a callback function, if 'allocator' is declared with const you might also need to cast function pointer(s). [constParameterCallback] Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:968:5: note: You might need to cast the function pointer here Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:958:49: note: Parameter 'allocator' can be declared as pointer to const 2.17.0 Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:958:73: style: Parameter 'block' can be declared as pointer to const [constParameterPointer] head Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:958:73: style: Parameter 'block' can be declared as pointer to const. However it seems that 'tavl_free' is a callback function, if 'block' is declared with const you might also need to cast function pointer(s). [constParameterCallback] Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:968:5: note: You might need to cast the function pointer here Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:958:73: note: Parameter 'block' can be declared as pointer to const DONE