Fix call graph analysis

This has to be coherent with the generation of calls in Generate.

Author: vouillon

CHANGES.md

@@ -1,7 +1,9 @@
 #dev
 
 ## Features/Changes
-* Compiler/wasm: omit code pointer from closures when not used (#2059)
+* Compiler/wasm: omit code pointer from closures when not used (#2059, #2093)
+
+## Bug fixes
 * Compiler: fix purity of comparison functions (again) (#2092)
 
 # 6.2.0 (2025-07-30) - Lille

compiler/lib-wasm/call_graph_analysis.ml

@@ -15,11 +15,11 @@ let block_deps ~info ~non_escaping ~ambiguous ~blocks pc =
   let block = Addr.Map.find pc blocks in
   List.iter block.body ~f:(fun i ->
       match i with
-      | Let (_, Apply { f; _ }) -> (
+      | Let (_, Apply { f; exact; _ }) -> (
           match get_approx info f with
           | Top -> ()
           | Values { known; others } ->
-              if others || Var.Set.cardinal known > 1
+              if (not exact) || others || Var.Set.cardinal known > 1
               then Var.Set.iter (fun x -> Var.Hashtbl.replace ambiguous x ()) known;
               if debug ()
               then