Build:
- 1
- 0
2026-10-01 22:41.38: New job: build lintcstubs.0.4.7 (3c2ccdba6bd9)
2026-10-01 22:41.38: Waiting for resource in pool day11-builds
2026-10-01 22:43.09: Got resource from pool day11-builds
2026-10-01 22:43.09: [profile odoc-master-mini] build lintcstubs.0.4.7
2026-10-01 22:43.09: build lintcstubs.0.4.7 (3c2ccdba6bd9)
=== DEPENDENCIES (76 transitive) ===
angstrom.0.16.1 dc8d5f487619
arg-complete.0.2.1 d05d43aa1816
astring.0.8.5 a303b48f3c4a
base-threads.base ddcab511c589
base-unix.base 742554e1dbc2
batteries.3.11.0 d3cc01243e0b
bigstringaf.0.10.0 dba21fc22654
bos.0.3.0 a0cd59cb1af9
camlp-streams.5.0.1 c544ff4c9329
catapult.0.1.1 b5a6da16b5a0
catapult-file.0.1.1 bfaf5f7550a6
cmdliner.1.3.0 239cf14ab2a9
conf-autoconf.1 43fe4a407b7a
conf-gcc.1.0 6685ee1398d6
conf-gmp.5 00570d20295f
conf-perl.2 1d11854fa169
conf-pkg-config.5 5bc8297bba82
cppo.1.8.0 1ad8193c77b2
cpu.2.0.0 15cf7377ca57
csexp.1.5.2 f3f13927fb9a
cstruct.6.3.0 3f34ccff461c
ctypes.0.24.0 7d0e81708b1e
dune.3.24.2 ea2bcb45ca29
dune-compiledb.0.6.0 abe08527de7b
dune-configurator.3.24.2 01cbc2b77bf8
dune-private-libs.3.24.2 14fe1dcecf19
dune-site.3.24.2 38860a71b9b6
dyn.3.24.2 1b6db2d1aaf3
ezjsonm.1.3.0 cc23b2131447
fmt.0.11.0 9f15538c6c7b
fpath.0.7.3 2abddac890de
fs-io.3.24.2 52946e5d5f04
goblint.2.1.0 aa74ce3b2288
goblint-cil.2.0.1 3d512b657999
hex.1.5.0 1464258bec7f
integers.0.8.0 9634da00660c
json-data-encoding.1.0.1 5d0b7c470a9e
jsonm.1.0.2 5d6079760a20
jsonrpc.1.27.0 97c3844783a6
lintcstubs-arity.0.5.2 c8143d839e91
lintcstubs-gen.0.4.7 d6ca43b45feb
logs.0.10.0 de5b75628481
num.1.6 9b8d17e98111
ocaml.4.14.4 0eceb429ac11
ocaml-base-compiler.4.14.4 4a21df12bcb6
ocaml-compiler-libs.v0.12.4 35eb4dc2f91b
ocaml-config.2 58cec4e89336
ocaml-syntax-shims.1.0.0 fc52f231e67a
ocamlbuild.0.16.1 4135d20a244c
ocamlfind.1.9.8 7bca84f6ccc0
ordering.3.24.2 cdca1263c57d
parsexp.v0.16.0 f60e54c4f532
pp.2.0.0 9aeaceabc245
ppx_blob.0.9.0 9a8cf3eb5fab
ppx_derivers.1.2.1 c7bcacc2160f
ppx_deriving.6.2.0 2df570223b87
ppx_deriving_hash.0.1.4 6f1304ba24d2
ppx_deriving_yojson.3.10.0 45d1bdb50ea2
ppxlib.0.38.0 ef357063c7fc
qcheck-core.0.25 33f488ca6385
rresult.0.7.0 072b89002a5b
seq.base 5c9e32a94f22
sexplib.v0.16.0 b0ee3455610e
sexplib0.v0.16.0 9b06754870fd
sha.1.15.4 43c72751faa8
stdlib-shims.0.3.0 f92f058899fa
stdune.3.24.2 2cd3a19522fa
stringext.1.6.0 bcce464bddee
top-closure.3.24.2 080ff5f8b349
topkg.1.1.1 31619c70d561
uri.4.4.0 62e9a5b07550
uuidm.0.9.10 752ad4ac57e6
uutf.1.0.4 bdc9dcfb64b1
yaml.3.2.0 c0b56156d3d1
yojson.2.2.2 c4744a1c41aa
zarith.1.14 14fa3444722a
=== 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-01 22:43.51: OK: build lintcstubs.0.4.7 (runc: 20.8s, disk: 17KB)
2026-10-01 22:43.51: Job succeeded