MIR Gen - Track exit states of loops

1 files changed, 3 insertions, 1 deletions

diff --git a/src/mir/from_hir.hpp b/src/mir/from_hir.hpp
index b89e8750..405d4ffd 100644
--- a/src/mir/from_hir.hpp
+++ b/src/mir/from_hir.hpp
@@ -91,6 +91,8 @@ TAGGED_UNION(ScopeType, Variables,
         ::std::vector<SplitArm> arms;
         }),
     (Loop, struct {
+        ::std::set<unsigned int>    changed_vars;
+        ::std::set<unsigned int>    changed_tmps;
         ::std::vector<SplitArm> exit_states;
         })
     );
@@ -198,7 +200,7 @@ public:
     ScopeHandle new_scope_split(const Span& sp);
     ScopeHandle new_scope_loop(const Span& sp);
     void terminate_scope(const Span& sp, ScopeHandle , bool cleanup=true);
-    void terminate_scope_early(const Span& sp, const ScopeHandle& );
+    void terminate_scope_early(const Span& sp, const ScopeHandle& , bool loop_exit=false);
     void end_split_arm(const Span& sp, const ScopeHandle& , bool reachable);
     void end_split_arm_early(const Span& sp);