Build:
- 0
2026-06-24 17:44.34: New job: build lintcstubs.0.4.7 (205e1a87ac92)
2026-06-24 17:44.34: Waiting for resource in pool day11-builds
2026-06-24 18:28.04: Got resource from pool day11-builds
2026-06-24 18:28.04: [profile full] build lintcstubs.0.4.7
2026-06-24 18:28.04: build lintcstubs.0.4.7 (205e1a87ac92)
=== DEPENDENCIES (76 transitive) ===
angstrom.0.16.1 b3c0b2c22161
arg-complete.0.2.1 8abae4b2e18f
astring.0.8.5 4ebc2fc0ee9d
base-threads.base c9e7bdbf5823
base-unix.base 7d1428be9ddb
batteries.3.10.0 3a8b7aeb2b17
bigstringaf.0.10.0 2670f46d1cef
bos.0.3.0 8481a40aa04a
camlp-streams.5.0.1 28f363162dde
catapult.0.1.1 ca5b185842f0
catapult-file.0.1.1 2158e936b0b0
cmdliner.1.3.0 7280d3fb1acd
conf-autoconf.0.2 676e4452dc37
conf-gcc.1.0 77cee661efa8
conf-gmp.5 be11edf77089
conf-perl.2 bdcd7b1dce5e
conf-pkg-config.5 d5de2c6a88f9
cppo.1.8.0 5f3f70cae95b
cpu.2.0.0 ea64dadd0949
csexp.1.5.2 610c78f17734
cstruct.6.2.0 e9d4a3904d04
ctypes.0.24.0 452af01b1e54
dune.3.23.1 848a72441e15
dune-compiledb.0.6.0 5d59e810ef93
dune-configurator.3.23.1 bc97ce98d8a9
dune-private-libs.3.23.1 a89eb46c4096
dune-site.3.23.1 5b411fa7d2d0
dyn.3.23.1 d06a41e37199
ezjsonm.1.3.0 7c6287d3ac01
fmt.0.11.0 7cf6f7d63275
fpath.0.7.3 eb0f576d915f
fs-io.3.23.1 98b9a2abb289
goblint.2.1.0 7295e2cca578
goblint-cil.2.0.1 47f6de2ab1c5
hex.1.5.0 97fd0cae853c
integers.0.8.0 203cb4afbaa0
json-data-encoding.1.0.1 678b38712842
jsonm.1.0.2 f6ae894bc8c9
jsonrpc.1.27.0 c31a78e7be0c
lintcstubs-arity.0.5.2 6361c9c2435f
lintcstubs-gen.0.4.7 7a7d4e087520
logs.0.10.0 1d70129bf679
num.1.6 110cee7a7e2e
ocaml.4.14.4 b047fb9251f4
ocaml-base-compiler.4.14.4 d3b7ccb2c6fb
ocaml-compiler-libs.v0.12.4 2aecf989b0b2
ocaml-config.2 2d9c209f5590
ocaml-syntax-shims.1.0.0 ac7d70c1c23c
ocamlbuild.0.16.1 7e0d6aadb209
ocamlfind.1.9.8 214dd418ac02
ordering.3.23.1 acee06651db0
parsexp.v0.16.0 63c67db8428c
pp.2.0.0 926de0790ed1
ppx_blob.0.9.0 2c6bfa5d4997
ppx_derivers.1.2.1 9245877bc46e
ppx_deriving.6.1.1 bba3da142d52
ppx_deriving_hash.0.1.3 9eb1e3995fe0
ppx_deriving_yojson.3.10.0 bb71c9bad78a
ppxlib.0.38.0 26a4c6340096
qcheck-core.0.25 e7770e19266c
rresult.0.7.0 ab060a31b0aa
seq.base 0160fc3002c2
sexplib.v0.16.0 4838f1139cdf
sexplib0.v0.16.0 7a6e649d895c
sha.1.15.4 b4de1bf3361e
stdlib-shims.0.3.0 de5202e23add
stdune.3.23.1 37612cfafcf0
stringext.1.6.0 9dbcca0df50a
top-closure.3.23.1 7d9982fac4c7
topkg.1.1.1 511e1a1958da
uri.4.4.0 ae40a4374ff7
uuidm.0.9.10 74453a1b50a9
uutf.1.0.4 6722c3fe4bcc
yaml.3.2.0 eccdde2f2381
yojson.2.2.2 9d5886e4d75e
zarith.1.14 a8971d2f668c
=== 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.0.2 and conf-pkg-config.5 depend on the following system packages that are no longer installed: autoconf pkg-config
- conf-autoconf.0.2: depends on autoconf
- conf-pkg-config.5: depends on pkg-config
=== STDERR ===
2026-06-24 18:28.47: OK: build lintcstubs.0.4.7 (runc: 8.2s, disk: 17KB)
2026-06-24 18:28.47: Job succeeded