diff --git a/src/linear_gen.ml b/src/linear_gen.ml index 3b754983484dc9e40ce8602014155093b34fc0dc..8c049a3ce341f532d347c10a8cf7b766e0a76ad1 100644 --- a/src/linear_gen.ml +++ b/src/linear_gen.ml @@ -38,6 +38,7 @@ let linear_of_rtl_fun ({ rtlfunargs; rtlfunbody; rtlfunentry; rtlfuninfo }: rtl_fun) = let block_order = sort_blocks rtlfunbody rtlfunentry in let linearinstrs = + Rjmp rtlfunentry :: List.fold_left (fun l n -> match Hashtbl.find_option rtlfunbody n with | None -> l