Merge pull request github#19265 from hvitved/rust/crate-graph-self-crate-ref

hvitved · web-flow · commit 0e31bf1e7bf9 · 2025-04-09T22:54:53.000+02:00
diff --git a/rust/ql/lib/codeql/rust/internal/PathResolution.qll b/rust/ql/lib/codeql/rust/internal/PathResolution.qll
@@ -784,6 +784,10 @@ private predicate crateDependencyEdge(ModuleLikeNode m, string name, CrateItemNo
     // entry/transitive source file
     m = c.getASourceFile()
   )
+  or
+  // paths inside the crate graph use the name of the crate itself as prefix,
+  // although that is not valid in Rust
+  dep = any(Crate c | name = c.getName() and m = c.getModule())
 }
 
 private predicate useTreeDeclares(UseTree tree, string name) {

Original file line number	Diff line number	Diff line change
`@@ -784,6 +784,10 @@ private predicate crateDependencyEdge(ModuleLikeNode m, string name, CrateItemNo`
`784`	`784`	`// entry/transitive source file`
`785`	`785`	`m = c.getASourceFile()`
`786`	`786`	`)`
	`787`	`+ or`
	`788`	`+ // paths inside the crate graph use the name of the crate itself as prefix,`
	`789`	`+ // although that is not valid in Rust`
	`790`	`+ dep = any(Crate c \| name = c.getName() and m = c.getModule())`
`787`	`791`	`}`
`788`	`792`
`789`	`793`	`private predicate useTreeDeclares(UseTree tree, string name) {`