Add a test for issue #33172

diff --git a/src/test/debuginfo/no_mangle-info.rs b/src/test/debuginfo/no_mangle-info.rs
new file mode 100644 (file)
index 0000000..c34de43
--- /dev/null
+++ b/src/test/debuginfo/no_mangle-info.rs
@@ -0,0 +1,26 @@
+// compile-flags:-g
+
+// === GDB TESTS ===================================================================================
+
+// gdb-command:run
+// gdb-command:whatis TEST
+// gdb-check:type = u64
+
+// === LLDB TESTS ==================================================================================
+
+// lldb-command:run
+// lldb-command:expr TEST
+// lldb-check: (unsigned long) $0 = 3735928559
+
+// === CDB TESTS ==================================================================================
+// cdb-command: g
+
+// cdb-command: dx a!no_mangle_info::TEST
+// cdb-check: a!no_mangle_info::TEST : 0xdeadbeef [Type: unsigned __int64]
+
+#[no_mangle]
+pub static TEST: u64 = 0xdeadbeef;
+
+pub fn main() {
+    println!("TEST: {}", TEST); // #break
+}