about summary refs log tree commit diff
path: root/src/test/ui/nullable-pointer-ffi-compat.rs
diff options
context:
space:
mode:
authorVadim Petrochenkov <vadim.petrochenkov@gmail.com>2019-07-27 01:33:01 +0300
committerVadim Petrochenkov <vadim.petrochenkov@gmail.com>2019-07-27 18:56:16 +0300
commit9be35f82c1abf2ecbab489bca9eca138ea648312 (patch)
tree69888506e34af447d9748c0d542de3ba1dd76210 /src/test/ui/nullable-pointer-ffi-compat.rs
parentca9faa52f5ada0054b1fa27d97aedf448afb059b (diff)
tests: Move run-pass tests without naming conflicts to ui
Diffstat (limited to 'src/test/ui/nullable-pointer-ffi-compat.rs')
-rw-r--r--src/test/ui/nullable-pointer-ffi-compat.rs28
1 files changed, 28 insertions, 0 deletions
diff --git a/src/test/ui/nullable-pointer-ffi-compat.rs b/src/test/ui/nullable-pointer-ffi-compat.rs
new file mode 100644
index 00000000000..0647a18c3c4
--- /dev/null
+++ b/src/test/ui/nullable-pointer-ffi-compat.rs
@@ -0,0 +1,28 @@
+// run-pass
+// #11303, #11040:
+// This would previously crash on i686 Linux due to abi differences
+// between returning an Option<T> and T, where T is a non nullable
+// pointer.
+// If we have an enum with two variants such that one is zero sized
+// and the other contains a nonnullable pointer, we don't use a
+// separate discriminant. Instead we use that pointer field to differentiate
+// between the 2 cases.
+// Also, if the variant with the nonnullable pointer has no other fields
+// then we simply express the enum as just a pointer and not wrap it
+// in a struct.
+
+
+use std::mem;
+
+#[inline(never)]
+extern "C" fn foo(x: &isize) -> Option<&isize> { Some(x) }
+
+static FOO: isize = 0xDEADBEE;
+
+pub fn main() {
+    unsafe {
+        let f: extern "C" fn(&isize) -> &isize =
+            mem::transmute(foo as extern "C" fn(&isize) -> Option<&isize>);
+        assert_eq!(*f(&FOO), FOO);
+    }
+}