diff options
author | Son Ho | 2024-06-05 11:17:37 +0200 |
---|---|---|
committer | Son Ho | 2024-06-05 11:17:37 +0200 |
commit | 967c1aa8bd47e76905baeda5b9d41167af664942 (patch) | |
tree | 2f8b8bd9d6ddef3e56d3c840690e94d9322a963a /compiler/PrePasses.ml | |
parent | 7e50cacd736fc85930bd22689fb7e2b61ddda794 (diff) | |
parent | c708fc2556806abc95cd2ca173a94a5fb49d034d (diff) |
Merge branch 'main' into son/clean-synthesis
Diffstat (limited to 'compiler/PrePasses.ml')
-rw-r--r-- | compiler/PrePasses.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/PrePasses.ml b/compiler/PrePasses.ml index 26141c72..9eb3b712 100644 --- a/compiler/PrePasses.ml +++ b/compiler/PrePasses.ml @@ -100,7 +100,7 @@ let remove_useless_cf_merges (crate : crate) (f : fun_decl) : fun_decl = let rec can_be_moved_aux (must_end_with_exit : bool) (st : statement) : bool = match st.content with | SetDiscriminant _ | Assert _ | Call _ | Break _ | Continue _ | Switch _ - | Loop _ -> + | Loop _ | Error _ -> false | Assign (_, rv) -> ( match rv with |