C#: Fix join order in ExternalFlow::interpretElement/6 (only affects RTJO mode)

d10c · d10c · commit 7f5b48d485e1 · 2025-04-17T15:52:13.000+02:00
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/ExternalFlow.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/ExternalFlow.qll
@@ -408,7 +408,8 @@ Declaration interpretBaseDeclaration(string namespace, string type, string name,
   )
 }
 
-pragma[inline]
+bindingset[d, ext]
+pragma[inline_late]
 private Declaration interpretExt(Declaration d, ExtPath ext) {
   ext = "" and result = d
   or

Original file line number	Diff line number	Diff line change
`@@ -408,7 +408,8 @@ Declaration interpretBaseDeclaration(string namespace, string type, string name,`
`408`	`408`	`)`
`409`	`409`	`}`
`410`	`410`
`411`		`-pragma[inline]`
	`411`	`+bindingset[d, ext]`
	`412`	`+pragma[inline_late]`
`412`	`413`	`private Declaration interpretExt(Declaration d, ExtPath ext) {`
`413`	`414`	`ext = "" and result = d`
`414`	`415`	`or`