]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3487fe3) | patch
tweaks to retag diagnostic handling
authorRalf Jung <post@ralfj.de>
Mon, 2 Jan 2023 15:05:49 +0000 (16:05 +0100)
committerRalf Jung <post@ralfj.de>
Mon, 2 Jan 2023 15:05:49 +0000 (16:05 +0100)
commit1296a4c689b3e2aa0ecc3122982d6b0f96b90e0c
tree49c981b340b0f621f003d132107df518bb060ca9tree | snapshot
parent3487fe32490c7e6e522916bef7d8c66b31ab2f56commit | diff
tweaks to retag diagnostic handling
src/tools/miri/src/borrow_tracker/stacked_borrows/diagnostics.rs diff | blob | history
src/tools/miri/src/borrow_tracker/stacked_borrows/mod.rs diff | blob | history
src/tools/miri/tests/fail/stacked_borrows/aliasing_mut3.stderr diff | blob | history
src/tools/miri/tests/fail/stacked_borrows/fnentry_invalidation.stderr diff | blob | history
src/tools/miri/tests/fail/stacked_borrows/fnentry_invalidation2.stderr diff | blob | history
Empowering everyone to build reliable and efficient software.