C#: Relax the condition for when a qualified expression might be null.

This commit is contained in:
Michael Nebel
2026-01-19 13:17:07 +01:00
parent 33fc2bab33
commit 7ae2b7698e

View File

@@ -47,7 +47,8 @@ private Expr maybeNullExpr(Expr reason) {
result =
any(QualifiableExpr qe |
qe.isConditional() and
qe.getQualifier() = maybeNullExpr(reason)
reason = qe.getQualifier() and
not qe instanceof AssignableWrite
)
}