Skip to content

Commit b57dd4f

Browse files
committed
Bless tests
1 parent b3dcd5d commit b57dd4f

File tree

3 files changed

+5
-5
lines changed

3 files changed

+5
-5
lines changed

src/tools/miri/tests/fail/function_calls/simd_feature_flag_difference.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
1-
error: Undefined Behavior: calling a function that requires unavailable target features: avx
1+
error: Undefined Behavior: calling a function that requires unavailable target features: avx, sse3, sse4.1, sse4.2, ssse3
22
--> $DIR/simd_feature_flag_difference.rs:LL:CC
33
|
44
LL | unsafe { foo(0.0, x) }
5-
| ^^^^^^^^^^^ calling a function that requires unavailable target features: avx
5+
| ^^^^^^^^^^^ calling a function that requires unavailable target features: avx, sse3, sse4.1, sse4.2, ssse3
66
|
77
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
88
= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information

src/tools/miri/tests/fail/function_calls/target_feature.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
fn main() {
55
assert!(!is_x86_feature_detected!("ssse3"));
66
unsafe {
7-
ssse3_fn(); //~ ERROR: calling a function that requires unavailable target features: ssse3
7+
ssse3_fn(); //~ ERROR: calling a function that requires unavailable target features: sse3, ssse3
88
}
99
}
1010

src/tools/miri/tests/fail/function_calls/target_feature.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
1-
error: Undefined Behavior: calling a function that requires unavailable target features: ssse3
1+
error: Undefined Behavior: calling a function that requires unavailable target features: sse3, ssse3
22
--> $DIR/target_feature.rs:LL:CC
33
|
44
LL | ssse3_fn();
5-
| ^^^^^^^^^^ calling a function that requires unavailable target features: ssse3
5+
| ^^^^^^^^^^ calling a function that requires unavailable target features: sse3, ssse3
66
|
77
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
88
= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information

0 commit comments

Comments
 (0)