File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -798,11 +798,11 @@ fn main() {
798798 #[ cfg( target_os = "linux" ) ]
799799 if !miri_config. native_lib . is_empty ( ) && !miri_config. force_old_native_lib {
800800 // FIXME: This should display a diagnostic / warning on error
801- // SAFETY: If any other threads exist at this point (e.g. for the ctrlc
801+ // SAFETY: If any other threads exist at this point (namely for the ctrlc
802802 // handler), they will not interact with anything on the main rustc/Miri
803803 // thread in an async-signal-unsafe way such as by accessing shared
804804 // semaphores, etc.; the handler only calls `sleep()` and `exit()`, which
805- // are async-signal-safe, and accessing atomics is also
805+ // are async-signal-safe, as is accessing atomics
806806 let _ = unsafe { miri:: init_sv ( ) } ;
807807 }
808808 run_compiler_and_exit (
You can’t perform that action at this time.
0 commit comments