Update csharp/ql/lib/semmle/code/csharp/controlflow/Guards.qll

hvitved · Copilot · web-flow · commit 75895336d6d4 · 2025-12-11T14:14:13.000+01:00
Co-authored-by: Copilot &lt;175728472+Copilot@users.noreply.github.com&gt;
diff --git a/csharp/ql/lib/semmle/code/csharp/controlflow/Guards.qll b/csharp/ql/lib/semmle/code/csharp/controlflow/Guards.qll
@@ -951,7 +951,7 @@ module Internal {
       bao.getAnOperand() = o and
       // The other operand must be provably non-null in order
       // for `only if` to hold
-      nonNullValue(o) and
+      nonNullValueImplied(o) and
       e != o
     )
   }

Original file line number	Diff line number	Diff line change
`@@ -951,7 +951,7 @@ module Internal {`
`951`	`951`	`bao.getAnOperand() = o and`
`952`	`952`	`// The other operand must be provably non-null in order`
`953`	`953`	// for `only if` to hold
`954`		`- nonNullValue(o) and`
	`954`	`+ nonNullValueImplied(o) and`
`955`	`955`	`e != o`
`956`	`956`	`)`
`957`	`957`	`}`