Data flow: Inline isUnreachableInCall1

2026-04-21 15:05:56 +02:00 · 2024-05-31 12:24:03 +02:00
parent 4c97b0c785
commit 42d87f6d19
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())
    }