Merge pull request github#19327 from d10c/d10c/rtjo-csharp-jo-fix

alexet · web-flow · commit ea83ecf8027a · 2025-04-24T12:34:22.000+01:00
C#: Join order fix
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`