From 5fbba0e9fedc698d4b9e68a9abbfe4cd426a3c34 Mon Sep 17 00:00:00 2001
From: Anders Schack-Mulligen <aschackmull@github.com>
Date: Fri, 1 May 2026 10:24:23 +0200
Subject: [PATCH] C#: Delete ParameterDefaultDefinition.

---
 csharp/ql/lib/semmle/code/csharp/dataflow/SSA.qll | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/SSA.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/SSA.qll
index a570b7ba563..7d49e0b27d1 100644
--- a/csharp/ql/lib/semmle/code/csharp/dataflow/SSA.qll
+++ b/csharp/ql/lib/semmle/code/csharp/dataflow/SSA.qll
@@ -569,19 +569,6 @@ module Ssa {
     override string toString() { result = SsaImpl::ParameterDefinitionImpl.super.toString() }
   }
 
-  /**
-   * An SSA definition representing the default value of a parameter.
-   */
-  class ParameterDefaultDefinition extends ExplicitDefinition {
-    private Parameter p;
-    override AssignableDefinitions::ParameterDefaultDefinition ad;
-
-    ParameterDefaultDefinition() { p = ad.getParameter() }
-
-    /** Gets the parameter that this entry definition represents. */
-    Parameter getParameter() { result = p }
-  }
-
   /**
    * An SSA definition representing the potential definition of a variable
    * via a call.