From ccc318106e120aeea581a0bc7ddaf05265700256 Mon Sep 17 00:00:00 2001
From: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
Date: Wed, 25 Feb 2026 14:02:58 +0000
Subject: [PATCH] Rust: Add an empty.model.yml similar to the one in CPP, to
 avoid errors about missing extensionals.

---
 .../codeql/rust/frameworks/empty.model.yml    | 27 +++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 rust/ql/lib/codeql/rust/frameworks/empty.model.yml

diff --git a/rust/ql/lib/codeql/rust/frameworks/empty.model.yml b/rust/ql/lib/codeql/rust/frameworks/empty.model.yml
new file mode 100644
index 00000000000..dc2aad32991
--- /dev/null
+++ b/rust/ql/lib/codeql/rust/frameworks/empty.model.yml
@@ -0,0 +1,27 @@
+extensions:
+  # Make sure that the extensible model predicates have at least one definition
+  # to avoid errors about undefined extensionals.
+  - addsTo:
+      pack: codeql/rust-all
+      extensible: sourceModel
+    data: []
+  - addsTo:
+      pack: codeql/rust-all
+      extensible: sinkModel
+    data: []
+  - addsTo:
+      pack: codeql/rust-all
+      extensible: summaryModel
+    data: []
+  - addsTo:
+      pack: codeql/rust-all
+      extensible: excludeFieldTaintStep
+    data: []
+  - addsTo:
+      pack: codeql/rust-all
+      extensible: neutralModel
+    data: []
+  - addsTo:
+      pack: codeql/rust-all
+      extensible: additionalExternalFile
+    data: []