2026-05-03 22:22
ftp://ftp.de.debian.org/debian/pool/main/o/ocaml-magic/ocaml-magic_0.7.3.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 -j1
platform: Linux-6.8.0-111-generic-x86_64-with-glibc2.39
python: 3.12.3
client-version: 1.3.70
compiler: g++ (Ubuntu 14.2.0-4ubuntu2~24.04.1) 14.2.0
cppcheck: head 2.20.0
head-info: e5c4a73 (2026-05-01 11:10:43 +0200)
count: 10 10
elapsed-time: 0.1 0.0
head-timing-info:

old-timing-info:

head results:
ocaml-magic-0.7.3/src/magic_stubs.c:65:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable verrmsg [valueFlowBailoutIncompleteVar]
ocaml-magic-0.7.3/src/magic_stubs.c:164:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c [valueFlowBailoutIncompleteVar]
ocaml-magic-0.7.3/src/magic_stubs.c:200:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-magic-0.7.3/src/magic_stubs.c:239:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-magic-0.7.3/src/magic_stubs.c:256:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar]
ocaml-magic-0.7.3/src/magic_stubs.c:261:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar]
ocaml-magic-0.7.3/src/magic_stubs.c:277:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-magic-0.7.3/src/magic_stubs.c:283:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-magic-0.7.3/src/magic_stubs.c:302:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-magic-0.7.3/src/magic_stubs.c:308:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
diff:


DONE