From 14cbb4b78d532532f611d5653f169319bdf50b75 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Alexander=20Thei=C3=9Fen?= <alex.theissen@me.com>
Date: Mon, 30 Aug 2021 11:49:05 +0200
Subject: [PATCH] Add regression test for a spurious import

---
 src/test/run-make/wasm-spurious-import/Makefile  |  7 +++++++
 src/test/run-make/wasm-spurious-import/main.rs   | 14 ++++++++++++++
 src/test/run-make/wasm-spurious-import/verify.js |  9 +++++++++
 3 files changed, 30 insertions(+)
 create mode 100644 src/test/run-make/wasm-spurious-import/Makefile
 create mode 100644 src/test/run-make/wasm-spurious-import/main.rs
 create mode 100644 src/test/run-make/wasm-spurious-import/verify.js

diff --git a/src/test/run-make/wasm-spurious-import/Makefile b/src/test/run-make/wasm-spurious-import/Makefile
new file mode 100644
index 0000000000000..1bb59dc1bfa41
--- /dev/null
+++ b/src/test/run-make/wasm-spurious-import/Makefile
@@ -0,0 +1,7 @@
+-include ../../run-make-fulldeps/tools.mk
+
+# only-wasm32-bare
+
+all:
+	$(RUSTC) main.rs -C overflow-checks=yes -C panic=abort -C lto -C opt-level=z --target wasm32-unknown-unknown
+	$(NODE) verify.js $(TMPDIR)/main.wasm
diff --git a/src/test/run-make/wasm-spurious-import/main.rs b/src/test/run-make/wasm-spurious-import/main.rs
new file mode 100644
index 0000000000000..fcbead5e28bd2
--- /dev/null
+++ b/src/test/run-make/wasm-spurious-import/main.rs
@@ -0,0 +1,14 @@
+#![crate_type = "cdylib"]
+#![no_std]
+
+#[panic_handler]
+fn my_panic(_info: &core::panic::PanicInfo) -> ! {
+    loop {}
+}
+
+#[no_mangle]
+pub fn multer(a: i128, b: i128) -> i128 {
+    // Trigger usage of the __multi3 compiler intrinsic which then leads to an imported
+    // panic function in case of a bug. We verify that no imports exist in our verifier.
+    a * b
+}
diff --git a/src/test/run-make/wasm-spurious-import/verify.js b/src/test/run-make/wasm-spurious-import/verify.js
new file mode 100644
index 0000000000000..d3b2101b6623c
--- /dev/null
+++ b/src/test/run-make/wasm-spurious-import/verify.js
@@ -0,0 +1,9 @@
+const fs = require('fs');
+const process = require('process');
+const assert = require('assert');
+const buffer = fs.readFileSync(process.argv[2]);
+
+let m = new WebAssembly.Module(buffer);
+let imports = WebAssembly.Module.imports(m);
+console.log('imports', imports);
+assert.strictEqual(imports.length, 0);