From d36354beabef2c5c351610d0ce884187c167a888 Mon Sep 17 00:00:00 2001
From: Kasper Svendsen <kaspersv@github.com>
Date: Wed, 2 Sep 2026 11:56:56 +0200
Subject: [PATCH] C#: Disable dynamic reordering for
 Unification::Gvn::unifiableTypeArguments

---
 csharp/ql/lib/semmle/code/csharp/Unification.qll | 1 +
 1 file changed, 1 insertion(+)

diff --git a/csharp/ql/lib/semmle/code/csharp/Unification.qll b/csharp/ql/lib/semmle/code/csharp/Unification.qll
index c8b78cd07a27..8dabaa8a20a8 100644
--- a/csharp/ql/lib/semmle/code/csharp/Unification.qll
+++ b/csharp/ql/lib/semmle/code/csharp/Unification.qll
@@ -348,6 +348,7 @@ module Gvn {
    *
    * `subsumes` indicates whether `arg1` in fact subsumes `arg2`.
    */
+  pragma[no_dynamic_join_order]
   pragma[nomagic]
   private predicate unifiableTypeArguments(
     CompoundTypeKind k, GvnTypeArgument arg1, GvnTypeArgument arg2, int i, boolean subsumes