From bd1c6e6352f5bff39f27bc17e07b78a144cfeb31 Mon Sep 17 00:00:00 2001
From: Michael Nebel <michaelnebel@github.com>
Date: Thu, 15 Jan 2026 18:43:01 +0100
Subject: [PATCH] C#: Exclude the field access cases from missing argument
 call.

---
 csharp/ql/consistency-queries/DataFlowConsistency.ql | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/csharp/ql/consistency-queries/DataFlowConsistency.ql b/csharp/ql/consistency-queries/DataFlowConsistency.ql
index 638bace3892..f9049068a7f 100644
--- a/csharp/ql/consistency-queries/DataFlowConsistency.ql
+++ b/csharp/ql/consistency-queries/DataFlowConsistency.ql
@@ -60,6 +60,12 @@ private module Input implements InputSig<Location, CsharpDataFlow> {
       qe.isConditional() and
       qe.getQualifier() = arg.asExpr()
     )
+    or
+    // TODO: Remove once underlying issue is fixed
+    exists(AssignableDefinitions::OutRefDefinition def |
+      def.getTargetAccess().(QualifiableExpr) = arg.asExpr() and
+      def.getTargetAccess().isOutArgument()
+    )
   }
 
   predicate multipleArgumentCallExclude(ArgumentNode arg, DataFlowCall call) {