diff --git a/javascript/extractor/src/com/semmle/js/extractor/CFGExtractor.java b/javascript/extractor/src/com/semmle/js/extractor/CFGExtractor.java index 0fd239df6fb..63951da069f 100644 --- a/javascript/extractor/src/com/semmle/js/extractor/CFGExtractor.java +++ b/javascript/extractor/src/com/semmle/js/extractor/CFGExtractor.java @@ -225,7 +225,14 @@ public class CFGExtractor { return Collections.singleton(x); } if (ys.contains(x)) { - return ys; + List result = new ArrayList<>(); + result.add(x); + for (Node y : ys) { + if (y != x) { + result.add(y); + } + } + return result; } List result = new ArrayList<>();