2024-03-27 08:02 ftp://ftp.de.debian.org/debian/pool/main/g/golang-rsc-binaryregexp/golang-rsc-binaryregexp_0.2.0.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 -D__GNUC__ --platform=unix64 -j4 platform: Linux-6.1.0-18-amd64-x86_64-with-glibc2.36 python: 3.11.2 client-version: 1.3.55 compiler: g++ (Debian 12.2.0-14) 12.2.0 cppcheck: head 2.13.0 head-info: 99853e4 (2024-03-27 05:16:23 +0100) count: 26 22 elapsed-time: 1.0 1.4 head-timing-info: old-timing-info: head results: binaryregexp-0.2.0/testdata/testregex.c:161:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] binaryregexp-0.2.0/testdata/testregex.c:678:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable REG_NOSUB [valueFlowBailoutIncompleteVar] binaryregexp-0.2.0/testdata/testregex.c:863:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable rm_so [valueFlowBailoutIncompleteVar] binaryregexp-0.2.0/testdata/testregex.c:947:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable rm_so [valueFlowBailoutIncompleteVar] binaryregexp-0.2.0/testdata/testregex.c:1260:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable REG_NOSUB [valueFlowBailoutIncompleteVar] binaryregexp-0.2.0/testdata/testregex.c:776:11: style: Condition 'c=='u'' is always false [knownConditionTrueFalse] binaryregexp-0.2.0/testdata/testregex.c:775:9: note: Assignment 'c=0', assigned value is 0 binaryregexp-0.2.0/testdata/testregex.c:776:11: note: Condition 'c=='u'' is always false binaryregexp-0.2.0/testdata/testregex.c:780:15: warning: Either the condition 'e' is redundant or there is possible null pointer dereference: ++s. [nullPointerRedundantCheck] binaryregexp-0.2.0/testdata/testregex.c:803:11: note: Assuming that condition 'e' is not redundant binaryregexp-0.2.0/testdata/testregex.c:777:11: note: Assignment to 'e=s+1' binaryregexp-0.2.0/testdata/testregex.c:780:15: note: Null pointer dereference binaryregexp-0.2.0/testdata/testregex.c:577:17: style: Variable 'e' can be declared as pointer to const [constVariablePointer] binaryregexp-0.2.0/testdata/testregex.c:654:14: style: Parameter 'comment' can be declared as pointer to const [constParameterPointer] binaryregexp-0.2.0/testdata/testregex.c:654:29: style: Parameter 'fun' can be declared as pointer to const [constParameterPointer] binaryregexp-0.2.0/testdata/testregex.c:654:68: style: Parameter 'msg' can be declared as pointer to const [constParameterPointer] binaryregexp-0.2.0/testdata/testregex.c:693:16: style: Parameter 'preg' can be declared as pointer to const [constParameterPointer] binaryregexp-0.2.0/testdata/testregex.c:695:8: style: Variable 'msg' can be declared as pointer to const [constVariablePointer] binaryregexp-0.2.0/testdata/testregex.c:727:8: style: Variable 'b' can be declared as pointer to const [constVariablePointer] binaryregexp-0.2.0/testdata/testregex.c:729:8: style: Variable 'q' can be declared as pointer to const [constVariablePointer] binaryregexp-0.2.0/testdata/testregex.c:730:8: style: Variable 'e' can be declared as pointer to const [constVariablePointer] binaryregexp-0.2.0/testdata/testregex.c:858:24: style: Parameter 'match' can be declared as pointer to const [constParameterPointer] binaryregexp-0.2.0/testdata/testregex.c:858:59: style: Parameter 'ans' can be declared as pointer to const [constParameterPointer] binaryregexp-0.2.0/testdata/testregex.c:1041:17: style: Variable 'e' can be declared as pointer to const [constVariablePointer] binaryregexp-0.2.0/testdata/testregex.c:1061:33: style: Parameter 'msg' can be declared as pointer to const [constParameterPointer] binaryregexp-0.2.0/testdata/testregex.c:1078:26: style: Parameter 'spec' can be declared as pointer to const [constParameterPointer] binaryregexp-0.2.0/testdata/testregex.c:1078:57: style: Parameter 'ans' can be declared as pointer to const [constParameterPointer] binaryregexp-0.2.0/testdata/testregex.c:1078:79: style: Parameter 'accept' can be declared as pointer to const [constParameterPointer] binaryregexp-0.2.0/testdata/testregex.c:1246:9: style: Variable 'subunit' can be declared as pointer to const [constVariablePointer] binaryregexp-0.2.0/testdata/testregex.c:565:9: style: struct member 'Anonymous1::stack' is never used. [unusedStructMember] binaryregexp-0.2.0/testdata/testregex.c:1256:14: style: Unused variable: pat [unusedVariable] diff: head binaryregexp-0.2.0/testdata/testregex.c:1260:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable REG_NOSUB [valueFlowBailoutIncompleteVar] head binaryregexp-0.2.0/testdata/testregex.c:678:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable REG_NOSUB [valueFlowBailoutIncompleteVar] head binaryregexp-0.2.0/testdata/testregex.c:863:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable rm_so [valueFlowBailoutIncompleteVar] head binaryregexp-0.2.0/testdata/testregex.c:947:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable rm_so [valueFlowBailoutIncompleteVar] DONE