diff options
| author | Stuart Cook <Zalathar@users.noreply.github.com> | 2025-08-26 14:19:16 +1000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-26 14:19:16 +1000 |
| commit | e011dd47ee04cd1e62786b5a0b3bfe2d5e58ae35 (patch) | |
| tree | bb813cb7db0a62e18e70f88f9563583c8fcec1e1 /compiler/rustc_middle/src/query/mod.rs | |
| parent | 27415080ccb4c27269eedf01fea99654a96bfed4 (diff) | |
| parent | 25afbbc9814dba4ad6f06b6d1bf14e92851ccd32 (diff) | |
| download | rust-e011dd47ee04cd1e62786b5a0b3bfe2d5e58ae35.tar.gz rust-e011dd47ee04cd1e62786b5a0b3bfe2d5e58ae35.zip | |
Rollup merge of #144885 - zachs18:ptr_guaranteed_cmp_more, r=RalfJung
Implement some more checks in `ptr_guaranteed_cmp`. * Pointers with different residues modulo their allocations' least common alignment are never equal. * Pointers to the same static allocation are equal if and only if they have the same offset. * Pointers to different non-zero-sized static allocations are unequal if both point within their allocation, and not on opposite ends. Tracking issue for `const_raw_ptr_comparison`: <https://github.com/rust-lang/rust/issues/53020> This should not affect `is_null`, the only usage of this intrinsic on stable. Closes https://github.com/rust-lang/rust/issues/144584
Diffstat (limited to 'compiler/rustc_middle/src/query/mod.rs')
0 files changed, 0 insertions, 0 deletions