Swift: getImmediateBasicBlockDominator/2 should use immediatelyDomina…

…tes/0.
github · Oct 24, 2023 · c04654d · c04654d
1 parent 95a7d65
commit c04654d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll b/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll
@@ -821,7 +821,9 @@ private module CaptureInput implements VariableCapture::InputSig {
     Location getLocation() { result = super.getLocation() }
   }
 
-  BasicBlock getImmediateBasicBlockDominator(BasicBlock bb) { result.(B::BasicBlock).dominates(bb) }
+  BasicBlock getImmediateBasicBlockDominator(BasicBlock bb) {
+    result.(B::BasicBlock).immediatelyDominates(bb)
+  }
 
   BasicBlock getABasicBlockSuccessor(BasicBlock bb) { result = bb.(B::BasicBlock).getASuccessor() }