fix a comment now that we have concurrency

This commit is contained in:
Ralf Jung 2020-05-05 11:57:39 +02:00
parent cd6be98852
commit 5656cb73d4

View File

@ -364,7 +364,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
| "atomic_singlethreadfence"
=> {
let &[] = check_arg_count(args)?;
// we are inherently singlethreaded and singlecored, this is a nop
// FIXME: this will become relevant once we try to detect data races.
}
_ if intrinsic_name.starts_with("atomic_xchg") => {