Merge pull request #16633 from hvitved/dataflow/inline-pred

Data flow: Inline `isUnreachableInCall1`
2025-12-17 01:03:14 +01:00 · 2024-05-31 20:12:14 +02:00
parent 8d5bb21643 42d87f6d19
commit 58ce3e805e
1 changed files with 2 additions and 1 deletions
--- a/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
+++ b/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
@@ -348,7 +348,8 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
      not stateBarrier(node2, state2)
    }

-    pragma[nomagic]
+    bindingset[n, cc]
+    pragma[inline_late]
    private predicate isUnreachableInCall1(NodeEx n, LocalCallContextSpecificCall cc) {
      cc.unreachable(n.asNode())
    }