Build:
- 0
2026-06-23 22:45.00: New job: build lintcstubs.0.4.7 (62a8b94cb899)
2026-06-23 22:45.00: Waiting for resource in pool day11-builds
2026-06-23 23:02.54: Got resource from pool day11-builds
2026-06-23 23:02.54: [profile full] build lintcstubs.0.4.7
2026-06-23 23:02.54: build lintcstubs.0.4.7 (62a8b94cb899)
=== DEPENDENCIES (76 transitive) ===
angstrom.0.16.1 a499461c2439
arg-complete.0.2.1 a8b072032eb9
astring.0.8.5 156e7cc742dd
base-threads.base b7164ff76afe
base-unix.base 839dc585f12d
batteries.3.10.0 8ce9dee731cf
bigstringaf.0.10.0 b0e2fb8e5d3b
bos.0.3.0 1e403737c37e
camlp-streams.5.0.1 76b76cc9fe05
catapult.0.1.1 0e4bd7cfdff9
catapult-file.0.1.1 d434217e1759
cmdliner.1.3.0 dad70bc4de20
conf-autoconf.0.2 b3cd190cf0b5
conf-gcc.1.0 dd4c5e537e37
conf-gmp.5 61e3c79e0ddf
conf-perl.2 9ee1ae5f2bf1
conf-pkg-config.5 4b60827fc174
cppo.1.8.0 ea583d2d3bbb
cpu.2.0.0 2a34397cc1f1
csexp.1.5.2 ec63db2dab31
cstruct.6.2.0 3af3e53176c5
ctypes.0.24.0 5228215932fd
dune.3.23.1 5402470d931c
dune-compiledb.0.6.0 7aef10fed0d8
dune-configurator.3.23.1 58f4a3f92083
dune-private-libs.3.23.1 c16cf28d7d13
dune-site.3.23.1 cbc187aaca46
dyn.3.23.1 e5561c8a8690
ezjsonm.1.3.0 a53601515c77
fmt.0.11.0 2f125ef7f2a8
fpath.0.7.3 d991925a5b6c
fs-io.3.23.1 f4ff16bec1f6
goblint.2.1.0 3442155518d4
goblint-cil.2.0.1 b2b6a1d9ad01
hex.1.5.0 b1a3e2a02986
integers.0.8.0 705d881ec2bb
json-data-encoding.1.0.1 8a703cf045ef
jsonm.1.0.2 bd232e48c922
jsonrpc.1.27.0 4be188bcdab3
lintcstubs-arity.0.5.2 1c412ba774bd
lintcstubs-gen.0.4.7 c6c8f13a1673
logs.0.10.0 7db568857837
num.1.6 480227ca99db
ocaml.4.14.4 cb826ea44eb2
ocaml-base-compiler.4.14.4 d2f775f983d7
ocaml-compiler-libs.v0.12.4 d1dd1437b449
ocaml-config.2 669e0fcf9e4d
ocaml-syntax-shims.1.0.0 8e1b0ec7f904
ocamlbuild.0.16.1 8f6c52e6fce8
ocamlfind.1.9.8 6025f4a8e98e
ordering.3.23.1 2cd0c0f186b7
parsexp.v0.16.0 75d2c6ce6b44
pp.2.0.0 e9675c1d094b
ppx_blob.0.9.0 254d8f6c1641
ppx_derivers.1.2.1 441538dbecd1
ppx_deriving.6.1.1 441be4f273f5
ppx_deriving_hash.0.1.3 a58f6e69ae42
ppx_deriving_yojson.3.10.0 0c1e7e6d3073
ppxlib.0.38.0 12ad7b47c24b
qcheck-core.0.25 efa263080dee
rresult.0.7.0 66e2b7baf32c
seq.base 063828a3d698
sexplib.v0.16.0 c758cedeb83d
sexplib0.v0.16.0 3e198ce31e44
sha.1.15.4 612fa7082e16
stdlib-shims.0.3.0 e2dd0beb9112
stdune.3.23.1 0684573a47aa
stringext.1.6.0 d29c9ca4a03c
top-closure.3.23.1 d4de8fb0f42a
topkg.1.1.1 ab549298f3fc
uri.4.4.0 a28bedf1b002
uuidm.0.9.10 827a15cac792
uutf.1.0.4 9791e8459782
yaml.3.2.0 f8f4ea6f4077
yojson.2.2.2 dc1b4f6684bd
zarith.1.14 da8b932acb94
=== 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
[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
-> installed lintcstubs.0.4.7
=== STDERR ===
2026-06-23 23:03.21: OK: build lintcstubs.0.4.7 (runc: 8.6s, disk: 17KB)
2026-06-23 23:03.21: Job succeeded