ignore cloning recursive call resolution

Author: sadrabt

src/main/scala/analysis/data_structure_analysis/IntervalDSA.scala

@@ -188,7 +188,7 @@ class IntervalGraph(
         callTransfer(phase, dcc, source, target)
       case dcc: DirectCallConstraint if dcc.target.name == "indirect_call_launchpad" =>
         resolveIndirectCall(dcc)
-          .filterNot(proc => proc.isExternal.getOrElse(false) || proc.name.startsWith("_"))
+          .filterNot(proc => dcc.call.parent.parent == proc || proc.isExternal.getOrElse(false) || proc.name.startsWith("_"))
           .foreach(proc =>
 
             val (source, target) = if phase == TD then (this, graphs(proc)) else (graphs(proc), this)
@@ -238,6 +238,7 @@ class IntervalGraph(
       .exprToCells(sourceExpr)
       .map(source.find)
       .map(cell =>
+        assert(cell.node.isUptoDate)
         val (node, offset) =
           target.findNode(cell.node.clone(target, true, oldToNew))
         if offset == 0 then node.get(cell.interval)