Build:
- 0
2026-10-15 21:36.27: New job: build lintcstubs.0.4.7 (2683df095037)
2026-10-15 21:36.27: [profile odoc-master-mini] build lintcstubs.0.4.7
2026-10-15 21:36.27: build lintcstubs.0.4.7 (2683df095037)
=== DEPENDENCIES (76 transitive) ===
angstrom.0.16.1 78b738dc461f
arg-complete.0.2.1 8a1e56056f70
astring.0.8.5 4df1147dee0b
base-threads.base 464810371b96
base-unix.base 4596d20d2cf7
batteries.3.11.0 4679de03e8f8
bigstringaf.0.10.0 4f193fdfbf0a
bos.0.3.0 bf6273f878b2
camlp-streams.5.0.1 18350daa84f7
catapult.0.1.1 6fd415f539fe
catapult-file.0.1.1 5be913761bef
cmdliner.1.3.0 8c281666b167
conf-autoconf.1 8ee1e3913008
conf-gcc.1.0 fa8ab9cfaa38
conf-gmp.5 c2adbec9a470
conf-perl.2 a1fd2a7adae8
conf-pkg-config.5 e39f7209b38f
cppo.1.8.0 3bbb31401186
cpu.2.0.0 1632c90df23d
csexp.1.5.2 6d735fd4b018
cstruct.6.3.0 27a88d636c88
ctypes.0.24.0 fcd92b8559d4
dune.3.24.2 4f081a8c57e2
dune-compiledb.0.6.0 129d1d969721
dune-configurator.3.24.2 13fe31dfc8d2
dune-private-libs.3.24.2 3edab8d19107
dune-site.3.24.2 387aa14dfc93
dyn.3.24.2 7851b9a793f6
ezjsonm.1.3.0 84adbf5c8953
fmt.0.11.0 54441a56294a
fpath.0.7.3 5a98c1728381
fs-io.3.24.2 23504bbbeb01
goblint.2.1.0 2d760063a314
goblint-cil.2.0.1 845c3309ec22
hex.1.5.0 0ec8bef4c148
integers.0.8.0 5b406139435e
json-data-encoding.1.0.1 a523b1e41f56
jsonm.1.0.2 bf9dc2579d78
jsonrpc.1.27.0 0c5b8e4dd161
lintcstubs-arity.0.5.2 407dcfbbf4ab
lintcstubs-gen.0.4.7 2bc83db9863a
logs.0.10.0 4d0e6b973270
num.1.6 2b3f826c1e67
ocaml.4.14.4 6cafabaae5fc
ocaml-base-compiler.4.14.4 65936044bfbc
ocaml-compiler-libs.v0.12.4 ac0b5929aac1
ocaml-config.2 325020f5e1be
ocaml-syntax-shims.1.0.0 4e2d2b48d1ca
ocamlbuild.0.16.1 0da91635c1bf
ocamlfind.1.9.8 6e2563fa3f01
ordering.3.24.2 ef6d17e326c7
parsexp.v0.16.0 ea5185d5df0f
pp.2.0.0 fec0200367e0
ppx_blob.0.9.0 deccabd63858
ppx_derivers.1.2.1 d1b25d3eb0bd
ppx_deriving.6.2.0 a2f47a12f9b3
ppx_deriving_hash.0.1.5 2e5017ab7948
ppx_deriving_yojson.3.10.0 54dd249fc753
ppxlib.0.39.0 e8585e853fdc
qcheck-core.0.25 83985f1807d3
rresult.0.7.0 c9ae3729772c
seq.base 2fc662fbeebc
sexplib.v0.16.0 bb8eb02f72ad
sexplib0.v0.16.0 efafbf576843
sha.1.15.4 5099151fd3f1
stdlib-shims.0.3.0 11688d4ad359
stdune.3.24.2 1a0b123baeb8
stringext.1.6.0 ef7e9c779112
top-closure.3.24.2 a4109afa6f28
topkg.1.1.1 c8f62b7827be
uri.4.4.0 be1a68c960a3
uuidm.0.9.10 b4a6bcc4c53d
uutf.1.0.4 5a6ebbb991f9
yaml.3.2.0 d43c672bf0c5
yojson.2.2.2 ca435b053ae3
zarith.1.14 1e9b23535aeb
=== 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-15 21:36.35: OK: build lintcstubs.0.4.7 (runc: 3.6s, disk: 17KB)
2026-10-15 21:36.35: Job succeeded