diff --git a/tests/compile/log.rs b/tests/compile/log.rs
new file mode 100644
index 00000000000..56758b0d3e5
--- /dev/null
+++ b/tests/compile/log.rs
@@ -0,0 +1,12 @@
+// Compiler:
+
+extern "C" {
+    fn log(message_data: u32, message_size: u32);
+}
+
+pub fn main() {
+    let message = "Hello, world!";
+    unsafe {
+        log(message.as_ptr() as u32, message.len() as u32);
+    }
+}