Skip to content

Commit 1cd6c03

Browse files
committed
Remove please report an issue with Miri wording
1 parent 13718eb commit 1cd6c03

File tree

6 files changed

+0
-16
lines changed

6 files changed

+0
-16
lines changed

src/tools/miri/src/diagnostics.rs

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -253,12 +253,6 @@ pub fn report_error<'tcx>(
253253
note!("set `MIRIFLAGS=-Zmiri-disable-isolation` to disable isolation;"),
254254
note!("or set `MIRIFLAGS=-Zmiri-isolation-error=warn` to make Miri return an error code from isolated operations (if supported for that operation) and continue with a warning"),
255255
],
256-
UnsupportedForeignItem(_) => {
257-
vec![
258-
note!("if this is a basic API commonly used on this target, please report an issue with Miri"),
259-
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"),
260-
]
261-
}
262256
StackedBorrowsUb { help, history, .. } => {
263257
msg.extend(help.clone());
264258
let mut helps = vec![

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

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,6 @@ error: unsupported operation: can't call foreign function `signal` on $OS
44
LL | libc::signal(libc::SIGPIPE, libc::SIG_IGN);
55
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't call foreign function `signal` on $OS
66
|
7-
= help: if this is a basic API commonly used on this target, please report an issue with Miri
8-
= 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
97
= note: BACKTRACE:
108
= note: inside `main` at tests/fail-dep/libc/unsupported_incomplete_function.rs:LL:CC
119

src/tools/miri/tests/fail/alloc/no_global_allocator.stderr

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,6 @@ error: unsupported operation: can't call foreign function `__rust_alloc` on $OS
44
LL | __rust_alloc(1, 1);
55
| ^^^^^^^^^^^^^^^^^^ can't call foreign function `__rust_alloc` on $OS
66
|
7-
= help: if this is a basic API commonly used on this target, please report an issue with Miri
8-
= 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
97
= note: BACKTRACE:
108
= note: inside `miri_start` at tests/fail/alloc/no_global_allocator.rs:LL:CC
119

src/tools/miri/tests/fail/unsupported_foreign_function.stderr

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,6 @@ error: unsupported operation: can't call foreign function `foo` on $OS
44
LL | foo();
55
| ^^^^^ can't call foreign function `foo` on $OS
66
|
7-
= help: if this is a basic API commonly used on this target, please report an issue with Miri
8-
= 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
97
= note: BACKTRACE:
108
= note: inside `main` at tests/fail/unsupported_foreign_function.rs:LL:CC
119

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

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,6 @@ error: unsupported operation: can't call foreign function `foo` on $OS
44
LL | foo();
55
| ^^^^^ can't call foreign function `foo` on $OS
66
|
7-
= help: if this is a basic API commonly used on this target, please report an issue with Miri
8-
= 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
97
= note: BACKTRACE:
108
= note: inside `main` at tests/native-lib/fail/function_not_in_so.rs:LL:CC
119

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

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,6 @@ error: unsupported operation: can't call foreign function `not_exported` on $OS
44
LL | not_exported();
55
| ^^^^^^^^^^^^^^ can't call foreign function `not_exported` on $OS
66
|
7-
= help: if this is a basic API commonly used on this target, please report an issue with Miri
8-
= 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
97
= note: BACKTRACE:
108
= note: inside `main` at tests/native-lib/fail/private_function.rs:LL:CC
119

0 commit comments

Comments
 (0)