Build:
- 0
2026-09-04 19:18.50: New job: build frama-c.32.1 (5a3623228252) 2026-09-04 19:18.50: Waiting for resource in pool day11-builds 2026-09-04 19:24.15: Got resource from pool day11-builds 2026-09-04 19:24.15: [profile full] build frama-c.32.1 2026-09-04 19:24.15: build frama-c.32.1 (5a3623228252) === DEPENDENCIES (87 transitive) === alt-ergo-free.2.4.3 b68804c0f159 astring.0.8.5 dd9bc4900cb4 base.v0.17.3 d0dd5eed4346 base-bigarray.base 31ac6860ef52 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e bos.0.3.0 aab778a56da5 cairo2.0.6.5 4ab6e76472a5 camlp-streams.5.0.1 64e37c711deb camlzip.1.14 680aa1cb2b96 cmdliner.1.3.0 1ca5e2b52587 compiler-cloning.enabled 966a2e6839f0 conf-autoconf.1 788c5c60b51c conf-cairo.1 9e32499642c2 conf-gmp.5 eac5259e412f conf-gtk3.18 29bc2ce5fb33 conf-gtksourceview3.0+2 89f7273ce96d conf-pkg-config.5 74f50f3cfe72 conf-zlib.1 26591fa9352c cppo.1.8.0 13f8a6a9db93 csexp.1.5.2 9a2d2be1d04b ctypes.0.24.0 64748d311e7b dune.3.23.1 22cf6d1ea22c dune-build-info.3.23.1 4624a6ebd68c dune-configurator.3.23.1 b5f9b391f631 dune-private-libs.3.23.1 3459e7a09fb9 dune-site.3.23.1 2a5f9d895b5f dyn.3.23.1 748629c25f9d fmt.0.11.0 4ca72d98e2d4 fpath.0.7.3 313c8edc1b30 fs-io.3.23.1 fb54d9dccb25 integers.0.8.0 cf7736a60bfc jane-street-headers.v0.17.0 70febc76b7c6 jst-config.v0.17.0 6eb30f439352 lablgtk3.3.1.5 61e6946809db lablgtk3-sourceview3.3.1.5 34802f529576 logs.0.10.0 45f87d5ce2c4 menhir.20260209 9be735011329 menhirCST.20260209 beab0009db07 menhirGLR.20260209 fc4ad5882c68 menhirLib.20260209 e6853991719c menhirSdk.20260209 fcdf98fe2e0f num.1.6 244eeeb7f1b4 ocaml.5.5.1 70ca0c66e0e8 ocaml-base-compiler.5.5.1 59841d7ed85e ocaml-compiler.5.5.1 492c0c740bd1 ocaml-compiler-libs.v0.17.0 7f471ce172cd ocaml_intrinsics_kernel.v0.17.2 e5d7a8348fd8 ocamlbuild.0.16.1 e25cf731aeb5 ocamlfind.1.9.9~preview 5e0261154b58 ocamlgraph.2.2.0 1019a1f4d717 ocplib-simplex.0.4.1 6a350905e3c2 ordering.3.23.1 f87c8a8e49ea pp.2.0.0 2b5a9fdf95a9 ppx_assert.v0.17.0 c09f20edd342 ppx_base.v0.17.0 54799b53326c ppx_cold.v0.17.0 db8218feed5c ppx_compare.v0.17.0 c9ee3d8420d8 ppx_derivers.1.2.1 9eb1f6071ff7 ppx_deriving.6.1.3 c5531709bec1 ppx_deriving_yaml.0.4.1 c2f401ceb2cc ppx_deriving_yojson.3.10.0 07754b9ef366 ppx_enumerate.v0.17.0 be67f703be36 ppx_globalize.v0.17.2 a09b3c971835 ppx_hash.v0.17.0 d5e194548d4c ppx_here.v0.17.0 5c3364d15dee ppx_inline_test.v0.17.1 425597f15532 ppx_optcomp.v0.17.1 1eb89d6e03e4 ppx_sexp_conv.v0.17.1 f58a553df1b3 ppxlib.0.38.0 0364b65424cf ppxlib_jane.v0.17.4 40dd5e65a914 psmt2-frontend.0.4.0 58f8b9bc23a5 rresult.0.7.0 bd921cc3de54 seq.base 06af5ac9d1a8 sexplib0.v0.17.0 ae041225f584 stdio.v0.17.0 a321066cc294 stdlib-shims.0.3.0 5203a7d1e59d stdune.3.23.1 ea9680fac3da store.0.2 e52317c78f83 time_now.v0.17.0 c0c3c9355869 top-closure.3.23.1 285f9e48d41e topkg.1.1.1 2919b4412ec4 unionFind.20260226 21fcc8929b9e why3.1.8.2 d7b89a14805d yaml.3.2.0 bfe4163c47f5 yojson.3.0.0 e8771a1c82bd zarith.1.14 345688a9ddb6 === STDOUT === Processing: [default: loading data] [frama-c.32.1: dl] [frama-c.32.1: extract] -> retrieved frama-c.32.1 (https://opam.ocaml.org/cache) [frama-c: dune build] + /home/opam/.opam/default/bin/dune "build" "-j39" "--release" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c.32.1) - (cd _build/default/src/plugins/e-acsl/contrib/libdlmalloc && /usr/bin/make) - CC dlmalloc.c - AR libeacsl-dlmalloc.a - RANLIB libeacsl-dlmalloc.a - ar: `u' modifier ignored since `D' is the default (see `U') - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -open Frama_c_kernel -w -40 -w -9 -g -bin-annot -bin-annot-occurrences -I src/plugins/eva/.eva.objs/byte -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocaml_intrinsics_kernel -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I src/.frama_c_kernel.objs/byte -I src/init/.frama_c_very_first.objs/byte -I src/plugins/server/.server.objs/byte -cmi-file src/plugins/eva/.eva.objs/byte/eva__Subdivided_evaluation.cmi -no-alias-deps -open Eva__ -o src/plugins/eva/.eva.objs/byte/eva__Subdivided_evaluation.cmo -c -impl src/plugins/eva/engine/subdivided_evaluation.pp.ml) - File "src/plugins/eva/engine/subdivided_evaluation.ml", lines 259-261, characters 6-71: - 259 | ......match l1, l2 with - 260 | | Nil, Nil -> acc - 261 | | Cons (x1, tl1), Cons (x2, tl2) -> fold2 f tl1 tl2 (f x1 x2 acc) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: (Nil, Cons (_, _)) - - File "src/plugins/eva/engine/subdivided_evaluation.ml", lines 285-289, characters 4-56: - 285 | ....match hyp1, hyp2 with - 286 | | Nil, Nil -> 0 - 287 | | Cons (v1, tail1), Cons (v2, tail2) -> - 288 | let n = Cvalue.V.compare v1 v2 in - 289 | if n = 0 then compare_subvalues tail1 tail2 else n - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: (Nil, Cons (_, _)) - - File "src/plugins/eva/engine/subdivided_evaluation.ml", lines 294-297, characters 4-56: - 294 | ....match l1, l2 with - 295 | | Nil, Nil -> Nil - 296 | | Cons (x1, tl1), Cons (x2, tl2) -> - 297 | Cons (Cvalue.V.join x1 x2, join_subvalues tl1 tl2) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: (Nil, Cons (_, _)) - - File "src/plugins/eva/engine/subdivided_evaluation.ml", lines 324-336, characters 8-39: - 324 | ........match sizes, subvalues with - 325 | | Nil, Nil -> [ Nil ] - 326 | | Cons (size, tl_size), Cons (v, tl) -> - 327 | let append = - 328 | try - ... - 333 | fun acc tl -> Cons (v, tl) :: acc - 334 | in - 335 | let list = split tl_size tl in - 336 | List.fold_left append [] list - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: (Nil, Cons (_, _)) - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -open Frama_c_kernel -w -40 -w -9 -g -bin-annot -bin-annot-occurrences -I src/plugins/eva/.eva.objs/byte -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocaml_intrinsics_kernel -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I src/.frama_c_kernel.objs/byte -I src/init/.frama_c_very_first.objs/byte -I src/plugins/server/.server.objs/byte -cmi-file src/plugins/eva/.eva.objs/byte/eva__Results.cmi -no-alias-deps -open Eva__ -o src/plugins/eva/.eva.objs/byte/eva__Results.cmo -c -impl src/plugins/eva/utils/results.pp.ml) - File "src/plugins/eva/utils/results.ml", lines 95-98, characters 65-22: - 95 | .................................................................function - 96 | | ByCallstack c -> ByCallstack c - 97 | | Top -> Top - 98 | | Bottom -> Bottom - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Consolidated _ - - File "src/plugins/eva/utils/results.ml", lines 135-137, characters 72-37: - 135 | ........................................................................function - 136 | | Top | Bottom -> [] (* What else to do when Top is given ? *) - 137 | | ByCallstack l -> List.map fst l - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Consolidated _ - - File "src/plugins/eva/utils/results.ml", lines 143-145, characters 4-74: - 143 | ....function - 144 | | Top | Bottom -> acc (* What else to do when Top is given ? *) - 145 | | ByCallstack l -> List.fold_left (fun acc (cs,x) -> f cs x acc) acc l - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Consolidated _ - - File "src/plugins/eva/utils/results.ml", lines 382-384, characters 6-54: - 382 | ......match res with - 383 | | LValue r -> Response.map_join' make_lval join r - 384 | | Value r -> Response.map_join' make_expr join r - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Address (_, _) - - File "src/plugins/eva/utils/results.ml", lines 389-395, characters 4-28: - 389 | ....function - 390 | | LValue r -> - 391 | let extract (x, _alarms) = x >>- (fun (_valuation,fv) -> fv.Eval.v) in - 392 | Response.map extract r - 393 | | Value r -> - 394 | let extract (x, _alarms) = x >>-: (fun (_valuation,v) -> v) in - 395 | Response.map extract r - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Address (_, _) - - File "src/plugins/eva/utils/results.ml", lines 411-417, characters 4-36: - 411 | ....function - 412 | | Address (r, access) -> - 413 | let extract (x, _alarms) = - 414 | let open Bottom.Operators in - 415 | let+ _valuation,loc = x in loc - 416 | in - 417 | Response.map extract r, access - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: LValue (Consolidated _) - - File "src/plugins/eva/utils/results.ml", lines 468-478, characters 4-21: - 468 | ....function - 469 | | LValue r -> - 470 | let join = (&&) - 471 | and extract (x, _alarms) = - 472 | x >>-: (fun (_valuation,fv) -> fv.Eval.initialized) - ... - 475 | | `Bottom | `Top -> false - 476 | | `Value v -> v - 477 | end - 478 | | Value _ -> true............................................. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Address (_, _) - - File "src/plugins/eva/utils/results.ml", line 610, characters 31-49: - 610 | let as_cvalue_or_uninitialized (Value evaluation) = - ^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Address _ - - File "src/plugins/eva/utils/results.ml", line 617, characters 21-39: - 617 | let as_cvalue_result (Value evaluation) = - ^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Address _ - - File "src/plugins/eva/utils/results.ml", line 661, characters 26-46: - 661 | let as_precise_loc_result (Address lvaluation) = - ^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Value _ - - File "src/plugins/eva/utils/results.ml", line 671, characters 23-43: - 671 | let as_location_result (Address lvaluation) = - ^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Value _ - - File "src/plugins/eva/utils/results.ml", line 681, characters 19-39: - 681 | let as_zone_result (Address lvaluation) = - ^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Value _ - - File "src/plugins/eva/utils/results.ml", line 701, characters 19-37: - 701 | let is_initialized (Value evaluation) = - ^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Address _ - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -open Frama_c_kernel -w -40 -w -9 -g -I src/plugins/eva/.eva.objs/byte -I src/plugins/eva/.eva.objs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocaml_intrinsics_kernel -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I src/.frama_c_kernel.objs/byte -I src/.frama_c_kernel.objs/native -I src/init/.frama_c_very_first.objs/byte -I src/init/.frama_c_very_first.objs/native -I src/plugins/server/.server.objs/byte -I src/plugins/server/.server.objs/native -cmi-file src/plugins/eva/.eva.objs/byte/eva__Subdivided_evaluation.cmi -no-alias-deps -open Eva__ -o src/plugins/eva/.eva.objs/native/eva__Subdivided_evaluation.cmx -c -impl src/plugins/eva/engine/subdivided_evaluation.pp.ml) - File "src/plugins/eva/engine/subdivided_evaluation.ml", lines 259-261, characters 6-71: - 259 | ......match l1, l2 with - 260 | | Nil, Nil -> acc - 261 | | Cons (x1, tl1), Cons (x2, tl2) -> fold2 f tl1 tl2 (f x1 x2 acc) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: (Nil, Cons (_, _)) - - File "src/plugins/eva/engine/subdivided_evaluation.ml", lines 285-289, characters 4-56: - 285 | ....match hyp1, hyp2 with - 286 | | Nil, Nil -> 0 - 287 | | Cons (v1, tail1), Cons (v2, tail2) -> - 288 | let n = Cvalue.V.compare v1 v2 in - 289 | if n = 0 then compare_subvalues tail1 tail2 else n - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: (Nil, Cons (_, _)) - - File "src/plugins/eva/engine/subdivided_evaluation.ml", lines 294-297, characters 4-56: - 294 | ....match l1, l2 with - 295 | | Nil, Nil -> Nil - 296 | | Cons (x1, tl1), Cons (x2, tl2) -> - 297 | Cons (Cvalue.V.join x1 x2, join_subvalues tl1 tl2) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: (Nil, Cons (_, _)) - - File "src/plugins/eva/engine/subdivided_evaluation.ml", lines 324-336, characters 8-39: - 324 | ........match sizes, subvalues with - 325 | | Nil, Nil -> [ Nil ] - 326 | | Cons (size, tl_size), Cons (v, tl) -> - 327 | let append = - 328 | try - ... - 333 | fun acc tl -> Cons (v, tl) :: acc - 334 | in - 335 | let list = split tl_size tl in - 336 | List.fold_left append [] list - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: (Nil, Cons (_, _)) - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -open Frama_c_kernel -w -40 -w -9 -g -I src/plugins/eva/.eva.objs/byte -I src/plugins/eva/.eva.objs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-private-libs/meta_parser -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/linker -I /home/opam/.opam/default/lib/dune-site/plugins -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocaml_intrinsics_kernel -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/zip -I src/.frama_c_kernel.objs/byte -I src/.frama_c_kernel.objs/native -I src/init/.frama_c_very_first.objs/byte -I src/init/.frama_c_very_first.objs/native -I src/plugins/server/.server.objs/byte -I src/plugins/server/.server.objs/native -cmi-file src/plugins/eva/.eva.objs/byte/eva__Results.cmi -no-alias-deps -open Eva__ -o src/plugins/eva/.eva.objs/native/eva__Results.cmx -c -impl src/plugins/eva/utils/results.pp.ml) - File "src/plugins/eva/utils/results.ml", lines 95-98, characters 65-22: - 95 | .................................................................function - 96 | | ByCallstack c -> ByCallstack c - 97 | | Top -> Top - 98 | | Bottom -> Bottom - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Consolidated _ - - File "src/plugins/eva/utils/results.ml", lines 135-137, characters 72-37: - 135 | ........................................................................function - 136 | | Top | Bottom -> [] (* What else to do when Top is given ? *) - 137 | | ByCallstack l -> List.map fst l - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Consolidated _ - - File "src/plugins/eva/utils/results.ml", lines 143-145, characters 4-74: - 143 | ....function - 144 | | Top | Bottom -> acc (* What else to do when Top is given ? *) - 145 | | ByCallstack l -> List.fold_left (fun acc (cs,x) -> f cs x acc) acc l - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Consolidated _ - - File "src/plugins/eva/utils/results.ml", lines 382-384, characters 6-54: - 382 | ......match res with - 383 | | LValue r -> Response.map_join' make_lval join r - 384 | | Value r -> Response.map_join' make_expr join r - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Address (_, _) - - File "src/plugins/eva/utils/results.ml", lines 389-395, characters 4-28: - 389 | ....function - 390 | | LValue r -> - 391 | let extract (x, _alarms) = x >>- (fun (_valuation,fv) -> fv.Eval.v) in - 392 | Response.map extract r - 393 | | Value r -> - 394 | let extract (x, _alarms) = x >>-: (fun (_valuation,v) -> v) in - 395 | Response.map extract r - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Address (_, _) - - File "src/plugins/eva/utils/results.ml", lines 411-417, characters 4-36: - 411 | ....function - 412 | | Address (r, access) -> - 413 | let extract (x, _alarms) = - 414 | let open Bottom.Operators in - 415 | let+ _valuation,loc = x in loc - 416 | in - 417 | Response.map extract r, access - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: LValue (Consolidated _) - - File "src/plugins/eva/utils/results.ml", lines 468-478, characters 4-21: - 468 | ....function - 469 | | LValue r -> - 470 | let join = (&&) - 471 | and extract (x, _alarms) = - 472 | x >>-: (fun (_valuation,fv) -> fv.Eval.initialized) - ... - 475 | | `Bottom | `Top -> false - 476 | | `Value v -> v - 477 | end - 478 | | Value _ -> true............................................. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Address (_, _) - - File "src/plugins/eva/utils/results.ml", line 610, characters 31-49: - 610 | let as_cvalue_or_uninitialized (Value evaluation) = - ^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Address _ - - File "src/plugins/eva/utils/results.ml", line 617, characters 21-39: - 617 | let as_cvalue_result (Value evaluation) = - ^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Address _ - - File "src/plugins/eva/utils/results.ml", line 661, characters 26-46: - 661 | let as_precise_loc_result (Address lvaluation) = - ^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Value _ - - File "src/plugins/eva/utils/results.ml", line 671, characters 23-43: - 671 | let as_location_result (Address lvaluation) = - ^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Value _ - - File "src/plugins/eva/utils/results.ml", line 681, characters 19-39: - 681 | let as_zone_result (Address lvaluation) = - ^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Value _ - - File "src/plugins/eva/utils/results.ml", line 701, characters 19-37: - 701 | let is_initialized (Value evaluation) = - ^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Address _ -> compiled frama-c.32.1 [frama-c: make install] + /usr/bin/make "RELEASE=yes" "PREFIX=/home/opam/.opam/default" "MANDIR=/home/opam/.opam/default/man" "install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c.32.1) - Installing Frama-C to current Opam switch - Copying and relocating files... - (done) - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/frama-c.32.1/ivette' - [Ivette] Generating TypeScript API - ./api.sh src - [server-tsc] Package frama-c/kernel/api/data - [server-tsc] Package frama-c/kernel/api/ast - [server-tsc] Package frama-c/kernel/api/properties - [server-tsc] Package frama-c/kernel/api/project - [server-tsc] Package frama-c/kernel/api/parameters - [server-tsc] Package frama-c/kernel/api/services - [server-tsc] Package frama-c/plugins/callgraph/api - [server-tsc] Package frama-c/plugins/dive/api - [server-tsc] Package frama-c/plugins/eva/api/general - [server-tsc] Package frama-c/plugins/eva/api/values - [server-tsc] Package frama-c/plugins/impact/api/impact - [server-tsc] Package frama-c/plugins/pivot/api/general - [server-tsc] Package frama-c/plugins/region/api - [server-tsc] Package frama-c/plugins/slicing/api/slicing - [server-tsc] Package frama-c/plugins/studia/api/studia - [server-tsc] Package frama-c/plugins/wp/api - [server-tsc] Package frama-c/plugins/wp/api/tip - [server-tsc] Package frama-c/plugins/wp/api/tac - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/frama-c.32.1/ivette' - Installing Ivette to /home/opam/.opam/default [WARNING] Opam packages conf-autoconf.1, conf-cairo.1, conf-gmp.5, conf-gtk3.18, conf-gtksourceview3.0+2 and conf-zlib.1 depend on the following system packages that are no longer installed: autoconf libcairo2-dev libexpat1-dev libgmp-dev libgtk-3-dev libgtksourceview-3.0-dev zlib1g-dev -> installed frama-c.32.1 - conf-autoconf.1: depends on autoconf - conf-cairo.1: depends on libcairo2-dev - conf-gmp.5: depends on libgmp-dev - conf-gtk3.18: depends on libexpat1-dev, libgtk-3-dev - conf-gtksourceview3.0+2: depends on libgtksourceview-3.0-dev - conf-zlib.1: depends on zlib1g-dev === STDERR === 2026-09-04 19:32.07: OK: build frama-c.32.1 (runc: 452.5s, disk: 47KB) 2026-09-04 19:32.07: Job succeeded