Skip to content

Commit 1cdc410

Browse files
author
The Miri Cronjob Bot
committed
Merge from rustc
2 parents 09620f4 + 2b1650e commit 1cdc410

File tree

5 files changed

+7
-5
lines changed

5 files changed

+7
-5
lines changed

src/shims/native_lib.rs

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -117,7 +117,12 @@ trait EvalContextExtPriv<'tcx>: crate::MiriInterpCxExt<'tcx> {
117117
let mut info = std::mem::MaybeUninit::<libc::Dl_info>::uninit();
118118
unsafe {
119119
if libc::dladdr(*func.deref() as *const _, info.as_mut_ptr()) != 0 {
120-
if std::ffi::CStr::from_ptr(info.assume_init().dli_fname).to_str().unwrap()
120+
let info = info.assume_init();
121+
#[cfg(target_os = "cygwin")]
122+
let fname_ptr = info.dli_fname.as_ptr();
123+
#[cfg(not(target_os = "cygwin"))]
124+
let fname_ptr = info.dli_fname;
125+
if std::ffi::CStr::from_ptr(fname_ptr).to_str().unwrap()
121126
!= _lib_path.to_str().unwrap()
122127
{
123128
return None;

tests/pass/shims/x86/intrinsics-x86-aes-vaes.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
//@only-target: x86_64 i686
33
//@compile-flags: -C target-feature=+aes,+vaes,+avx512f
44

5-
#![feature(avx512_target_feature, stdarch_x86_avx512)]
5+
#![feature(stdarch_x86_avx512)]
66

77
use core::mem::transmute;
88
#[cfg(target_arch = "x86")]

tests/pass/shims/x86/intrinsics-x86-avx512.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,6 @@
22
//@only-target: x86_64 i686
33
//@compile-flags: -C target-feature=+avx512f,+avx512vl,+avx512bitalg,+avx512vpopcntdq
44

5-
#![feature(avx512_target_feature)]
65
#![feature(stdarch_x86_avx512)]
76

87
#[cfg(target_arch = "x86")]

tests/pass/shims/x86/intrinsics-x86-gfni.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,6 @@
66
// be interpreted as integers; signedness does not make sense for them, but
77
// __mXXXi happens to be defined in terms of signed integers.
88
#![allow(overflowing_literals)]
9-
#![feature(avx512_target_feature)]
109
#![feature(stdarch_x86_avx512)]
1110

1211
#[cfg(target_arch = "x86")]

tests/pass/shims/x86/intrinsics-x86-vpclmulqdq.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,6 @@
88
// be interpreted as integers; signedness does not make sense for them, but
99
// __mXXXi happens to be defined in terms of signed integers.
1010
#![allow(overflowing_literals)]
11-
#![feature(avx512_target_feature)]
1211
#![feature(stdarch_x86_avx512)]
1312

1413
#[cfg(target_arch = "x86")]

0 commit comments

Comments
 (0)