C#: Exclude entry definitions from qualifier definitions.

aschackmull · aschackmull · commit 77807c83f84c · 2026-04-30T13:56:21.000+02:00
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/SSA.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/SSA.qll
@@ -625,6 +625,7 @@ module Ssa {
     private SsaDefinition q;
 
     ImplicitQualifierDefinition() {
+      not this instanceof SsaImplicitEntryDefinition and
       exists(BasicBlock bb, int i, SourceVariables::QualifiedFieldOrPropSourceVariable v |
         this.definesAt(v, bb, i)
       |

Original file line number	Diff line number	Diff line change
`@@ -625,6 +625,7 @@ module Ssa {`
`625`	`625`	`private SsaDefinition q;`
`626`	`626`
`627`	`627`	`ImplicitQualifierDefinition() {`
	`628`	`+ not this instanceof SsaImplicitEntryDefinition and`
`628`	`629`	`exists(BasicBlock bb, int i, SourceVariables::QualifiedFieldOrPropSourceVariable v \|`
`629`	`630`	`this.definesAt(v, bb, i)`
`630`	`631`	`\|`