From 6202d287d8a0d30154b87e35abc93f322f6aef0a Mon Sep 17 00:00:00 2001 From: Kasper Svendsen Date: Tue, 1 Sep 2026 08:02:35 +0200 Subject: [PATCH] CPP: Disable dynamic reordering for AliasedSSA::isCoveredOffset --- .../cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll | 1 + 1 file changed, 1 insertion(+) diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll index 522cd393081e..2ace50221313 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll @@ -815,6 +815,7 @@ private predicate isRelatableMemoryLocation(VariableMemoryLocation vml) { vml.getStartBitOffset() != Ints::unknown() } +pragma[no_dynamic_join_order] private predicate isCoveredOffset(Allocation var, int offsetRank, VariableMemoryLocation vml) { exists(int startRank, int endRank, VirtualVariable vvar | vml.getStartBitOffset() = rank[startRank](IntValue offset_ | isRelevantOffset(vvar, offset_)) and