Rust: extract declarations of builtin types

Author: aibaars

rust/BUILD.bazel

@@ -36,6 +36,7 @@ pkg_filegroup(
     srcs = [
         ":tools-arch",
         "//rust/tools",
+        "//rust/tools/builtins",
     ],
     prefix = "tools",
 )

rust/extractor/src/main.rs

@@ -17,6 +17,7 @@ use std::{
     collections::HashMap,
     path::{Path, PathBuf},
 };
+use std::{env, fs};
 use tracing::{error, info, warn};
 use tracing_subscriber::layer::SubscriberExt;
 use tracing_subscriber::util::SubscriberInitExt;
@@ -276,5 +277,13 @@ fn main() -> anyhow::Result<()> {
             }
         }
     }
+    let builtins_dir = env::var("CODEQL_EXTRACTOR_RUST_ROOT")
+        .map(|path| Path::new(&path).join("tools").join("builtins"))?;
+    let builtins = fs::read_dir(builtins_dir).context("failed to read builtins directory")?;
+    for entry in builtins {
+        let entry = entry.context("failed to read builtins directory")?;
+        extractor.extract_without_semantics(&entry.path(), "builtins");
+    }
+
     extractor.emit_extraction_diagnostics(start, &cfg)
 }

rust/tools/builtins/BUILD.bazel

@@ -0,0 +1,8 @@
+load("//misc/bazel:pkg.bzl", "codeql_pkg_files")
+
+codeql_pkg_files(
+    name = "builtins",
+    srcs = glob(["*.rs"]),
+    prefix = "builtins",
+    visibility = ["//rust:__subpackages__"],
+)

rust/tools/builtins/types.rs

@@ -0,0 +1,25 @@
+// The Language Prelude: https://doc.rust-lang.org/reference/names/preludes.html#language-prelude
+
+// Type namespace
+// Boolean type
+struct bool;
+// Textual types
+struct char;
+struct str;
+// Integer types
+struct i8;
+struct i16;
+struct i32;
+struct i64;
+struct i128;
+struct u8;
+struct u16;
+struct u32;
+struct u64;
+struct u128;
+// Machine-dependent integer types
+struct usize;
+struct isize;
+// floating-point types
+struct f32;
+struct f64;