Skip to content

Commit 001f789

Browse files
committed
const-eval: allow calling functions with targat features disabled at compile time in WASM
This is not unsafe on WASM, see rust-lang/rust#84988
1 parent edb8438 commit 001f789

File tree

2 files changed

+13
-2
lines changed

2 files changed

+13
-2
lines changed

ci.sh

+2-2
Original file line numberDiff line numberDiff line change
@@ -110,8 +110,8 @@ case $HOST_TARGET in
110110
MIRI_TEST_TARGET=i686-pc-windows-gnu run_tests
111111
MIRI_TEST_TARGET=x86_64-unknown-freebsd run_tests_minimal hello integer vec panic/panic concurrency/simple atomic data_race env/var
112112
MIRI_TEST_TARGET=aarch64-linux-android run_tests_minimal hello integer vec panic/panic
113-
MIRI_TEST_TARGET=wasm32-wasi run_tests_minimal no_std integer strings
114-
MIRI_TEST_TARGET=wasm32-unknown-unknown run_tests_minimal no_std integer strings
113+
MIRI_TEST_TARGET=wasm32-wasi run_tests_minimal no_std integer strings wasm
114+
MIRI_TEST_TARGET=wasm32-unknown-unknown run_tests_minimal no_std integer strings wasm
115115
MIRI_TEST_TARGET=thumbv7em-none-eabihf run_tests_minimal no_std # no_std embedded architecture
116116
MIRI_TEST_TARGET=tests/avr.json MIRI_NO_STD=1 run_tests_minimal no_std # JSON target file
117117
;;
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
//@only-target-wasm32: tests WASM-specific behavior
2+
//@compile-flags: -C target-feature=-simd128
3+
4+
fn main() {
5+
// Calling functions with `#[target_feature]` is not unsound on WASM, see #84988
6+
assert!(!cfg!(target_feature = "simd128"));
7+
simd128_fn();
8+
}
9+
10+
#[target_feature(enable = "simd128")]
11+
fn simd128_fn() {}

0 commit comments

Comments
 (0)