C#: Fix join order in 'inDefDominanceFrontier'.

MathiasVP · MathiasVP · commit ff35100d521c · 2021-10-25T21:55:09.000+01:00
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImplCommon.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImplCommon.qll
@@ -169,7 +169,7 @@ pragma[noinline]
 private predicate inDefDominanceFrontier(BasicBlock bb, SourceVariable v) {
   exists(BasicBlock defbb, Definition def |
     def.definesAt(v, defbb, _) and
-    inDominanceFrontier(defbb, bb)
+    inDominanceFrontier(pragma[only_bind_into](defbb), bb)
   )
 }
 

Original file line number	Diff line number	Diff line change
`@@ -169,7 +169,7 @@ pragma[noinline]`
`169`	`169`	`private predicate inDefDominanceFrontier(BasicBlock bb, SourceVariable v) {`
`170`	`170`	`exists(BasicBlock defbb, Definition def \|`
`171`	`171`	`def.definesAt(v, defbb, _) and`
`172`		`- inDominanceFrontier(defbb, bb)`
	`172`	`+ inDominanceFrontier(pragma[only_bind_into](defbb), bb)`
`173`	`173`	`)`
`174`	`174`	`}`
`175`	`175`