CSY/reowolf Changeset - d27f86bba4db · Centrum Wiskunde & Informatica (CWI)

Changeset - d27f86bba4db

Parent rev.

Child rev.

[Not reviewed]

0 1 0

MH - 3 years ago 2022-05-19 18:07:36
contact@maxhenger.nl

Fix bug related to sync-escape detection

1 file changed with 3 insertions and 1 deletions:

src/protocol/parser/pass_validation_linking.rs

0 comments (0 inline, 0 general)

src/protocol/parser/pass_validation_linking.rs

➞

Show inline comments

@@ @@ -50,6 +50,7 @@ use super::visitor::{ @@
 };
 use crate::protocol::parser::ModuleCompilationPhase;
 #[derive(Debug)]
 struct ControlFlowStatement {
     in_sync: SynchronousStatementId,
     in_while: WhileStatementId,
@@ @@ -324,11 +325,12 @@ impl Visitor for PassValidationLinking { @@
+    }
     fn visit_while_stmt(&mut self, ctx: &mut Ctx, id: WhileStatementId) -> VisitorResult {
         let stmt = &ctx.heap[id];
+        let stmt = &mut ctx.heap[id];
         let end_while_id = stmt.end_while;
         let test_expr_id = stmt.test;
         let body_stmt_id = stmt.body;
         let scope_id = stmt.scope;
         stmt.in_sync = self.in_sync;
         let old_while = self.in_while;
         self.in_while = id;

0 comments (0 inline, 0 general)