C#: Exclude entry definitions from qualifier definitions.

aschackmull · aschackmull · commit cb6215545ecd · 2026-04-28T14:46:43.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
@@ -644,6 +644,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
`@@ -644,6 +644,7 @@ module Ssa {`
`644`	`644`	`private SsaDefinition q;`
`645`	`645`
`646`	`646`	`ImplicitQualifierDefinition() {`
	`647`	`+ not this instanceof SsaImplicitEntryDefinition and`
`647`	`648`	`exists(BasicBlock bb, int i, SourceVariables::QualifiedFieldOrPropSourceVariable v \|`
`648`	`649`	`this.definesAt(v, bb, i)`
`649`	`650`	`\|`