C#: Exclude entry definitions from qualifier definitions.

aschackmull · aschackmull · commit 151183898dc1 · 2026-04-28T16:01:18.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
@@ -632,6 +632,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
`@@ -632,6 +632,7 @@ module Ssa {`
`632`	`632`	`private SsaDefinition q;`
`633`	`633`
`634`	`634`	`ImplicitQualifierDefinition() {`
	`635`	`+ not this instanceof SsaImplicitEntryDefinition and`
`635`	`636`	`exists(BasicBlock bb, int i, SourceVariables::QualifiedFieldOrPropSourceVariable v \|`
`636`	`637`	`this.definesAt(v, bb, i)`
`637`	`638`	`\|`