2026-05-03 22:25
ftp://ftp.de.debian.org/debian/pool/main/o/ocaml-zarith/ocaml-zarith_1.14.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: 117 117
elapsed-time: 2.1 1.9
head-timing-info:

old-timing-info:

head results:
ocaml-Zarith-667d742/caml_z.c:348:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_limb_t [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:354:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_limb_t [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:470:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:492:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:520:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:558:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:590:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:734:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:773:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:808:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:856:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:902:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:944:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:982:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:1036:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_limb_t [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:1098:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_limb_t [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:1140:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_limb_t [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:1178:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:1208:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:1312:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_true [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:1382:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:1410:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:1435:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:1560:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:1606:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:1654:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable q [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:1750:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable q [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:1831:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:1896:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:1920:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:1965:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:2033:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable res_arg1 [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:2107:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:2189:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:2275:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:2346:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:2380:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_limb_t [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:2429:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_limb_t [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:2490:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_limb_t [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:2567:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable intnat [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:2624:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Max_long [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:2740:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_limb_t [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:2777:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_limb_t [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:2796:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable value [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:2848:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:2866:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:2940:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:2972:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:3004:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r1 [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:3023:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:3034:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:3051:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:3063:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:3155:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable tmp [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:3168:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:3183:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:3198:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:3213:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:3228:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:3243:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:3258:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable r [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:3368:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_limb_t [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:3409:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mp_limb_t [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:3501:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:3528:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable intnat [valueFlowBailoutIncompleteVar]
ocaml-Zarith-667d742/caml_z.c:355:10: warning: If memory allocation fails, then there is a possible null pointer dereference: r [nullPointerOutOfMemory]
ocaml-Zarith-667d742/caml_z.c:354:37: note: Assuming allocation function fails
ocaml-Zarith-667d742/caml_z.c:354:18: note: Assignment 'r=(mp_limb_t*)malloc(sz*sizeof(mp_limb_t))', assigned value is 0
ocaml-Zarith-667d742/caml_z.c:355:10: note: Null pointer dereference
ocaml-Zarith-667d742/caml_z.c:1038:13: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
ocaml-Zarith-667d742/caml_z.c:1037:23: note: Assuming allocation function fails
ocaml-Zarith-667d742/caml_z.c:1037:9: note: Assignment 'buf=(char*)malloc(max_size)', assigned value is 0
ocaml-Zarith-667d742/caml_z.c:1038:13: note: Null pointer addition
ocaml-Zarith-667d742/caml_z.c:1080:42: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
ocaml-Zarith-667d742/caml_z.c:1037:23: note: Assuming allocation function fails
ocaml-Zarith-667d742/caml_z.c:1037:9: note: Assignment 'buf=(char*)malloc(max_size)', assigned value is 0
ocaml-Zarith-667d742/caml_z.c:1080:42: note: Null pointer addition
ocaml-Zarith-667d742/caml_z.c:346:61: style: Parameter 'src' can be declared as pointer to const [constParameterPointer]
ocaml-Zarith-667d742/caml_z.c:352:51: style: Parameter 'src' can be declared as pointer to const [constParameterPointer]
ocaml-Zarith-667d742/caml_z.c:1007:9: style: Variable 'prefix' can be declared as pointer to const [constVariablePointer]
ocaml-Zarith-667d742/caml_z.c:2852:25: error: Uninitialized variable: a [uninitvar]
ocaml-Zarith-667d742/caml_z.c:2853:25: error: Uninitialized variable: b [uninitvar]
ocaml-Zarith-667d742/caml_z.c:2872:23: error: Uninitialized variable: mbase [uninitvar]
ocaml-Zarith-667d742/caml_z.c:2873:23: error: Uninitialized variable: mexp [uninitvar]
ocaml-Zarith-667d742/caml_z.c:2874:23: error: Uninitialized variable: mmod [uninitvar]
ocaml-Zarith-667d742/caml_z.c:2947:23: error: Uninitialized variable: mbase [uninitvar]
ocaml-Zarith-667d742/caml_z.c:2981:23: error: Uninitialized variable: ma [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3000:23: error: Uninitialized variable: ma [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3020:23: error: Uninitialized variable: ma [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3031:23: error: Uninitialized variable: ma [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3042:23: error: Uninitialized variable: ma [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3053:23: error: Uninitialized variable: ma [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3065:23: error: Uninitialized variable: mbase [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3066:23: error: Uninitialized variable: mmod [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3083:23: error: Uninitialized variable: ma [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3084:23: error: Uninitialized variable: mb [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3096:23: error: Uninitialized variable: ma [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3097:23: error: Uninitialized variable: mb [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3098:23: error: Uninitialized variable: mc [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3111:23: error: Uninitialized variable: ma [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3112:23: error: Uninitialized variable: mb [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3124:23: error: Uninitialized variable: ma [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3125:23: error: Uninitialized variable: mb [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3137:23: error: Uninitialized variable: ma [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3138:23: error: Uninitialized variable: mb [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3151:23: error: Uninitialized variable: ma [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3152:23: error: Uninitialized variable: mb [uninitvar]
ocaml-Zarith-667d742/caml_z.c:3233:23: error: Uninitialized variable: ma [uninitvar]
ocaml-Zarith-667d742/caml_z.c:1127:10: style: Variable 'x' is not assigned a value. [unassignedVariable]
ocaml-Zarith-667d742/caml_z.c:1184:3: style: Variable 'sign_arg' is assigned a value that is never used. [unreadVariable]
ocaml-Zarith-667d742/caml_z.c:2573:3: style: Variable 'sign_arg' is assigned a value that is never used. [unreadVariable]
ocaml-Zarith-667d742/caml_z.c:2633:3: style: Variable 'sign_arg' is assigned a value that is never used. [unreadVariable]
ocaml-Zarith-667d742/caml_z.c:2808:3: style: Variable 'loc_arg1' is not assigned a value. [unassignedVariable]
ocaml-Zarith-667d742/caml_z.c:2808:3: style: Variable 'ptr_arg1' is not assigned a value. [unassignedVariable]
ocaml-Zarith-667d742/caml_z.c:2808:3: style: Variable 'size_arg1' is not assigned a value. [unassignedVariable]
ocaml-Zarith-667d742/caml_z.c:2808:3: style: Variable 'sign_arg1' is not assigned a value. [unassignedVariable]
ocaml-Zarith-667d742/caml_z.c:2808:17: style: Variable 'loc_arg2' is not assigned a value. [unassignedVariable]
ocaml-Zarith-667d742/caml_z.c:2808:17: style: Variable 'ptr_arg2' is not assigned a value. [unassignedVariable]
ocaml-Zarith-667d742/caml_z.c:2808:17: style: Variable 'size_arg2' is not assigned a value. [unassignedVariable]
ocaml-Zarith-667d742/caml_z.c:2808:17: style: Variable 'sign_arg2' is not assigned a value. [unassignedVariable]
ocaml-Zarith-667d742/caml_z.c:2869:3: style: Variable 'sign_mod' is assigned a value that is never used. [unreadVariable]
ocaml-Zarith-667d742/caml_z.c:2869:3: style: Variable 'ptr_mod' is assigned a value that is never used. [unreadVariable]
ocaml-Zarith-667d742/caml_z.c:2978:3: style: Variable 'size_a' is assigned a value that is never used. [unreadVariable]
ocaml-Zarith-667d742/caml_z.c:2978:3: style: Variable 'ptr_a' is assigned a value that is never used. [unreadVariable]
ocaml-Zarith-667d742/caml_z.c:2997:3: style: Variable 'size_a' is assigned a value that is never used. [unreadVariable]
ocaml-Zarith-667d742/caml_z.c:2997:3: style: Variable 'ptr_a' is assigned a value that is never used. [unreadVariable]
diff:


DONE