summary refs log tree commit diff
path: root/src/tools/miri
blob: e2872a3f2a26154b91a6a6085d56016509803c61 (plain)
1
2
3
4
5
6
7
8
9
10
11
tree 4eb777860a11fd0fbd86f0b993c8056455209e4a
parent 37974e617e22f46d14f1e2bd5ffde077cc3fd86c
parent 63286771d32344fb1a6adc256c3291c84bea7a3c
author bors <bors@rust-lang.org> 1626781152 +0000
committer bors <bors@rust-lang.org> 1626781152 +0000

Auto merge of #1853 - RalfJung:negative-offsets, r=RalfJung

better errors for negative out-of-bounds offsets

This is the Miri side of https://github.com/rust-lang/rust/pull/87224