user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Change diagnostic wording

Browse source
This commit is contained in:
tiif 2025-05-30 13:56:08 +08:00
parent 91645129d0
commit ecc006f835
6 changed files with 6 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/tools/miri/src/diagnostics.rs
View file

@ -255,8 +255,7 @@ pub fn report_error<'tcx>(
],
UnsupportedForeignItem(_) => {
vec![
note!("if this is a basic API commonly used on this target, please report an issue with Miri"),
note!("however, note that Miri does not aim to support every FFI function out there; for instance, we will not support APIs for things such as GUIs, scripting languages, or databases"),
note!("this means the program tried to do something Miri does not support; it does not indicate a bug in the program"),
]
}
StackedBorrowsUb { help, history, .. } => {

3
src/tools/miri/tests/fail-dep/libc/unsupported_incomplete_function.stderr
View file

@ -4,8 +4,7 @@ error: unsupported operation: can't call foreign function `signal` on $OS
LL | libc::signal(libc::SIGPIPE, libc::SIG_IGN);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't call foreign function `signal` on $OS
|
= help: if this is a basic API commonly used on this target, please report an issue with Miri
= help: however, note that Miri does not aim to support every FFI function out there; for instance, we will not support APIs for things such as GUIs, scripting languages, or databases
= help: this means the program tried to do something Miri does not support; it does not indicate a bug in the program
= note: BACKTRACE:
= note: inside `main` at tests/fail-dep/libc/unsupported_incomplete_function.rs:LL:CC

3
src/tools/miri/tests/fail/alloc/no_global_allocator.stderr
View file

@ -4,8 +4,7 @@ error: unsupported operation: can't call foreign function `__rust_alloc` on $OS
LL | __rust_alloc(1, 1);
| ^^^^^^^^^^^^^^^^^^ can't call foreign function `__rust_alloc` on $OS
|
= help: if this is a basic API commonly used on this target, please report an issue with Miri
= help: however, note that Miri does not aim to support every FFI function out there; for instance, we will not support APIs for things such as GUIs, scripting languages, or databases
= help: this means the program tried to do something Miri does not support; it does not indicate a bug in the program
= note: BACKTRACE:
= note: inside `miri_start` at tests/fail/alloc/no_global_allocator.rs:LL:CC

3
src/tools/miri/tests/fail/unsupported_foreign_function.stderr
View file

@ -4,8 +4,7 @@ error: unsupported operation: can't call foreign function `foo` on $OS
LL | foo();
| ^^^^^ can't call foreign function `foo` on $OS
|
= help: if this is a basic API commonly used on this target, please report an issue with Miri
= help: however, note that Miri does not aim to support every FFI function out there; for instance, we will not support APIs for things such as GUIs, scripting languages, or databases
= help: this means the program tried to do something Miri does not support; it does not indicate a bug in the program
= note: BACKTRACE:
= note: inside `main` at tests/fail/unsupported_foreign_function.rs:LL:CC

3
src/tools/miri/tests/native-lib/fail/function_not_in_so.stderr
View file

@ -4,8 +4,7 @@ error: unsupported operation: can't call foreign function `foo` on $OS
LL | foo();
| ^^^^^ can't call foreign function `foo` on $OS
|
= help: if this is a basic API commonly used on this target, please report an issue with Miri
= help: however, note that Miri does not aim to support every FFI function out there; for instance, we will not support APIs for things such as GUIs, scripting languages, or databases
= help: this means the program tried to do something Miri does not support; it does not indicate a bug in the program
= note: BACKTRACE:
= note: inside `main` at tests/native-lib/fail/function_not_in_so.rs:LL:CC

3
src/tools/miri/tests/native-lib/fail/private_function.stderr
View file

@ -4,8 +4,7 @@ error: unsupported operation: can't call foreign function `not_exported` on $OS
LL | not_exported();
| ^^^^^^^^^^^^^^ can't call foreign function `not_exported` on $OS
|
= help: if this is a basic API commonly used on this target, please report an issue with Miri
= help: however, note that Miri does not aim to support every FFI function out there; for instance, we will not support APIs for things such as GUIs, scripting languages, or databases
= help: this means the program tried to do something Miri does not support; it does not indicate a bug in the program
= note: BACKTRACE:
= note: inside `main` at tests/native-lib/fail/private_function.rs:LL:CC