From 5aa53287ce6ac58a2fd96b92264320de14543fd3 Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Fri, 31 Oct 2025 11:25:37 +0100 Subject: [PATCH] C#: Allow nullness sources with SSA at entry. --- csharp/ql/lib/semmle/code/csharp/dataflow/Nullness.qll | 1 - 1 file changed, 1 deletion(-) diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/Nullness.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/Nullness.qll index 6e36008ab2eb..a2df7ad43fbf 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/Nullness.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/Nullness.qll @@ -197,7 +197,6 @@ private predicate defMaybeNull( msg = "as suggested by $@ null check" and node = def.getControlFlowNode() and not de = any(Ssa::PhiNode phi).getARead() and - strictcount(Element e | e = any(Ssa::Definition def0 | de = def0.getARead()).getElement()) = 1 and // Don't use a check as reason if there is a `null` assignment // or argument not def.(Ssa::ExplicitDefinition).getADefinition().getSource() instanceof MaybeNullExpr and