2025-07-07 16:50
ftp://ftp.de.debian.org/debian/pool/main/d/dune/dune_1.6.2.orig.tar.bz2
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-63-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: 8833e3e (2025-07-07 13:50:36 +0200)
count: 4 4
elapsed-time: 0.0 0.1
head-timing-info:

old-timing-info:

head results:
dune-1.6.2/test/blackbox-tests/test-cases/github734/src/stubs/x.c:5:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
dune-1.6.2/test/blackbox-tests/test-cases/js_of_ocaml/lib/stubs.c:3:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
dune-1.6.2/test/blackbox-tests/test-cases/output-obj/dynamic.c:10:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
dune-1.6.2/test/blackbox-tests/test-cases/output-obj/dynamic.c:19:3: error: Resource leak: handle [resourceLeak]
diff:


DONE