]> git.lizzy.rs Git - rust.git/commit
Auto merge of #1875 - niluxv:volatile_set_memory_intrinsic, r=RalfJung
authorbors <bors@rust-lang.org>
Mon, 23 Aug 2021 10:55:48 +0000 (10:55 +0000)
committerbors <bors@rust-lang.org>
Mon, 23 Aug 2021 10:55:48 +0000 (10:55 +0000)
commit94ae9101314bcf43de7341aeb4020b1314170e87
treeb78c752c68a79bf67163272c8b2f10b59cc3e402
parent7ec2bee723ee3a3f6211708cd4d9b6f5ee3101e4
parent083e5e604c304d8743a942ef33def704fa4b6012
Auto merge of #1875 - niluxv:volatile_set_memory_intrinsic, r=RalfJung

Add support for the `volatile_set_memory` intrinsic

Add support for the unstable `volatile_set_memory` intrinsic

(Runtime behaviour and soundness requirements for `volatile_set_memory` are identical to those of `write_bytes`, so supporting this intrinsic is trivial.)