2026-08-31 14:55
ftp://ftp.de.debian.org/debian/pool/main/c/coq/coq_9.2.0+dfsg.orig.tar.xz
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.12.90+deb13.1-amd64-x86_64-with-glibc2.41
python: 3.12.13
client-version: 1.4.0
compiler: g++ (Debian 14.2.0-19) 14.2.0
cppcheck: head 2.21.0
head-info: 8357500 (2026-08-31 12:14:55 +0200)
count: 99 99
elapsed-time: 0.7 0.3
head-timing-info:

old-timing-info:

head results:
rocq-9.2.0/kernel/byterun/rocq_fix_code.c:61:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable res [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_fix_code.c:70:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable res [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_fix_code.c:81:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable res [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_fix_code.c:121:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable res [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_fix_code.c:43:34: style:inconclusive: Function 'rocq_is_instruction' argument 1 names different: declaration '<unnamed>' definition 'instr1'. [funcArgNamesDifferentUnnamed]
rocq-9.2.0/kernel/byterun/rocq_fix_code.c:43:51: style:inconclusive: Function 'rocq_is_instruction' argument 2 names different: declaration '<unnamed>' definition 'instr2'. [funcArgNamesDifferentUnnamed]
rocq-9.2.0/kernel/byterun/rocq_fix_code.c:58:29: style:inconclusive: Function 'rocq_accumulate' argument 1 names different: declaration '<unnamed>' definition 'unit'. [funcArgNamesDifferentUnnamed]
rocq-9.2.0/kernel/byterun/rocq_float64.c:26:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INFINITY [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_float64.c:37:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INFINITY [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_float64.c:73:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Double_tag [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_interp.c:323:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_interp.c:2055:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_interp.c:2063:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_interp.c:2070:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_interp.c:2081:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_interp.c:334:3: style: Variable 'rocq_sp' is assigned an expression that holds the same value. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:330:6: note: sp is assigned 'rocq_sp' here.
rocq-9.2.0/kernel/byterun/rocq_interp.c:334:3: note: Assuming condition is true
rocq-9.2.0/kernel/byterun/rocq_interp.c:334:3: note: Variable 'rocq_sp' is assigned an expression that holds the same value.
rocq-9.2.0/kernel/byterun/rocq_interp.c:634:9: style: Variable 'rocq_sp' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:633:31: note: rocq_sp is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:634:9: note: rocq_sp is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:752:11: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:752:11: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:752:11: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:777:13: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:777:13: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:777:13: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:792:13: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:792:13: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:792:13: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:834:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:834:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:834:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:855:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:855:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:855:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:861:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:861:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:861:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:886:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:886:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:886:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:895:11: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:895:11: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:895:11: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:907:11: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:907:11: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:907:11: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1139:15: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1139:15: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1139:15: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1209:11: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1209:11: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1209:11: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1282:15: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1282:15: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1282:15: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1298:13: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1298:13: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1298:13: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1301:13: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1301:13: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1301:13: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1335:11: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1335:11: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1335:11: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1378:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1378:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1378:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1387:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1387:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1387:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1390:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1390:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1390:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1400:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1400:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1400:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1403:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1403:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1403:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1412:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1412:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1412:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1422:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1422:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1422:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1424:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1424:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1424:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1435:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1435:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1435:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1437:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1437:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1437:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1446:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1446:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1446:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1454:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1454:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1454:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1456:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1456:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1456:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1474:11: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1474:11: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1474:11: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1488:11: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1488:11: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1488:11: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1510:11: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1510:11: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1510:11: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1512:11: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1512:11: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1512:11: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1515:11: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1515:11: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1515:11: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1534:13: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1534:13: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1534:13: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1538:13: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1538:13: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1538:13: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1553:11: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1553:11: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1553:11: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1561:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1561:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1561:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1563:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1563:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1563:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1573:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1573:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1573:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1580:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1580:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1580:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1587:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1587:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1587:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1594:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1594:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1594:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1601:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1601:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1601:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1608:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1608:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1608:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1615:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1615:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1615:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1704:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1704:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1704:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1711:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1711:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1711:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1718:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1718:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1718:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1725:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1725:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1725:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1816:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1816:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1816:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1823:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1823:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1823:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1830:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1830:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1830:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1837:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1837:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1837:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1844:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1844:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1844:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1851:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1851:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1851:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1861:11: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1861:11: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1861:11: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1864:11: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1864:11: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1864:11: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1887:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1887:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1887:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1893:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1893:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1893:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1895:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1895:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1895:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1906:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1906:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1906:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1908:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1908:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1908:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1915:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1915:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1915:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:1922:9: style: Variable 'accu' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:1922:9: note: accu is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:1922:9: note: accu is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:2085:6: style: Variable 'sp' is reassigned a value before the old one has been used. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:2081:3: note: sp is assigned
rocq-9.2.0/kernel/byterun/rocq_interp.c:2085:6: note: sp is overwritten
rocq-9.2.0/kernel/byterun/rocq_interp.c:2086:3: style: Variable 'rocq_sp' is assigned an expression that holds the same value. [redundantAssignment]
rocq-9.2.0/kernel/byterun/rocq_interp.c:2085:6: note: sp is assigned 'rocq_sp' here.
rocq-9.2.0/kernel/byterun/rocq_interp.c:2086:3: note: Assuming condition is true
rocq-9.2.0/kernel/byterun/rocq_interp.c:2086:3: note: Variable 'rocq_sp' is assigned an expression that holds the same value.
rocq-9.2.0/kernel/byterun/rocq_memory.c:88:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_memory.c:121:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_values.c:31:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GRAB [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_values.c:42:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ACCUMULATE [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_values.c:50:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RESTART [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_values.c:65:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Closure_tag [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_values.c:70:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_values.c:74:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_values.c:80:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_values.c:85:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable res [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_values.c:102:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable res [valueFlowBailoutIncompleteVar]
rocq-9.2.0/kernel/byterun/rocq_values.c:164:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
rocq-9.2.0/perf/perf.c:26:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_perf_event_open [valueFlowBailoutIncompleteVar]
rocq-9.2.0/perf/perf.c:43:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PERF_TYPE_HARDWARE [valueFlowBailoutIncompleteVar]
rocq-9.2.0/perf/perf.c:81:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
rocq-9.2.0/perf/perf.c:89:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PERF_EVENT_IOC_DISABLE [valueFlowBailoutIncompleteVar]
diff:
head rocq-9.2.0/kernel/byterun/rocq_interp.c:2086:3: style: Variable 'rocq_sp' is assigned an expression that holds the same value. [redundantAssignment]
     rocq-9.2.0/kernel/byterun/rocq_interp.c:2085:6: note: sp is assigned 'rocq_sp' here.
     rocq-9.2.0/kernel/byterun/rocq_interp.c:2086:3: note: Assuming condition is true
     rocq-9.2.0/kernel/byterun/rocq_interp.c:2086:3: note: Variable 'rocq_sp' is assigned an expression that holds the same value.
2.21.0 rocq-9.2.0/kernel/byterun/rocq_interp.c:2086:3: style: Variable 'rocq_sp' is assigned an expression that holds the same value. [redundantAssignment]
     rocq-9.2.0/kernel/byterun/rocq_interp.c:2085:6: note: sp is assigned 'rocq_sp' here.
     rocq-9.2.0/kernel/byterun/rocq_interp.c:2086:3: note: Variable 'rocq_sp' is assigned an expression that holds the same value.
head rocq-9.2.0/kernel/byterun/rocq_interp.c:334:3: style: Variable 'rocq_sp' is assigned an expression that holds the same value. [redundantAssignment]
     rocq-9.2.0/kernel/byterun/rocq_interp.c:330:6: note: sp is assigned 'rocq_sp' here.
     rocq-9.2.0/kernel/byterun/rocq_interp.c:334:3: note: Assuming condition is true
     rocq-9.2.0/kernel/byterun/rocq_interp.c:334:3: note: Variable 'rocq_sp' is assigned an expression that holds the same value.
2.21.0 rocq-9.2.0/kernel/byterun/rocq_interp.c:334:3: style: Variable 'rocq_sp' is assigned an expression that holds the same value. [redundantAssignment]
     rocq-9.2.0/kernel/byterun/rocq_interp.c:330:6: note: sp is assigned 'rocq_sp' here.
     rocq-9.2.0/kernel/byterun/rocq_interp.c:334:3: note: Variable 'rocq_sp' is assigned an expression that holds the same value.


DONE