XXX: Disable dynamic join in some cases

2026-07-08 13:05:36 +02:00 · 2024-05-23 18:18:11 +01:00
3 changed files with 3 additions and 0 deletions
--- a/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll
@@ -317,6 +317,7 @@ private module Cached {
  }

  cached
+  pragma[no_dynamic_join_order]
  Instruction getChiInstructionTotalOperand(ChiInstruction chiInstr) {
    exists(
      Alias::VirtualVariable vvar, OldInstruction oldInstr, OldBlock defBlock, int defRank,
--- a/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll
@@ -317,6 +317,7 @@ private module Cached {
  }

  cached
+  pragma[no_dynamic_join_order]
  Instruction getChiInstructionTotalOperand(ChiInstruction chiInstr) {
    exists(
      Alias::VirtualVariable vvar, OldInstruction oldInstr, OldBlock defBlock, int defRank,
--- a/shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll
+++ b/shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll
@@ -659,6 +659,7 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
    predicate expectsContentCached(Node n, ContentSet c) { expectsContent(n, c) }

    cached
+    pragma[no_dynamic_join_order]
    predicate isUnreachableInCallCached(Node n, DataFlowCall call) { isUnreachableInCall(n, call) }

    cached