From 852134023da7a697866fab5022564914e816e0de Mon Sep 17 00:00:00 2001
From: alexet <alexet@semmle.com>
Date: Thu, 6 May 2021 18:11:28 +0100
Subject: [PATCH] Use only bind-out to fix join order.

---
 csharp/ql/src/semmle/code/csharp/dispatch/Dispatch.qll | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/csharp/ql/src/semmle/code/csharp/dispatch/Dispatch.qll b/csharp/ql/src/semmle/code/csharp/dispatch/Dispatch.qll
index cca858d69baf..f06fbca375d1 100644
--- a/csharp/ql/src/semmle/code/csharp/dispatch/Dispatch.qll
+++ b/csharp/ql/src/semmle/code/csharp/dispatch/Dispatch.qll
@@ -387,7 +387,8 @@ private module Internal {
       result = this.getAStaticTarget()
       or
       result.getUnboundDeclaration() =
-        this.getASubsumedStaticTarget0(Gvn::getGlobalValueNumber(result.getDeclaringType()))
+        this.getASubsumedStaticTarget0(pragma[only_bind_out](Gvn::getGlobalValueNumber(result
+                .getDeclaringType())))
     }
 
     /**