Build:
- 0
2026-10-21 17:02.02: New job: build lintcstubs.0.4.7 (bde0edbbe25e)
2026-10-21 17:02.02: Waiting for resource in pool day11-builds
2026-10-21 17:03.21: Got resource from pool day11-builds
2026-10-21 17:03.21: [profile odoc-master-mini] build lintcstubs.0.4.7
2026-10-21 17:03.21: build lintcstubs.0.4.7 (bde0edbbe25e)
=== DEPENDENCIES (76 transitive) ===
angstrom.0.16.1 5b077ed3edcf
arg-complete.0.2.1 bc0b3245bafc
astring.0.8.5 8ded4a733500
base-threads.base ca51096a9c5b
base-unix.base 88a83b7ed333
batteries.3.11.0 dc0736f450d7
bigstringaf.0.10.0 5905ae114b31
bos.0.3.0 e8c1596c2367
camlp-streams.5.0.1 41701e6bb1ac
catapult.0.1.1 a49eb47cffc2
catapult-file.0.1.1 79ebf22c7608
cmdliner.1.3.0 d087df1229ce
conf-autoconf.1 5ab3ab11f357
conf-gcc.1.0 85ba5a42c764
conf-gmp.5 d0211a82c71f
conf-perl.2 1cdaea70f030
conf-pkg-config.5 26be2768a637
cppo.1.8.0 9f6eb1046695
cpu.2.0.0 33312f85cc42
csexp.1.5.2 2d9aad88fd83
cstruct.6.3.0 b28d0cf39ab0
ctypes.0.24.0 a539b430ecf2
dune.3.24.2 354f182a4824
dune-compiledb.0.6.0 493cd20db047
dune-configurator.3.24.2 c64f06298a93
dune-private-libs.3.24.2 4fe0b58709b2
dune-site.3.24.2 8f8a87890c65
dyn.3.24.2 7fc95c971a29
ezjsonm.1.3.0 f648797fb9f0
fmt.0.11.0 2fcf5ec8a014
fpath.0.7.3 2b723f0e81c5
fs-io.3.24.2 c1160d68999c
goblint.2.1.0 3759e9d06e1f
goblint-cil.2.0.1 9ce4c0893e56
hex.1.5.0 3c7bff8de67c
integers.0.8.0 eee0fd306744
json-data-encoding.1.0.1 c3d4d39065d6
jsonm.1.0.2 0342acc74dd7
jsonrpc.1.27.0 94f0949b6a6f
lintcstubs-arity.0.5.2 ce50a7eca1e5
lintcstubs-gen.0.4.7 5181970b7b2b
logs.0.10.0 14e08331f41f
num.1.6 f5e51623b177
ocaml.4.14.4 2cc549d6f8d5
ocaml-base-compiler.4.14.4 ecbd009faad9
ocaml-compiler-libs.v0.12.4 9dbc6026593e
ocaml-config.2 c0047cbf7f6a
ocaml-syntax-shims.1.0.0 1e4b307d24c8
ocamlbuild.0.16.1 7b2793ce8182
ocamlfind.1.9.8 775658c4e58c
ordering.3.24.2 d8409af7fd4f
parsexp.v0.16.0 87cf9392491f
pp.2.0.0 f327107a4b68
ppx_blob.0.9.0 6c9432912458
ppx_derivers.1.2.1 0e78ab2c0cc7
ppx_deriving.6.2.0 26903882b005
ppx_deriving_hash.0.1.5 08595ddd4a8a
ppx_deriving_yojson.3.10.0 4623eb498e55
ppxlib.0.39.0 65658d4113d0
qcheck-core.0.25 44f563f978b1
rresult.0.7.0 c3b7189befa1
seq.base da83aa6fcae2
sexplib.v0.16.0 c30e8084d34d
sexplib0.v0.16.0 eeea975eda16
sha.1.15.4 a7524df83b78
stdlib-shims.0.3.0 419cf0ff9040
stdune.3.24.2 7e4896a6c8c5
stringext.1.6.0 d98560076e3f
top-closure.3.24.2 0ea847c7703d
topkg.1.1.1 87e63ede0e3c
uri.4.4.0 12bb68b0f50f
uuidm.0.9.10 7433ad0d7e3f
uutf.1.0.4 3a3b8b7b7de4
yaml.3.2.0 2675c322b21e
yojson.2.2.2 2d31a370c211
zarith.1.14 3789491f3c85
=== STDOUT ===
Processing: [default: loading data]
[lintcstubs.0.4.7: extract]
-> retrieved lintcstubs.0.4.7 (cached)
[lintcstubs: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "lintcstubs" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/lintcstubs.0.4.7)
- (cd _build/default/model && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 -Wall -fdiagnostics-color=always -Wno-attributes -g -I /home/opam/.opam/default/lib/ocaml -I include -o ocaml_runtime.model.o -c ocaml_runtime.model.c)
- ocaml_runtime.model.c: In function '__caml_maybe_run_finalizer':
- ocaml_runtime.model.c:213:21: warning: unused variable 'ret' [-Wunused-variable]
- 213 | uintnat ret = ops->deserialize(dst);
- | ^~~
- ocaml_runtime.model.c: In function '__caml_maybe_run_gc':
- ocaml_runtime.model.c:266:35: warning: the comparison will always evaluate as 'true' for the address of 'tables' will never be NULL [-Waddress]
- 266 | __goblint_assume(!!lr->tables);
- | ^
- In file included from ocaml_runtime.model.c:42:
- /home/opam/.opam/default/lib/ocaml/caml/memory.h:257:10: note: 'tables' declared here
- 257 | value *tables [5];
- | ^~~~~~
- ocaml_runtime.model.c: In function 'caml_alloc':
- ocaml_runtime.model.c:312:14: warning: unused variable 'i' [-Wunused-variable]
- 312 | unsigned i;
- | ^
- ocaml_runtime.model.c: In function '__VERIFIER_nondet_value':
- ocaml_runtime.model.c:157:21: warning: 'val' is used uninitialized [-Wuninitialized]
- 157 | { value val; return val; }
- | ^~~
- ocaml_runtime.model.c:157:9: note: 'val' was declared here
- 157 | { value val; return val; }
- | ^~~
- ocaml_runtime.model.c: In function '__VERIFIER_nondet_int32':
- ocaml_runtime.model.c:599:23: warning: 'val' is used uninitialized [-Wuninitialized]
- 599 | { int32_t val; return val; }
- | ^~~
- ocaml_runtime.model.c:599:11: note: 'val' was declared here
- 599 | { int32_t val; return val; }
- | ^~~
- ocaml_runtime.model.c: In function '__VERIFIER_nondet_int64':
- ocaml_runtime.model.c:602:23: warning: 'val' is used uninitialized [-Wuninitialized]
- 602 | { int64_t val; return val; }
- | ^~~
- ocaml_runtime.model.c:602:11: note: 'val' was declared here
- 602 | { int64_t val; return val; }
- | ^~~
[lintcstubs: dune install]
+ /home/opam/.opam/default/bin/dune "install" "-p" "lintcstubs" "--create-install-files" "lintcstubs" (CWD=/home/opam/.opam/default/.opam-switch/build/lintcstubs.0.4.7)
-> compiled lintcstubs.0.4.7
-> installed lintcstubs.0.4.7
[WARNING] Opam packages conf-autoconf.1 and conf-pkg-config.5 depend on the following system packages that are no longer installed: autoconf pkg-config
- conf-autoconf.1: depends on autoconf
- conf-pkg-config.5: depends on pkg-config
=== STDERR ===
2026-10-21 17:03.52: OK: build lintcstubs.0.4.7 (runc: 7.1s, disk: 17KB)
2026-10-21 17:03.52: Job succeeded