From 47691de8fe3dc32a29663d4d8343eb415ce1d81e Mon Sep 17 00:00:00 2001
From: Sidney Congard
Date: Thu, 30 Jun 2022 12:22:14 +0200
Subject: Traduct globals body separately (WIP)

---
 src/PureMicroPasses.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/PureMicroPasses.ml')

diff --git a/src/PureMicroPasses.ml b/src/PureMicroPasses.ml
index 826283ae..7927a068 100644
--- a/src/PureMicroPasses.ml
+++ b/src/PureMicroPasses.ml
@@ -611,7 +611,10 @@ let inline_useless_var_reassignments (inline_named : bool) (inline_pure : bool)
                     | Func (Unop _ | Binop _) ->
                         true (* primitive function call *)
                     | Func (Regular _) ->
-                        false (* non-primitive function call *))
+                        false (* non-primitive function call *)
+                    | Global _ ->
+                        true (* Global constant or static *)
+                  )
                 | _ -> filter
               else false
             in
-- 
cgit v1.2.3