remove TODO

viperproject · Jul 8, 2024 · 1e41b5e · 1e41b5e
1 parent 3362648
commit 1e41b5e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/main/scala/viper/silver/plugin/standard/reasoning/analysis/VarAnalysisGraphMap.scala b/src/main/scala/viper/silver/plugin/standard/reasoning/analysis/VarAnalysisGraphMap.scala
@@ -503,7 +503,6 @@ case class VarAnalysisGraphMap(prog: Program,
       case UnExp(exp) => getSinksFromExpr(exp)
       case f: FuncApp =>
         val isHeapDependent = Expressions.couldBeHeapDependent(f.func(prog), prog)
-        // TODO: do we need to filter out Refs?
         f.args.flatMap(e => getSinksFromExpr(e)).toSet ++ (if (isHeapDependent) Set(HeapSink) else Set.empty)
       case DomainFuncApp(_, exps, _) => exps.flatMap(e => getSinksFromExpr(e)).toSet
       case _: ForPerm | _: CurrentPerm => Set(HeapSink)