FIXUP Control flow graph impl.

michaelnebel · michaelnebel · commit 20f4be555ce0 · 2026-03-17T08:40:44.000+01:00
diff --git a/csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraphImpl.qll b/csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraphImpl.qll
@@ -602,8 +602,7 @@ module Expressions {
     QualifiedAccessorWrite() {
       def.getExpr() = this and
       def.getTargetAccess().(WriteAccess) instanceof QualifiableExpr and
-      not def instanceof AssignableDefinitions::OutRefDefinition and
-      not def instanceof AssignableDefinitions::AssignOperationDefinition
+      not def instanceof AssignableDefinitions::OutRefDefinition
     }
 
     /**

Original file line number	Diff line number	Diff line change
`@@ -602,8 +602,7 @@ module Expressions {`
`602`	`602`	`QualifiedAccessorWrite() {`
`603`	`603`	`def.getExpr() = this and`
`604`	`604`	`def.getTargetAccess().(WriteAccess) instanceof QualifiableExpr and`
`605`		`- not def instanceof AssignableDefinitions::OutRefDefinition and`
`606`		`- not def instanceof AssignableDefinitions::AssignOperationDefinition`
	`605`	`+ not def instanceof AssignableDefinitions::OutRefDefinition`
`607`	`606`	`}`
`608`	`607`
`609`	`608`	`/**`