From 838415e72bf89f44898399882d5ef540aa2fb18e Mon Sep 17 00:00:00 2001
From: Regis Blanc <regwblanc@gmail.com>
Date: Tue, 9 Feb 2016 15:07:21 +0100
Subject: [PATCH] only mutable vars are relevant for capture
---
src/main/scala/leon/xlang/AntiAliasingPhase.scala | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/xlang/AntiAliasingPhase.scala b/src/main/scala/leon/xlang/AntiAliasingPhase.scala
index e79585002..045cf256f 100644
--- a/src/main/scala/leon/xlang/AntiAliasingPhase.scala
+++ b/src/main/scala/leon/xlang/AntiAliasingPhase.scala
@@ -26,12 +26,15 @@ object AntiAliasingPhase extends TransformationPhase {
val effects = effectsAnalysis(pgm)
+ //for each fun def, all the vars the the body captures. Only
+ //mutable types.
val varsInScope: Map[FunDef, Set[Identifier]] = (for {
fd <- fds
} yield {
val allFreeVars = fd.body.map(bd => variablesOf(bd)).getOrElse(Set())
val freeVars = allFreeVars -- fd.params.map(_.id)
- (fd, freeVars)
+ val mutableFreeVars = freeVars.filter(id => id.getType.isInstanceOf[ArrayType])
+ (fd, mutableFreeVars)
}).toMap
/*
--
GitLab