2025-01-24 16:28
ftp://ftp.de.debian.org/debian/pool/main/o/ocaml-mirage-crypto/ocaml-mirage-crypto_1.1.0.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-51-generic-x86_64-with-glibc2.39
python: 3.12.3
client-version: 1.3.65
compiler: g++ (Ubuntu 14.2.0-4ubuntu2~24.04) 14.2.0
cppcheck: head 2.16.0
head-info: a1a415d (2025-01-23 15:05:36 +0100)
count: 96 96
elapsed-time: 492.1 708.6
head-timing-info:

old-timing-info:

head results:
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1808:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1818:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1825:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1832:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1029:7: style: Variable 's23' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1037:7: style: Variable 's22' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1045:7: style: Variable 's21' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1053:7: style: Variable 's20' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1061:7: style: Variable 's19' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1069:7: style: Variable 's18' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1112:7: style: Variable 's17' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1120:7: style: Variable 's16' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1128:7: style: Variable 's15' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1136:7: style: Variable 's14' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1144:7: style: Variable 's13' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1243:7: style: Variable 's12' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1518:7: style: Variable 's23' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1526:7: style: Variable 's22' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1534:7: style: Variable 's21' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1542:7: style: Variable 's20' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1550:7: style: Variable 's19' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1558:7: style: Variable 's18' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1601:7: style: Variable 's17' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1609:7: style: Variable 's16' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1617:7: style: Variable 's15' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1625:7: style: Variable 's14' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1633:7: style: Variable 's13' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1732:7: style: Variable 's12' is assigned a value that is never used. [unreadVariable]
mirage-crypto-1.1.0/ec/native/np256_stubs.c:29:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np256_stubs.c:36:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np256_stubs.c:43:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np256_stubs.c:50:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np256_stubs.c:57:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np256_stubs.c:64:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np256_stubs.c:71:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np256_stubs.c:78:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np384_stubs.c:29:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np384_stubs.c:36:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np384_stubs.c:43:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np384_stubs.c:50:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np384_stubs.c:57:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np384_stubs.c:64:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np384_stubs.c:71:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np384_stubs.c:78:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np521_stubs.c:29:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np521_stubs.c:36:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np521_stubs.c:43:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np521_stubs.c:50:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np521_stubs.c:57:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np521_stubs.c:64:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np521_stubs.c:71:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/np521_stubs.c:78:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p256_stubs.c:32:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p256_stubs.c:39:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p256_stubs.c:46:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p256_stubs.c:53:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p256_stubs.c:60:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p256_stubs.c:67:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p256_stubs.c:74:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p256_stubs.c:81:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p256_stubs.c:94:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p256_stubs.c:101:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p256_stubs.c:115:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p256_stubs.c:133:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p256_stubs.c:145:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p256_stubs.c:159:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p384_stubs.c:32:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p384_stubs.c:39:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p384_stubs.c:46:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p384_stubs.c:53:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p384_stubs.c:60:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p384_stubs.c:67:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p384_stubs.c:74:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p384_stubs.c:81:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p384_stubs.c:94:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p384_stubs.c:101:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p384_stubs.c:115:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p384_stubs.c:133:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p384_stubs.c:145:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p384_stubs.c:158:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p521_stubs.c:32:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p521_stubs.c:39:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p521_stubs.c:46:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p521_stubs.c:53:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p521_stubs.c:60:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p521_stubs.c:67:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p521_stubs.c:74:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p521_stubs.c:81:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p521_stubs.c:94:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p521_stubs.c:101:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p521_stubs.c:115:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p521_stubs.c:133:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p521_stubs.c:145:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/ec/native/p521_stubs.c:158:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
mirage-crypto-1.1.0/rng/unix/mc_getrandom_stubs.c:72:0: error: #error "Retrieving random data not supported on this platform" [preprocessorErrorDirective]
mirage-crypto-1.1.0/src/native/bitfn.h:176:0: error: #error "__BYTE_ORDER__ is not defined" [preprocessorErrorDirective]
diff:
2.16.0 mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1808:14: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1808:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1818:14: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1818:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1825:14: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1825:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1832:14: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/curve25519_stubs.c:1832:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np256_stubs.c:29:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np256_stubs.c:29:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np256_stubs.c:36:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np256_stubs.c:36:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np256_stubs.c:43:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np256_stubs.c:43:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np256_stubs.c:50:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np256_stubs.c:50:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np256_stubs.c:57:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np256_stubs.c:57:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np256_stubs.c:64:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np256_stubs.c:64:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np256_stubs.c:71:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np256_stubs.c:71:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np256_stubs.c:78:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np256_stubs.c:78:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np384_stubs.c:29:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np384_stubs.c:29:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np384_stubs.c:36:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np384_stubs.c:36:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np384_stubs.c:43:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np384_stubs.c:43:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np384_stubs.c:50:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np384_stubs.c:50:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np384_stubs.c:57:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np384_stubs.c:57:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np384_stubs.c:64:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np384_stubs.c:64:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np384_stubs.c:71:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np384_stubs.c:71:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np384_stubs.c:78:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np384_stubs.c:78:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np521_stubs.c:29:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np521_stubs.c:29:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np521_stubs.c:36:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np521_stubs.c:36:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np521_stubs.c:43:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np521_stubs.c:43:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np521_stubs.c:50:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np521_stubs.c:50:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np521_stubs.c:57:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np521_stubs.c:57:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np521_stubs.c:64:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np521_stubs.c:64:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np521_stubs.c:71:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np521_stubs.c:71:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/np521_stubs.c:78:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/np521_stubs.c:78:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p256_stubs.c:101:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p256_stubs.c:101:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p256_stubs.c:115:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p256_stubs.c:115:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p256_stubs.c:133:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p256_stubs.c:133:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p256_stubs.c:145:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p256_stubs.c:145:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p256_stubs.c:159:16: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p256_stubs.c:159:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p256_stubs.c:32:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p256_stubs.c:32:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p256_stubs.c:39:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p256_stubs.c:39:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p256_stubs.c:46:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p256_stubs.c:46:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p256_stubs.c:53:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p256_stubs.c:53:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p256_stubs.c:60:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p256_stubs.c:60:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p256_stubs.c:67:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p256_stubs.c:67:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p256_stubs.c:74:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p256_stubs.c:74:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p256_stubs.c:81:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p256_stubs.c:81:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p256_stubs.c:94:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p256_stubs.c:94:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p384_stubs.c:101:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p384_stubs.c:101:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p384_stubs.c:115:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p384_stubs.c:115:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p384_stubs.c:133:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p384_stubs.c:133:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p384_stubs.c:145:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p384_stubs.c:145:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p384_stubs.c:158:16: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p384_stubs.c:158:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p384_stubs.c:32:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p384_stubs.c:32:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p384_stubs.c:39:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p384_stubs.c:39:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p384_stubs.c:46:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p384_stubs.c:46:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p384_stubs.c:53:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p384_stubs.c:53:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p384_stubs.c:60:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p384_stubs.c:60:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p384_stubs.c:67:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p384_stubs.c:67:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p384_stubs.c:74:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p384_stubs.c:74:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p384_stubs.c:81:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p384_stubs.c:81:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p384_stubs.c:94:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p384_stubs.c:94:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p521_stubs.c:101:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p521_stubs.c:101:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p521_stubs.c:115:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p521_stubs.c:115:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p521_stubs.c:133:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p521_stubs.c:133:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p521_stubs.c:145:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p521_stubs.c:145:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p521_stubs.c:158:16: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p521_stubs.c:158:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p521_stubs.c:32:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p521_stubs.c:32:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p521_stubs.c:39:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p521_stubs.c:39:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p521_stubs.c:46:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p521_stubs.c:46:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p521_stubs.c:53:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p521_stubs.c:53:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p521_stubs.c:60:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p521_stubs.c:60:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p521_stubs.c:67:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p521_stubs.c:67:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p521_stubs.c:74:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p521_stubs.c:74:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p521_stubs.c:81:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p521_stubs.c:81:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
2.16.0 mirage-crypto-1.1.0/ec/native/p521_stubs.c:94:13: debug: analyzeConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]
head mirage-crypto-1.1.0/ec/native/p521_stubs.c:94:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar]


DONE