Rust: Add debug predicate for ItemNode

paldepind · paldepind · commit 6b6f09f0ee43 · 2025-09-19T13:26:36.000+02:00
diff --git a/rust/ql/lib/codeql/rust/internal/PathResolution.qll b/rust/ql/lib/codeql/rust/internal/PathResolution.qll
@@ -1773,6 +1773,8 @@ private module Debug {
     path = p.toStringDebug()
   }
 
+  predicate debugItemNode(ItemNode item) { item = getRelevantLocatable() }
+
   ItemNode debugResolvePath(RelevantPath path) {
     path = getRelevantLocatable() and
     result = resolvePath(path)

Original file line number	Diff line number	Diff line change
`@@ -1773,6 +1773,8 @@ private module Debug {`
`1773`	`1773`	`path = p.toStringDebug()`
`1774`	`1774`	`}`
`1775`	`1775`
	`1776`	`+ predicate debugItemNode(ItemNode item) { item = getRelevantLocatable() }`
	`1777`	`+`
`1776`	`1778`	`ItemNode debugResolvePath(RelevantPath path) {`
`1777`	`1779`	`path = getRelevantLocatable() and`
`1778`	`1780`	`result = resolvePath(path)`