From d0af94aa25180abcd76d1a52b378e5e9a335f858 Mon Sep 17 00:00:00 2001 From: Alex Eyers-Taylor Date: Wed, 1 May 2024 19:10:34 +0100 Subject: [PATCH] XXX: Disable dynamic join in some cases --- .../ir/implementation/aliased_ssa/internal/SSAConstruction.qll | 1 + .../ir/implementation/unaliased_ssa/internal/SSAConstruction.qll | 1 + shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll | 1 + 3 files changed, 3 insertions(+) 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 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) }