Rust: ignore crate graph elements from summary stats and AST no-location checks

These elements depend on the version of the standard libraries and platform, and
in addition no location information is extracted for them at the moment.

f

Author: aibaars

rust/ql/lib/codeql/rust/internal/AstConsistency.qll

@@ -24,7 +24,9 @@ query predicate multipleLocations(Locatable e) { strictcount(e.getLocation()) >
 /**
  * Holds if `e` does not have a `Location`.
  */
-query predicate noLocation(Locatable e) { not exists(e.getLocation()) }
+query predicate noLocation(Locatable e) {
+  not exists(e.getLocation()) and not e.(AstNode).getParentNode*() = any(Crate c).getModule()
+}
 
 private predicate multiplePrimaryQlClasses(Element e) {
   strictcount(string cls | cls = e.getAPrimaryQlClass() and cls != "VariableAccess") > 1

rust/ql/src/queries/summary/SummaryStats.ql

@@ -14,9 +14,17 @@ import codeql.rust.Diagnostics
 import Stats
 import TaintReach
 
+class CrateElement extends Element {
+  CrateElement() {
+    this instanceof Crate or
+    this.(AstNode).getParentNode*() = any(Crate c).getModule()
+  }
+}
+
 from string key, int value
 where
-  key = "Elements extracted" and value = count(Element e | not e instanceof Unextracted)
+  key = "Elements extracted" and
+  value = count(Element e | not e instanceof Unextracted and not e instanceof CrateElement)
   or
   key = "Elements unextracted" and value = count(Unextracted e)
   or