Skip to content

Commit e510607

Browse files
committed
Rust: Add debug predicate
1 parent 4600bb0 commit e510607

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed

rust/ql/src/queries/telemetry/RustAnalyzerComparison.qll

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -59,6 +59,14 @@ private module Compare<ResolvableSig R, CompareSig<R> RustAnalyzer, CompareSig<R
5959

6060
predicate qlUniqueCount(int c) { c = count(Source s | qlUnique(s)) }
6161

62+
private module Debug {
63+
// debug predicate to find missing targets in QL implementation
64+
predicate qlMissing(Source s, Target t) {
65+
t = RustAnalyzer::resolve(s) and
66+
not t = Ql::resolve(s)
67+
}
68+
}
69+
6270
predicate summary(string key, int value) {
6371
key = "rust-analyzer unique" and rustAnalyzerUniqueCount(value)
6472
or

0 commit comments

Comments
 (0)