diff options
| author | Ralf Jung <post@ralfj.de> | 2023-08-01 17:03:19 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-08-01 17:57:13 +0200 |
| commit | 8496292ddaec7696fa924d86cdea9ee26c1539b7 (patch) | |
| tree | 7a73f83d6a5b4c64aa1b815265ec93abe12ec1e2 /compiler/rustc_plugin_impl/src | |
| parent | 7d5886504caacb3e9073d54aaf0b8ee8289ebc7f (diff) | |
| download | rust-8496292ddaec7696fa924d86cdea9ee26c1539b7.tar.gz rust-8496292ddaec7696fa924d86cdea9ee26c1539b7.zip | |
properly track why we checked whether a pointer is in-bounds
also simplify the in-bounds checking in Miri's borrow trackers
Diffstat (limited to 'compiler/rustc_plugin_impl/src')
0 files changed, 0 insertions, 0 deletions