Fix crash with footprint comput related to local var

dotty-staging · Aug 23, 2024 · e388195 · e388195
1 parent e46f61a
commit e388195
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/init/Objects.scala b/compiler/src/dotty/tools/dotc/transform/init/Objects.scala
@@ -613,7 +613,7 @@ class Objects(using Context @constructorOnly):
               if !visited.contains(value) then
                 toVisit += value
 
-          case objRef: ObjectRef =>
+          case objRef: ObjectRef if objRef != currentObj =>
             // Thanks to initialization-time irrelevance, there is no need to
             // visit the heap regions owned by other global objects.
             //
@@ -707,7 +707,7 @@ class Objects(using Context @constructorOnly):
           val heapGC =
             if cacheResult then Heap.gc(value, footprint, heapAfter, changeSetNew)
             else heapAfter
-          Res(value, heapAfter, changeSetNew)
+          Res(value, heapGC, changeSetNew)
         }
         Heap.update(heapBefore ++ result.heap, changeSetBefore ++ result.changeSet)
 

diff --git a/tests/init-global/pos/footprint-local.scala b/tests/init-global/pos/footprint-local.scala
@@ -0,0 +1,6 @@
+object A:
+  val f = foo()
+  val a = f()
+  def foo(): () => Int =
+    var x = 10
+    () => x