From 1e41b5ed31b138a284e5b6b8ee1fcbb4ee6fe15d Mon Sep 17 00:00:00 2001 From: Johannes Gasser Date: Mon, 8 Jul 2024 13:24:51 +0200 Subject: [PATCH] remove TODO --- .../plugin/standard/reasoning/analysis/VarAnalysisGraphMap.scala | 1 - 1 file changed, 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 index 694d08ef0..8f4766583 100644 --- 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)