Build:
- 0
2026-09-04 01:14.17: New job: build frama-c.31.0 (85aa3c060d80) 2026-09-04 01:14.17: Waiting for resource in pool day11-builds 2026-09-04 01:28.33: Got resource from pool day11-builds 2026-09-04 01:28.33: [profile full] build frama-c.31.0 2026-09-04 01:28.33: build frama-c.31.0 (85aa3c060d80) === DEPENDENCIES (89 transitive) === alt-ergo.2.6.3 477001fb52b3 alt-ergo-lib.2.6.3 5096e1415ab0 alt-ergo-parsers.2.6.3 52a4c539879b astring.0.8.5 51ee6d00b649 base.v0.17.3 557ca62cd4de base-bigarray.base 31ac6860ef52 base-bytes.base a07bc30a9819 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e bos.0.3.0 20ac852916aa cairo2.0.6.5 96e833163d91 camlp-streams.5.0.1 c3ef1cb475af camlzip.1.14 55fbe9282a52 cmdliner.2.1.1 ecdcaec2c5a2 compiler-cloning.enabled 966a2e6839f0 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 6e5c0658a51b csexp.1.5.2 260623ea9e35 ctypes.0.24.0 e2bbf2e49a00 dolmen.0.10 768750d80968 dolmen_loop.0.10 00c4be56df08 dolmen_type.0.10 931fa990965e dune.3.23.1 299ed55d2ff2 dune-build-info.3.23.1 a53079b5e3c9 dune-configurator.3.23.1 654300934c6c dune-private-libs.3.23.1 03ae3f1bfd48 dune-site.3.23.1 c4817b998ba6 dyn.3.23.1 eb35b776660f fmt.0.11.0 b2f0e848af4b fpath.0.7.3 2344c0b7c451 fs-io.3.23.1 28022d5f2bf6 gen.1.1 5a84ad138fc5 hmap.0.8.1 27b39ba672de integers.0.8.0 df82a7956cfb js_of_ocaml-compiler.6.4.1 37b4d02783ec lablgtk3.3.1.5 dce471c41142 lablgtk3-sourceview3.3.1.5 04d55b4be1a4 logs.0.10.0 1d2f67b4aa6d lwt.6.1.2 9a1e7a4aeeac menhir.20250912 ee0a04f29e2f menhirCST.20250912 583ff076a496 menhirLib.20250912 a860f1c5aafa menhirSdk.20250912 1e1853cb2d07 num.1.6 805d35561ae4 ocaml.5.5.0 22ebd7932512 ocaml-base-compiler.5.5.0 db1659234e8a ocaml-compiler.5.5.0 7f52fb26d939 ocaml-compiler-libs.v0.17.0 0f497c1821f6 ocaml_intrinsics_kernel.v0.17.2 093b9515d104 ocamlbuild.0.16.1 ccce18256717 ocamlfind.1.9.9~preview 6a4c70487cf9 ocamlgraph.2.2.0 f2c1d53656b8 ocplib-endian.1.2 04edcf8a6651 ocplib-simplex.0.5.1 476cdb9aad34 ordering.3.23.1 d34f9d308794 parsexp.v0.17.0 61597980f933 pp.2.0.0 5591e305a2c8 pp_loc.2.1.0 d9f90f74c916 ppx_blob.0.9.0 9fc214e3bc20 ppx_derivers.1.2.1 27cf4bb4e249 ppx_deriving.6.1.3 5511d8887566 ppx_deriving_yaml.0.4.1 27ca7420def9 ppx_deriving_yojson.3.10.0 a285a0a78d2c ppx_sexp_conv.v0.17.1 4f0b27a23d07 ppxlib.0.38.0 405e00241d0e ppxlib_jane.v0.17.4 c0ce3a1ee66a psmt2-frontend.0.4.0 6a3b51c990ae rresult.0.7.0 02fffb5a5b61 sedlex.3.7 31df4f2efe79 seq.base 28d30f6112ac sexplib.v0.17.0 8d2a2cb90d2d sexplib0.v0.17.0 fc2a4c3c285a spelll.0.4 ae9d79e26b62 stdlib-shims.0.3.0 4b8bb9fd1930 stdune.3.23.1 df0025775c47 store.0.2 0eeea1ad8f15 top-closure.3.23.1 60a0070a1b97 topkg.1.1.1 3bd227743fbd unionFind.20260226 5773440d0758 uutf.1.0.4 705a428d1236 why3.1.8.2 98f7c91d059d yaml.3.2.0 1812002ecb1e yojson.3.0.0 c8d24a097bd0 zarith.1.14 bd527d6656b5 === STDOUT === Processing: [default: loading data] [frama-c.31.0: dl] [frama-c.31.0: extract] -> retrieved frama-c.31.0 (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.31.0) - (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/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/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/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/stdlib-shims -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 273-275, characters 6-71: - 273 | ......match l1, l2 with - 274 | | Nil, Nil -> acc - 275 | | 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 299-303, characters 4-56: - 299 | ....match hyp1, hyp2 with - 300 | | Nil, Nil -> 0 - 301 | | Cons (v1, tail1), Cons (v2, tail2) -> - 302 | let n = Cvalue.V.compare v1 v2 in - 303 | 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 308-311, characters 4-56: - 308 | ....match l1, l2 with - 309 | | Nil, Nil -> Nil - 310 | | Cons (x1, tl1), Cons (x2, tl2) -> - 311 | 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 338-350, characters 8-39: - 338 | ........match sizes, subvalues with - 339 | | Nil, Nil -> [ Nil ] - 340 | | Cons (size, tl_size), Cons (v, tl) -> - 341 | let append = - 342 | try - ... - 347 | fun acc tl -> Cons (v, tl) :: acc - 348 | in - 349 | let list = split tl_size tl in - 350 | 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/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/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/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/stdlib-shims -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 109-112, characters 65-22: - 109 | .................................................................function - 110 | | ByCallstack c -> ByCallstack c - 111 | | Top -> Top - 112 | | 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 149-151, characters 72-37: - 149 | ........................................................................function - 150 | | Top | Bottom -> [] (* What else to do when Top is given ? *) - 151 | | 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 157-159, characters 4-74: - 157 | ....function - 158 | | Top | Bottom -> acc (* What else to do when Top is given ? *) - 159 | | 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 394-396, characters 6-54: - 394 | ......match res with - 395 | | LValue r -> Response.map_join' make_lval join r - 396 | | 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 401-407, characters 4-28: - 401 | ....function - 402 | | LValue r -> - 403 | let extract (x, _alarms) = x >>- (fun (_valuation,fv) -> fv.Eval.v) in - 404 | Response.map extract r - 405 | | Value r -> - 406 | let extract (x, _alarms) = x >>-: (fun (_valuation,v) -> v) in - 407 | 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 423-429, characters 4-36: - 423 | ....function - 424 | | Address (r, access) -> - 425 | let extract (x, _alarms) = - 426 | let open Bottom.Operators in - 427 | let+ _valuation,loc = x in loc - 428 | in - 429 | 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 480-490, characters 4-21: - 480 | ....function - 481 | | LValue r -> - 482 | let join = (&&) - 483 | and extract (x, _alarms) = - 484 | x >>-: (fun (_valuation,fv) -> fv.Eval.initialized) - ... - 487 | | `Bottom | `Top -> false - 488 | | `Value v -> v - 489 | end - 490 | | 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 628, characters 31-49: - 628 | 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 635, characters 21-39: - 635 | 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 679, characters 26-46: - 679 | 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 689, characters 23-43: - 689 | 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 699, characters 19-39: - 699 | 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 719, characters 19-37: - 719 | 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/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/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/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/stdlib-shims -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 273-275, characters 6-71: - 273 | ......match l1, l2 with - 274 | | Nil, Nil -> acc - 275 | | 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 299-303, characters 4-56: - 299 | ....match hyp1, hyp2 with - 300 | | Nil, Nil -> 0 - 301 | | Cons (v1, tail1), Cons (v2, tail2) -> - 302 | let n = Cvalue.V.compare v1 v2 in - 303 | 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 308-311, characters 4-56: - 308 | ....match l1, l2 with - 309 | | Nil, Nil -> Nil - 310 | | Cons (x1, tl1), Cons (x2, tl2) -> - 311 | 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 338-350, characters 8-39: - 338 | ........match sizes, subvalues with - 339 | | Nil, Nil -> [ Nil ] - 340 | | Cons (size, tl_size), Cons (v, tl) -> - 341 | let append = - 342 | try - ... - 347 | fun acc tl -> Cons (v, tl) :: acc - 348 | in - 349 | let list = split tl_size tl in - 350 | 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/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/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/ocamlgraph -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/stdlib-shims -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 109-112, characters 65-22: - 109 | .................................................................function - 110 | | ByCallstack c -> ByCallstack c - 111 | | Top -> Top - 112 | | 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 149-151, characters 72-37: - 149 | ........................................................................function - 150 | | Top | Bottom -> [] (* What else to do when Top is given ? *) - 151 | | 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 157-159, characters 4-74: - 157 | ....function - 158 | | Top | Bottom -> acc (* What else to do when Top is given ? *) - 159 | | 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 394-396, characters 6-54: - 394 | ......match res with - 395 | | LValue r -> Response.map_join' make_lval join r - 396 | | 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 401-407, characters 4-28: - 401 | ....function - 402 | | LValue r -> - 403 | let extract (x, _alarms) = x >>- (fun (_valuation,fv) -> fv.Eval.v) in - 404 | Response.map extract r - 405 | | Value r -> - 406 | let extract (x, _alarms) = x >>-: (fun (_valuation,v) -> v) in - 407 | 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 423-429, characters 4-36: - 423 | ....function - 424 | | Address (r, access) -> - 425 | let extract (x, _alarms) = - 426 | let open Bottom.Operators in - 427 | let+ _valuation,loc = x in loc - 428 | in - 429 | 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 480-490, characters 4-21: - 480 | ....function - 481 | | LValue r -> - 482 | let join = (&&) - 483 | and extract (x, _alarms) = - 484 | x >>-: (fun (_valuation,fv) -> fv.Eval.initialized) - ... - 487 | | `Bottom | `Top -> false - 488 | | `Value v -> v - 489 | end - 490 | | 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 628, characters 31-49: - 628 | 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 635, characters 21-39: - 635 | 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 679, characters 26-46: - 679 | 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 689, characters 23-43: - 689 | 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 699, characters 19-39: - 699 | 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 719, characters 19-37: - 719 | 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.31.0 [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.31.0) - 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.31.0/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/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 - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - find: 'headache': No such file or directory - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/frama-c.31.0/ivette' - Installing Ivette to /home/opam/.opam/default -> installed frama-c.31.0 [WARNING] Opam packages 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: libcairo2-dev libexpat1-dev libgmp-dev libgtk-3-dev libgtksourceview-3.0-dev zlib1g-dev - 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 01:33.39: OK: build frama-c.31.0 (runc: 293.2s, disk: 44KB) 2026-09-04 01:33.39: Job succeeded