diff --git 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
index e0a6594e740..8b26b396154 100644
--- 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
@@ -403,6 +403,7 @@ private module Cached {
   }
 
   cached
+  pragma[no_dynamic_join_order]
   Instruction getChiInstructionTotalOperand(ChiInstruction chiInstr) {
     exists(
       Alias::VirtualVariable vvar, OldInstruction oldInstr, OldBlock defBlock, int defRank,
diff --git 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
index e0a6594e740..8b26b396154 100644
--- 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
@@ -403,6 +403,7 @@ private module Cached {
   }
 
   cached
+  pragma[no_dynamic_join_order]
   Instruction getChiInstructionTotalOperand(ChiInstruction chiInstr) {
     exists(
       Alias::VirtualVariable vvar, OldInstruction oldInstr, OldBlock defBlock, int defRank,
diff --git a/shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll b/shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll
index 81f9946126d..1cc5c8d4288 100644
--- a/shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll
+++ b/shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll
@@ -982,6 +982,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(NodeRegion nr, DataFlowCall call) {
       isUnreachableInCall(nr, call)
     }