Build:
- 0
2026-09-06 19:00.59: New job: build lintcstubs.0.4.7 (dc8e7f2766ac)
2026-09-06 19:00.59: Waiting for resource in pool day11-builds
2026-09-06 19:07.17: Got resource from pool day11-builds
2026-09-06 19:07.17: [profile full] build lintcstubs.0.4.7
2026-09-06 19:07.17: build lintcstubs.0.4.7 (dc8e7f2766ac)
=== DEPENDENCIES (76 transitive) ===
angstrom.0.16.1 e7a677ecbad7
arg-complete.0.2.1 2160e6aefbac
astring.0.8.5 632949034a64
base-threads.base 3d2f2cbc6db2
base-unix.base 3a38ddca6b5e
batteries.3.11.0 406960c0fc70
bigstringaf.0.10.0 81ac91c311f3
bos.0.3.0 5c89b6299ecb
camlp-streams.5.0.1 4c58a1da28ba
catapult.0.1.1 a6bff6674033
catapult-file.0.1.1 27b124620a50
cmdliner.1.3.0 50421b7f7592
conf-autoconf.1 788c5c60b51c
conf-gcc.1.0 ab0562dd03ad
conf-gmp.5 eac5259e412f
conf-perl.2 f520f20c9658
conf-pkg-config.5 74f50f3cfe72
cppo.1.8.0 8b34f9718c9c
cpu.2.0.0 ccefc8dd51e6
csexp.1.5.2 c758d7657e5b
cstruct.6.3.0 e176deed2a95
ctypes.0.24.0 73e0fbf79f27
dune.3.24.2 bf83cdf0a904
dune-compiledb.0.6.0 d5711800cc8b
dune-configurator.3.24.2 23afe5cb4d3b
dune-private-libs.3.24.2 6066168c054e
dune-site.3.24.2 428a5f28a632
dyn.3.24.2 04b792680349
ezjsonm.1.3.0 263b2339f69b
fmt.0.11.0 90404cf711de
fpath.0.7.3 94c0602f02cc
fs-io.3.24.2 c2edf5989d7f
goblint.2.1.0 80c203ecbf56
goblint-cil.2.0.1 9ce29b587ae9
hex.1.5.0 31688a919b07
integers.0.8.0 e09615b6ddf8
json-data-encoding.1.0.1 343b26fe1b7f
jsonm.1.0.2 2748527a6357
jsonrpc.1.27.0 44d428ad96dd
lintcstubs-arity.0.5.2 d12138f6ae93
lintcstubs-gen.0.4.7 b1273f185cb6
logs.0.10.0 9b6b9643ea52
num.1.6 fe036226102b
ocaml.4.14.4 c7d6265b51fe
ocaml-base-compiler.4.14.4 7a409b6ffbef
ocaml-compiler-libs.v0.12.4 0a923ba812db
ocaml-config.2 85edea6ac168
ocaml-syntax-shims.1.0.0 dd7617b68ec9
ocamlbuild.0.16.1 5ae5ab4d19bf
ocamlfind.1.9.8 3cae95bed0a0
ordering.3.24.2 6591ac932c4c
parsexp.v0.16.0 6a4dbf4d3d29
pp.2.0.0 7aa595bb110f
ppx_blob.0.9.0 8ee95402d863
ppx_derivers.1.2.1 e8685a77fc9e
ppx_deriving.6.1.3 fa382c91a182
ppx_deriving_hash.0.1.4 9d5f999ac376
ppx_deriving_yojson.3.10.0 2a3e77bfc441
ppxlib.0.38.0 2b1394b10162
qcheck-core.0.25 b5c1d9faf67b
rresult.0.7.0 e91945a392c9
seq.base 1957e27deb9b
sexplib.v0.16.0 f65b5dccd754
sexplib0.v0.16.0 a69f43de36f7
sha.1.15.4 c4e92bf9205e
stdlib-shims.0.3.0 484c72a128b6
stdune.3.24.2 1bf6c52ef391
stringext.1.6.0 9520d67485ad
top-closure.3.24.2 c2504bb6d730
topkg.1.1.1 f1122af0988e
uri.4.4.0 7c67c85f3177
uuidm.0.9.10 8443fce44abb
uutf.1.0.4 c96782dc9eaa
yaml.3.2.0 e34f34346e84
yojson.2.2.2 e000bace4fce
zarith.1.14 fc3f7a60e6b3
=== 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-09-06 19:07.45: OK: build lintcstubs.0.4.7 (runc: 12.1s, disk: 17KB)
2026-09-06 19:07.45: Job succeeded