2026-05-02 11:28
ftp://ftp.de.debian.org/debian/pool/main/h/haskell-futhark/haskell-futhark_0.25.32.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: 9 9
elapsed-time: 0.3 0.2
head-timing-info:

old-timing-info:

head results:
futhark-0.25.32/tests_adhoc/kvs/testkvs.c:24:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
futhark-0.25.32/tests_lib/c/test_e.c:35:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FUTHARK_PROGRAM_ERROR [valueFlowBailoutIncompleteVar]
futhark-0.25.32/tests_lib/c/test_index.c:18:15: warning: Assert statement modifies 'err'. [assignmentInAssert]
futhark-0.25.32/tests_lib/c/test_index.c:23:15: warning: Assert statement modifies 'err'. [assignmentInAssert]
futhark-0.25.32/tests_lib/c/test_index.c:39:15: warning: Assert statement modifies 'err'. [assignmentInAssert]
futhark-0.25.32/tests_lib/c/test_opaque_array.c:29:15: warning: Assert statement modifies 'err'. [assignmentInAssert]
futhark-0.25.32/tests_lib/c/test_project.c:50:31: style: Local variable 't0' shadows outer variable [shadowVariable]
futhark-0.25.32/tests_lib/c/test_project.c:24:29: note: Shadowed declaration
futhark-0.25.32/tests_lib/c/test_project.c:50:31: note: Shadow variable
futhark-0.25.32/tests_lib/c/test_restore.c:29:7: style: Variable 'err' is reassigned a value before the old one has been used. [redundantAssignment]
futhark-0.25.32/tests_lib/c/test_restore.c:28:7: note: err is assigned
futhark-0.25.32/tests_lib/c/test_restore.c:29:7: note: err is overwritten
futhark-0.25.32/tests_lib/c/test_sum.c:17:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FUTHARK_SUCCESS [valueFlowBailoutIncompleteVar]
diff:


DONE