diff --git a/src/main/scala/ir/Program.scala b/src/main/scala/ir/Program.scala index 6ad0ef1ee..f1356bcc2 100644 --- a/src/main/scala/ir/Program.scala +++ b/src/main/scala/ir/Program.scala @@ -304,7 +304,6 @@ class Block private ( val statements: IntrusiveList[Statement], private var _jump: Jump, private val _incomingJumps: mutable.HashSet[GoTo], -// private val _incomingFallthrough: mutable.HashSet[Call], ) extends HasParent[Procedure] { _jump.setParent(this) statements.foreach(_.setParent(this)) @@ -345,10 +344,6 @@ class Block private ( def addIncomingJump(g: GoTo) = _incomingJumps.add(g) def removeIncomingJump(g: GoTo) = _incomingJumps.remove(g) -// def incomingFallthroughs: immutable.Set[Call] = _incomingFallthrough.toSet -// def addIncomingFallthrough(g: Call) = _incomingFallthrough.add(g) -// def removeIncomingFallthrough(g: Call) = _incomingFallthrough.remove(g) - def calls: Set[Procedure] = _jump.calls def modifies: Set[Global] = statements.flatMap(_.modifies).toSet