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

2025-12-17 01:03:14 +01:00 · 2025-04-16 15:25:23 +02:00
parent 254789c89a
commit 7f5b48d485
1 changed files with 2 additions and 1 deletions
--- 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