2024-03-24 22:06 ftp://ftp.de.debian.org/debian/pool/main/o/ocaml-dune/ocaml-dune_3.14.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 -D__GNUC__ --platform=unix64 -j4 platform: Linux-6.1.0-18-amd64-x86_64-with-glibc2.36 python: 3.11.2 client-version: 1.3.55 compiler: g++ (Debian 12.2.0-14) 12.2.0 cppcheck: head 2.13.0 head-info: 51f8b53 (2024-03-24 16:07:43 +0100) count: 89 40 elapsed-time: 0.5 0.4 head-timing-info: old-timing-info: head results: dune-3.14.0/otherlibs/stdune/dune_filesystem_stubs/readdir.c:52:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EBADF [valueFlowBailoutIncompleteVar] dune-3.14.0/otherlibs/stdune/src/platform_stubs.c:9:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar] dune-3.14.0/otherlibs/stdune/src/platform_stubs.c:18:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar] dune-3.14.0/otherlibs/stdune/src/platform_stubs.c:27:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar] dune-3.14.0/otherlibs/stdune/src/platform_stubs.c:36:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar] dune-3.14.0/otherlibs/stdune/src/platform_stubs.c:45:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar] dune-3.14.0/otherlibs/stdune/dune_filesystem_stubs/readdir.c:55:7: portability: Non reentrant function 'readdir' called. For threadsafe applications it is recommended to use the reentrant replacement function 'readdir_r'. [prohibitedreaddirCalled] dune-3.14.0/src/csexp_rpc/csexp_rpc_stubs.c:61:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar] dune-3.14.0/src/csexp_rpc/csexp_rpc_stubs.c:67:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] dune-3.14.0/otherlibs/stdune/src/wait4_stubs.c:67:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Nothing [valueFlowBailoutIncompleteVar] dune-3.14.0/src/dune_digest/dune_digest_stubs.c:17:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable v_res [valueFlowBailoutIncompleteVar] dune-3.14.0/src/dune_stats/dune_stats_stubs.c:37:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar] dune-3.14.0/src/dune_util/dune_flock.c:54:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LOCK_EX [valueFlowBailoutIncompleteVar] dune-3.14.0/src/dune_util/dune_flock.c:74:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LOCK_UN [valueFlowBailoutIncompleteVar] dune-3.14.0/src/fsevents/fsevents_stubs.c:473:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar] dune-3.14.0/test/blackbox-tests/test-cases/cxx-flags.t/baz.cpp:11:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar] dune-3.14.0/test/blackbox-tests/test-cases/cxx-flags.t/bazexe.cpp:10:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar] dune-3.14.0/test/blackbox-tests/test-cases/cxx-flags.t/sub/bazexe.cpp:10:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar] dune-3.14.0/test/blackbox-tests/test-cases/foreign-stubs/c-flags-diagnostics-color.t/stub.c:1:0: error: #error "error message" [preprocessorErrorDirective] dune-3.14.0/test/blackbox-tests/test-cases/foreign_cxx_library.t/lib/foreign_hello_world.cpp:7:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar] dune-3.14.0/test/blackbox-tests/test-cases/github734.t/src/stubs/x.c:5:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] dune-3.14.0/test/blackbox-tests/test-cases/jsoo/simple.t/lib/stubs.c:3:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] dune-3.14.0/test/blackbox-tests/test-cases/output-obj.t/dynamic.c:10:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] dune-3.14.0/test/blackbox-tests/test-cases/output-obj.t/dynamic.c:19:3: error: Resource leak: handle [resourceLeak] dune-3.14.0/test/blackbox-tests/test-cases/toplevel/top.t/stubs/z_stubs.c:7:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/notty/src-unix/native/winsize.c:22:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TIOCGWINSZ [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/ocaml-inotify/src/inotify_stubs.c:136:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOTSUP [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/ocaml-inotify/src/inotify_stubs.c:142:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOTSUP [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/ocaml-inotify/src/inotify_stubs.c:148:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOTSUP [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/ocaml-inotify/src/inotify_stubs.c:153:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOTSUP [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/ocaml-inotify/src/inotify_stubs.c:158:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOTSUP [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/ocaml-inotify/src/inotify_stubs.c:164:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOTSUP [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/spawn/src/spawn_stubs.c:58:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/spawn/src/spawn_stubs.c:148:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_CLOEXEC [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/spawn/src/spawn_stubs.c:156:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Nothing [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/spawn/src/spawn_stubs.c:224:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/spawn/src/spawn_stubs.c:296:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIG_DFL [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/spawn/src/spawn_stubs.c:347:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Nothing [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/spawn/src/spawn_stubs.c:464:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable String_tag [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/spawn/src/spawn_stubs.c:694:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/spawn/src/spawn_stubs.c:794:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOSYS [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha1_stubs.c:40:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDONLY [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha1_stubs.c:75:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha1_stubs.c:90:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha1_stubs.c:106:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha1_stubs.c:113:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha1_stubs.c:124:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha1_stubs.c:139:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha1_stubs.c:159:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha1_stubs.c:170:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha1_stubs.c:188:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha1_stubs.c:199:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/spawn/src/spawn_stubs.c:721:33: style: Obsolescent function 'vfork' called. It is recommended to use 'fork' instead. [prohibitedvforkCalled] dune-3.14.0/vendor/spawn/src/spawn_stubs.c:758:11: style: Condition 'got_error' is always true [knownConditionTrueFalse] dune-3.14.0/vendor/spawn/src/spawn_stubs.c:747:19: note: Assignment 'got_error=1', assigned value is 1 dune-3.14.0/vendor/spawn/src/spawn_stubs.c:758:11: note: Condition 'got_error' is always true dune-3.14.0/vendor/sha/sha256_stubs.c:40:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDONLY [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha256_stubs.c:75:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha256_stubs.c:89:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha256_stubs.c:105:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha256_stubs.c:111:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha256_stubs.c:122:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha256_stubs.c:137:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha256_stubs.c:157:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha256_stubs.c:168:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha256_stubs.c:186:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha256_stubs.c:197:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/spawn/src/spawn_stubs.c:197:29: style: Parameter 'function' can be declared as pointer to const [constParameterPointer] dune-3.14.0/vendor/sha/sha512_stubs.c:40:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDONLY [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha512_stubs.c:75:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha512_stubs.c:89:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha512_stubs.c:105:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha512_stubs.c:111:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha512_stubs.c:122:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha512_stubs.c:137:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha512_stubs.c:157:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha512_stubs.c:168:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha512_stubs.c:186:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha512_stubs.c:197:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] dune-3.14.0/vendor/sha/sha512_stubs.c:139:19: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] dune-3.14.0/vendor/sha/sha512_stubs.c:32:37: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] dune-3.14.0/vendor/sha/sha512.h:57:68: style: Parameter 'src' can be declared as pointer to const [constParameterPointer] dune-3.14.0/vendor/sha/sha512.h:251:42: style: Parameter 'digest' can be declared as pointer to const [constParameterPointer] dune-3.14.0/vendor/sha/sha1_stubs.c:141:19: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] dune-3.14.0/vendor/sha/sha1_stubs.c:32:35: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] dune-3.14.0/vendor/sha/sha1.h:53:62: style: Parameter 'src' can be declared as pointer to const [constParameterPointer] dune-3.14.0/vendor/sha/sha1.h:283:38: style: Parameter 'digest' can be declared as pointer to const [constParameterPointer] dune-3.14.0/vendor/sha/sha256_stubs.c:139:19: warning: Obsolete function 'alloca' called. In C99 and later it is recommended to use a variable length array instead. [allocaCalled] dune-3.14.0/vendor/sha/sha256_stubs.c:32:37: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] dune-3.14.0/vendor/sha/sha256.h:56:68: style: Parameter 'src' can be declared as pointer to const [constParameterPointer] dune-3.14.0/vendor/sha/sha256.h:228:42: style: Parameter 'digest' can be declared as pointer to const [constParameterPointer] diff: head dune-3.14.0/otherlibs/stdune/src/platform_stubs.c:18:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar] head dune-3.14.0/otherlibs/stdune/src/platform_stubs.c:27:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar] head dune-3.14.0/otherlibs/stdune/src/platform_stubs.c:36:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar] head dune-3.14.0/otherlibs/stdune/src/platform_stubs.c:45:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_false [valueFlowBailoutIncompleteVar] head dune-3.14.0/src/csexp_rpc/csexp_rpc_stubs.c:67:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] head dune-3.14.0/src/dune_util/dune_flock.c:74:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LOCK_UN [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/ocaml-inotify/src/inotify_stubs.c:142:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOTSUP [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/ocaml-inotify/src/inotify_stubs.c:148:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOTSUP [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/ocaml-inotify/src/inotify_stubs.c:153:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOTSUP [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/ocaml-inotify/src/inotify_stubs.c:158:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOTSUP [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/ocaml-inotify/src/inotify_stubs.c:164:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOTSUP [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha1_stubs.c:106:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha1_stubs.c:113:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha1_stubs.c:124:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha1_stubs.c:139:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha1_stubs.c:159:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha1_stubs.c:170:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha1_stubs.c:188:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha1_stubs.c:199:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha1_stubs.c:75:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha1_stubs.c:90:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha256_stubs.c:105:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha256_stubs.c:111:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha256_stubs.c:122:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha256_stubs.c:137:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha256_stubs.c:157:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha256_stubs.c:168:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha256_stubs.c:186:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha256_stubs.c:197:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha256_stubs.c:75:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha256_stubs.c:89:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha512_stubs.c:105:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha512_stubs.c:111:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha512_stubs.c:122:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha512_stubs.c:137:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha512_stubs.c:157:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha512_stubs.c:168:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha512_stubs.c:186:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha512_stubs.c:197:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha512_stubs.c:75:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable result [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/sha/sha512_stubs.c:89:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Val_unit [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/spawn/src/spawn_stubs.c:148:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_CLOEXEC [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/spawn/src/spawn_stubs.c:156:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Nothing [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/spawn/src/spawn_stubs.c:224:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/spawn/src/spawn_stubs.c:296:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIG_DFL [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/spawn/src/spawn_stubs.c:347:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Nothing [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/spawn/src/spawn_stubs.c:464:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable String_tag [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/spawn/src/spawn_stubs.c:694:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] head dune-3.14.0/vendor/spawn/src/spawn_stubs.c:794:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOSYS [valueFlowBailoutIncompleteVar] DONE