Zachary S 10fde9eafe Implement some more checks for ptr_guaranteed_cmp in consteval: ...

Pointers with different residues modulo their least common allocation alignment are never equal.
Pointers to the same static allocation are equal if and only if they have the same offset.
Strictly in-bounds (in-bounds and not one-past-the-end) pointers to different static allocations are always unequal.
A pointer cannot be equal to an integer if `ptr-int` cannot be null.

Also adds more tests for `ptr_guaranteed_cmp`.

Co-authored-by: Ralf Jung <post@ralfj.de>

2025-08-23 12:09:07 -05:00

..

src

Implement some more checks for ptr_guaranteed_cmp in consteval:

2025-08-23 12:09:07 -05:00

Cargo.toml

remove rustc_attr_data_structures

2025-07-31 14:19:27 +02:00

messages.ftl

miri: for ABI mismatch errors, say which argument is the problem

2025-07-27 22:26:10 +02:00