Skip to content

Commit b4d86f2

Browse files
Marcello Serilindig
authored andcommitted
CA-270640: make sure that flambda will not inline necessary calls
Signed-off-by: Marcello Seri <[email protected]>
1 parent 39ff5ab commit b4d86f2

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

xc/domain.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1094,7 +1094,7 @@ module Suspend_restore_emu_manager : SUSPEND_RESTORE = struct
10941094
(* Handle results returned by emu-manager *)
10951095
let emu_manager_results = handle_results () in
10961096
(* Wait for reader threads to complete *)
1097-
let thread_status = receive_thread_status threads_and_channels in
1097+
let[@inlined never] thread_status = receive_thread_status threads_and_channels in
10981098
(* Chain all together, and we are done! *)
10991099
let res =
11001100
emu_manager_results >>= fun result ->

0 commit comments

Comments
 (0)