Skip to content

Commit 79ac2dc

Browse files
committed
Add FXIME test
1 parent d617ed4 commit 79ac2dc

File tree

1 file changed

+20
-0
lines changed

1 file changed

+20
-0
lines changed
Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
// only-x86_64
2+
// check-pass <- FIXME, see the below comment.
3+
4+
// The current stable rustc accepts this but it should fail.
5+
6+
#![allow(improper_ctypes, improper_ctypes_definitions)]
7+
8+
use std::arch::x86_64::__m128;
9+
10+
extern "C" {
11+
pub fn a(x: A);
12+
pub fn b(x: B);
13+
}
14+
15+
#[repr(transparent)] pub struct A(__m128);
16+
#[repr(C)] pub struct B(__m128);
17+
18+
pub extern "C" fn foo(x: __m128) -> __m128 { x }
19+
20+
fn main() {}

0 commit comments

Comments
 (0)