]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b4cbe9) | patch
for now, do not do fake reads on non-Unpin mutable references
authorRalf Jung <post@ralfj.de>
Sat, 3 Dec 2022 18:05:46 +0000 (19:05 +0100)
committerRalf Jung <post@ralfj.de>
Sat, 3 Dec 2022 18:05:56 +0000 (19:05 +0100)
commit3fa692c8b22cfcd4d13e0568056b680235d0cef0
treeb6977f4e3e7e7b6506142c87a7a482d02dd753a1tree | snapshot
parent3b4cbe9095d83d13feb13060cc66f3e50bd75350commit | diff
for now, do not do fake reads on non-Unpin mutable references
src/tools/miri/src/borrow_tracker/stacked_borrows/mod.rs diff | blob | history
src/tools/miri/tests/fail/stacked_borrows/notunpin_dereferenceable_fakeread.rs [deleted file] blob | history
src/tools/miri/tests/fail/stacked_borrows/notunpin_dereferenceable_fakeread.stderr [deleted file] blob | history
Empowering everyone to build reliable and efficient software.