Skip to content

Commit e7f89a7

Browse files
committed
Add additional note about -Zmiri-panic-on-unsupported
1 parent 4291aba commit e7f89a7

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

README.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -231,7 +231,8 @@ environment variable:
231231
* `-Zmiri-panic-on-unsupported` will makes some forms of unsupported functionality
232232
such as FFI and unsupported syscalls panic within the context of the emulated
233233
application instead of raising an error within the context of Miri (and halting
234-
execution).
234+
execution). Note that code might not expect these operations to ever panic, so
235+
this flag can lead to strange(mis)behavior.
235236
* `-Zmiri-seed=<hex>` configures the seed of the RNG that Miri uses to resolve
236237
non-determinism. This RNG is used to pick base addresses for allocations.
237238
When isolation is enabled (the default), this is also used to emulate system

0 commit comments

Comments
 (0)