2024-03-28 00:45 ftp://ftp.de.debian.org/debian/pool/main/libm/libmarpa/libmarpa_6.1.0~dfsg.orig.tar.gz 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: 98951f5 (2024-03-27 21:50:05 +0100) count: 35 28 elapsed-time: 1.3 1.0 head-timing-info: Tokenizer::simplifyTokens1::ValueFlow: 0.632321s (avg. 0.632321s - 1 result(s)) valueFlowAfterAssign(tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 0.193463s (avg. 0.0644877s - 3 result(s)) valueFlowCondition(SimpleConditionHandler{}, tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 0.136796s (avg. 0.0455987s - 3 result(s)) valueFlowLifetime(tokenlist, errorLogger, settings): 0.12746s (avg. 0.031865s - 4 result(s)) valueFlowUninit(tokenlist, errorLogger, settings): 0.074334s (avg. 0.024778s - 3 result(s)) Overall time: 0.72259s old-timing-info: Tokenizer::simplifyTokens1::ValueFlow: 0.353087s (avg. 0.353087s - 1 result(s)) valueFlowAfterAssign(tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 0.167194s (avg. 0.0557313s - 3 result(s)) valueFlowCondition(SimpleConditionHandler{}, tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 0.086657s (avg. 0.0288857s - 3 result(s)) valueFlowUninit(tokenlist, settings): 0.028248s (avg. 0.009416s - 3 result(s)) valueFlowCondition(SymbolicConditionHandler{}, tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 0.025952s (avg. 0.00865067s - 3 result(s)) Overall time: 0.414988s 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/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-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-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.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_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: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/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 [constParameterPointer] Marpa-R2-2.086000~dfsg/libmarpa/tavl/marpa_tavl.c:958:73: style: Parameter 'block' can be declared as pointer to const [constParameterPointer] 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 [constParameterPointer] Marpa-R2-2.086000~dfsg/libmarpa_dist/marpa_tavl.c:958:73: style: Parameter 'block' can be declared as pointer to const [constParameterPointer] diff: head 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 head 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:73: style: Parameter 'block' can be declared as pointer to const [constParameterPointer] head Marpa-R2-2.086000~dfsg/libmarpa/tavl/test.c:118:53: style: Parameter 'param' can be declared as pointer to const [constParameterPointer] head 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 head 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:73: style: Parameter 'block' can be declared as pointer to const [constParameterPointer] DONE