Commit 561258e0 authored by Carlos Galindo's avatar Carlos Galindo
Browse files

fix: correction for numbering algorithm

parent dd3857a4

iacfg/src/main/java/es/upv/mist/slicing/graphs/icfg/ICFG.java

+3 −1
Original line number Diff line number Diff line
@@ -147,7 +147,9 @@ public class ICFG extends es.upv.mist.slicing.graphs.Graph implements Buildable< 
            }



            for(IntraSCR predecessor : Graphs.predecessorListOf(intraSCRs, node)) {

                if(callSiteIntraSCRs.contains(predecessor) && !callStack.isEmpty() && predecessor == callStack.peek()) {

                if (callSiteIntraSCRs.contains(predecessor)) {

                    if (callStack.isEmpty() || !predecessor.equals(callStack.peek()))

                        continue; // Non-matching call nodes are ignored

                    callStack.pop();

                    getTopologicalNumber(predecessor, proccessedIntraSCRs, callStack);

                } else if(returnSiteIntraSCRs.contains(predecessor) ) {